Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (CROSBI ID 547495)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Séverine Sentilles ; Anders Pettersson ; Dag Nyström ; Thomas Nolte ; Paul Pettersson ; Ivica Crnkovic
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.
modelling tool; analysis tool; component-based engineering; embedded system; SaveCCM; SaveIDE; behavioural modelling
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
1-4.
2009.
objavljeno
Podaci o matičnoj publikaciji
Podaci o skupu
Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE), Vancouver
predavanje
01.01.2009-01.01.2009
Vancouver, Kanada