Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
Abstract
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.
BibTeX
@inproceedings{Sentilles-al:ASE08,
author = {S{\'{e}}verine Sentilles and
Paul Pettersson and
Ivica Crnkovic and
John H{\r{a}}kansson},
title = {{Save-IDE:} An Integrated Development Environment for Building Predictable {Component-Based} Embedded Systems},
booktitle = {ASE},
pages = {493--494},
publisher = {{IEEE} Computer Society},
year = {2008},
}