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

Full description

Bibliographic Details

Published in:	Proceedings - International Symposium on Software Reliability Engineering pp. 271 - 281
Main Authors:	Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.10.2017
Subjects:	Automata case study Computer architecture empirical evaluation Fault detection fault injection Model checking Observers Quality assurance Relays
ISSN:	2332-6549
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!