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

Celý popis

Podrobná bibliografia

Vydané v:	2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) s. 31 - 40
Hlavní autori:	Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.04.2016
Predmet:	AADL Architecture-based verification framework Automata Computer architecture Embedded systems Model checking Model-based testing Protocols Regression verification Relays
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!