Save-IDE - An integrated development environment for building predictable component-based embedded systems

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 493-494

  Sentilles, Séverine ^a   Pettersson, Paul ^a   Crnkovic, Ivica ^a   Hâkansson, John ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTEGRATED CIRCUITS; INTEGRODIFFERENTIAL EQUATIONS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; WEB SERVICES;

AND VERIFICATIONS; DEPENDABLE EMBEDDED SYSTEMS; DESIGNING COMPONENTS; DO-MAINS; INTEGRATED DEVELOPMENT ENVIRONMENTS; STANDARD DESIGNS; TIME PROPERTIES; TIMING PROPERTIES; TOOL SUPPORTS; TOOLSET;

EMBEDDED SYSTEMS;

EID: 56249083229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.87     Document Type: Conference Paper

References (4)

1. Mikael Åkerholm et al., "The SAVE approach to component-based development of vehicular systems", Journal of Systems and Software, vol 80, nr 5, Elsevier, May, 2007
2. R. Alur and D. L. Dill. "A theory of timed automata". Theoretical Computer Science, 126(2): 183-235, 1994
3. Larsen, K. G., Pettersson, P., and Yi, W. "UPPAAL in a Nutshell". Int. Journal on Software Tools for Technology Transfer 1 (1-2), 134-152, Oct. 1997.
4. J. Håkansson and P. Pettersson. "Partial order reduction for verification of real-time components". In Proc. of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, LNCS 4763, pages 211-226, Springer-Verlag, 2007.