Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems

Authors:
S. Sentilles;P. Pettersson;I. Crnkovic;J. Hakansson
Affiliations:
Sch. of Innovation, Malardalen Univ., Vasteras;Sch. of Innovation, Malardalen Univ., Vasteras;Sch. of Innovation, Malardalen Univ., Vasteras;-
Venue:
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Year:
2008

Citing 3
Cited 7

A theory of timed automata

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

Journal of Systems and Software
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

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

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Model-Driven Engineering Framework for Component Models Interoperability

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Analyzing a Pattern-Based Model of a Real-Time Turntable System

Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Compositional real-time models

Journal of Systems Architecture: the EUROMICRO Journal
Analytical architecture-based performability evaluation of real-time software systems

Journal of Systems and Software
Design of component-based real-time applications

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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.