DocumentCode :
1995085
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
fYear :
2009
fDate :
16-24 May 2009
Firstpage :
607
Lastpage :
610
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on
Conference_Location :
Vancouver, BC
ISSN :
0270-5257
Print_ISBN :
978-1-4244-3453-4
Type :
conf
DOI :
10.1109/ICSE.2009.5070567
Filename :
5070567
Link To Document :
بازگشت