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á bibliografie

Vydáno v:	2012 IEEE 14th International Symposium on High-Assurance Systems Engineering s. 130 - 138
Hlavní autoři:	Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.10.2012
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!