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