Automated Verification of AADL-Specifications Using UPPAAL

The Architecture Analysis and Design Language (AADL) is used to represent architecture design decisions of safety-critical and real-time embedded systems. Due to the far-reaching effects these decisions have on the development process, an architecture design fault is likely to have a significant det...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2012 IEEE 14th International Symposium on High-Assurance Systems Engineering S. 130 - 138
Hauptverfasser:	Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.10.2012
Schlagworte:	AADL Architecture-based verification Automata Formal semantics Formal verification Instruction sets Real-time systems Semantic anchoring Semantics Synchronization UPPAAL
ISBN:	9781467347426, 1467347426
ISSN:	1530-2059
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!