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.

• Type: Conference
• Year: 2009
• Where: ICSE
• Authors: Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic
• Keywords: Component-based Embedded Systems, Dependable Embedded Systems, Embedded Systems, ICSE 2009, Software Engineering