Save-IDE - A tool for design, analysis and implementation of component-based embedded systems

Authors:
Severine Sentilles;Anders Pettersson;Dag Nystrom;Thomas Nolte;Paul Pettersson;Ivica Crnkovic
Affiliations:
Mälardalen Real-Time Research Center, Mälardalen University, Västerås Sweden;Mälardalen Real-Time Research Center, Mälardalen University, Västerås Sweden;Mälardalen Real-Time Research Center, Mälardalen University, Västerås Sweden;Mälardalen Real-Time Research Center, Mälardalen University, Västerås Sweden;Mälardalen Real-Time Research Center, Mälardalen University, Västerås Sweden;Mälardalen Real-Time Research Center, Mälardalen University, Västerås Sweden
Venue:
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Year:
2009

Citing 5
Cited 4

A theory of timed automata

Theoretical Computer Science
The SAVE approach to component-based development of vehicular systems

Journal of Systems and Software
Analyzing a Pattern-Based Model of a Real-Time Turntable System

Electronic Notes in Theoretical Computer Science (ENTCS)
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Partial order reduction for verification of real-time components

FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems

Xest: an automated framework for regression testing of embedded software

WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
MICOBS: multi-platform multi-model component based software development framework

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A model-driven approach to automate the propagation of changes among Architecture Description Languages

Software and Systems Modeling (SoSyM)
Bridging the semantic gap between abstract models of embedded systems

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.