AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL

Architecture engineering is essential to achieve dependability of critical embedded systems and affects large parts of the system life cycle. There is consequently little room for faults, which may cause substantial costs and devastating harm. Verification in architecture engineering should therefor...

Full description

Bibliographic Details

Published in:	2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) pp. 31 - 40
Main Authors:	Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.04.2016
Subjects:	AADL Architecture-based verification framework Automata Computer architecture Embedded systems Model checking Model-based testing Protocols Regression verification Relays
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!