Title :
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
Author :
Sentilles, Séverine ; Pettersson, Anders ; Nyström, Dag ; Nolte, Thomas ; Pettersson, Paul ; Crnkovic, Ivica
Author_Institution :
Malardalen Real-Time Res. Center, Malardalen Univ., Vasteras
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.
Keywords :
embedded systems; formal specification; object-oriented programming; programming environments; software tools; systems analysis; Save-IDE; component-based embedded system design; dedicated component model; formal specification; integrated development environment; software component analysis; software tool; Analytical models; Embedded software; Embedded system; Formal specifications; Image analysis; Real time systems; Software design; Software systems; System analysis and design; Timing;
Conference_Titel :
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3453-4
DOI :
10.1109/ICSE.2009.5070567
