On the combination of assertions and virtual prototyping for the design of safety-critical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2299, Issue , 2002, Pages 195-208

  Oodes, Tim ^a   Krisp, Holger ^a   Müller Schloer, Christian ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; COMPUTER ARCHITECTURE; DESIGN; EMBEDDED SOFTWARE; MODELING LANGUAGES; NETWORK ARCHITECTURE; SAFETY ENGINEERING; SYSTEMS ANALYSIS; UBIQUITOUS COMPUTING; UNIFIED MODELING LANGUAGE; VIRTUAL PROTOTYPING;

ABSTRACT MODELING; ASSERTION-BASED DESIGNS; HETEROGENEOUS EMBEDDED SYSTEM; MODEL COMPLEXES; SAFETY CRITICAL APPLICATIONS; SAFETY CRITICAL SYSTEMS; SENSITIVE SYSTEMS; TIMING CONSTRAINTS;

EMBEDDED SYSTEMS;

EID: 84947266949     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45997-9_15     Document Type: Article

References (8)

1. The Open Group, http://adl.opengroup.org, 1999
2. Krisp, H., Müller-Schloer, C.:.Objektorientierte Modellierung und Simulation eingebetteter Systeme mit ClearSim-MultiDomain und UML., ASIM 2001, (15. Symposium Simulationstechnik), Paderborn, September 2001, S. 79-84
3. Meyer, B.:.Building bug-free O-O software: An Introduction of Design by ContractTM., http://www.eiffel.com/doc/manuals/technology/contract/page.html
4. Meyer, B.:.Object-Oriented Software Construction., 2nd Edition, Prentice Hall 2000
5. Obayashi, M., Kubota, H., McCarron, S.P., Mallet, L.: "The Assertion Based Testing Tool for OOP: ADL2", ICSE 1998
6. Scherber, S.:.Modellierung und Simulation software-intensiver eingebetteter Systeme., Shaker Verlag 2001
7. Warmer, J., Kleppe, A.:.The Object Constraint Language., Addison- Wesley 1999
8. Welge, R.:.SDL.RT basierter Entwurf und Implementierung zeit- und sicherheitskritischer Systeme., PhD Thesis (University of Hannover) 2001