Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (CROSBI ID 604745)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Sentilles, Séverine ; Pettersson, Anders ; Nyström, Dag ; Nolte, Thomas ; Pettersson, Paul ; Crnković, Ivica
engleski
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.
component-based
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
607-610.
2009.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE09)
Institute of Electrical and Electronics Engineers (IEEE)
Podaci o skupu
International Conference on Software Engineering (ICSE09)
predavanje
16.05.2009-26.05.2009
Vancouver, Kanada