A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
2009
2009 IEEE 31st International Conference on Software Engineering
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.
doi:10.1109/icse.2009.5070567
dblp:conf/icse/SentillesPNNPC09
fatcat:r4t26oe25fbnfpkn2uvhaw3fou