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

Full description

Saved in:

Bibliographic Details
Published in:	2012 IEEE 14th International Symposium on High-Assurance Systems Engineering pp. 130 - 138
Main Authors:	Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.10.2012
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!