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

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 607-610

  Sentilles, Séverine ^a   Pettersson, Anders ^a   Nyström, Dag ^a   Nolte, Thomas ^a   Pettersson, Paul ^a   Crnkovic, Ivica ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TRANSFORMATIONS; COMPONENT BASED; COMPONENT MODEL; DEPENDABLE EMBEDDED SYSTEMS; DEVELOPMENT PHASIS; EMBEDDED SOFTWARE SYSTEMS; FORMAL SPECIFICATION AND ANALYSIS; INTEGRATED DEVELOPMENT ENVIRONMENT; SYSTEM BEHAVIORS;

EMBEDDED SOFTWARE; FORMAL LOGIC; FORMAL METHODS; INTEGRODIFFERENTIAL EQUATIONS; MATHEMATICAL MODELS; MILITARY PHOTOGRAPHY; WEB SERVICES;

EMBEDDED SYSTEMS;

EID: 77949905490     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070567     Document Type: Conference Paper

References (10)

1. M. Åkerholm, J. Carlson, J. Fredriksson, H. Hansson, J. Håkansson, A. Möller, P. Pettersson, and M. Tivoli. The SAVE Approach to Component-Based Development of Vehicular Systems. Journal of Systems and Software, 80(5):655-667, May 2007.
2. M. Åkerholm, J. Carlson, J. Håkansson, H. Hansson, M. Nolin, T. Nolte, and P. Pettersson. The SaveCCM Language Reference Manual. Technical Report ISSN 1404-3041 ISRN MDH-MRTC-207/2007-1-SE, Mälardalen University, January 2007.
3. R. Alur and D. L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183-235, 1994.
4. CC Systems AB. CCSimTech. http://www.cc-systems.com/.
5. J. Håkansson and P. Pettersson. Partial Order Reduction for Verification of Real-Time Components. In J.-F. Raskin and P. Thiagarajan, editors, Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science 4763, pages 211-226. Springer Verlag, October 2007.
6. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1:134-152, 1997.
7. C. Seceleanu, A. Vulgarakis, and P. Pettersson. REMES: A Resource Model for Embedded Systems. Technical Report ISSN 1404-3041 ISRN MDH-MRTC-232/2008-1- SE, Mälardalen University, October 2008.
8. S. Sentilles, J. Håkansson, P. Pettersson, and I. Crnkovic. Save-IDE - An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), September 2008.
9. S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic. A Component Model for Control-Intensive Distributed Embedded Systems. In M. R. Chaudron and C. Szyperski, editors, Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE2008), pages 310-317. Springer Berlin, October 2008.
10. D. Slutej, J. Håkansson, J. Suryadevara, C. Seceleanu, and P. Pettersson. Analyzing a Pattern-Based Model of a RealTime Turntable System. In 6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS 2009, York, UK. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, March 2009.