kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2009

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems

Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic

DOI 10.1109/icse.2009.5070567dblp

Abstract

The paper presents Save-IDE, an integrated development environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable embedded systems by providing tools for design of embedded software systems using a dedicated component model, formal specification and analysis of component and system behaviors already in early development phases, and a fully automated transformation of the system of components into an executable image.

BibTeX
@inproceedings{Sentilles-al:ICSE09,
  author    = {S{\'{e}}verine Sentilles and
               Anders Pettersson and
               Dag Nystr{\"{o}}m and
               Thomas Nolte and
               Paul Pettersson and
               Ivica Crnkovic},
  title     = {{Save-IDE} - A tool for design, analysis and implementation of component-based embedded systems},
  booktitle = {ICSE},
  pages     = {607--610},
  publisher = {{IEEE}},
  year      = {2009},
}

Related papers