Sciweavers

Share
ICSE
2009
IEEE-ACM

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

10 years 8 months ago
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
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.
Séverine Sentilles, Anders Pettersson, Dag
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where ICSE
Authors Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic
Comments (0)
books