Title :
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
Author :
Sentilles, Severine ; Pettersson, Paul ; Crnkovic, Ivica ; Hakansson, J.
Author_Institution :
Sch. of Innovation, Malardalen Univ., Vasteras
Abstract :
In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires tool support for analysis and verification of particular properties of such systems.
Keywords :
embedded systems; object-oriented methods; object-oriented programming; Save-IDE; component-based embedded systems; dependable embedded systems; integrated development environment; real-time execution elements; run-time property; Buildings; Embedded system; Graphical user interfaces; Runtime; Skeleton; Software systems; Switches; System analysis and design; Technological innovation; Timing;
Conference_Titel :
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on
Conference_Location :
L´Aquila
Print_ISBN :
978-1-4244-2187-9
Electronic_ISBN :
1938-4300
DOI :
10.1109/ASE.2008.87
