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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) S. 31 - 40
Hauptverfasser:	Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.04.2016
Schlagworte:	AADL Architecture-based verification framework Automata Computer architecture Embedded systems Model checking Model-based testing Protocols Regression verification Relays
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!