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...

Celý popis

Podrobná bibliografia

Vydané v:	2012 IEEE 14th International Symposium on High-Assurance Systems Engineering s. 130 - 138
Hlavní autori:	Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.10.2012
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!