Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool

The Architecture Quality Assurance Framework (AQAF) is a theory developed to provide a holistic and formal verification process for architectural engineering of critical embedded systems. AQAF encompasses integrated architectural model checking, model-based testing, and selective regression verifica...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - International Symposium on Software Reliability Engineering s. 271 - 281
Hlavní autoři:	Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.10.2017
Témata:	Automata case study Computer architecture empirical evaluation Fault detection fault injection Model checking Observers Quality assurance Relays
ISSN:	2332-6549
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!