Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems

In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time ex...

Full description

Saved in:
Bibliographic Details
Main Authors: Sentilles, S., Pettersson, P., Crnkovic, I., Hakansson, J.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Automata
Embedded system
Skeleton
Software
System analysis and design
Timing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires tool support for analysis and verification of particular properties of such systems.
ISSN:1938-4300
2643-1572
DOI:10.1109/ASE.2008.87