A MODEL-DRIVEN APPROACH TO ASSURING PROCESS RELIABILITY

Ibrahim Habli and Tim Kelly

University of York

ibrahim.habli@cs.york.ac.uk


Abstract

The process can fail and consequently contribute to the introduction of hazardous faults into the software system. The process may fail due to ambiguous and unsuitable notations, unreliable tool-support, flawed methods and techniques or incompetent personnel. However, not all process activities pose the same degree of risks and therefore require the same degree of rigour. In this paper, we define an extendable metamodel for describing lifecycle processes. The metamodel embodies attributes which facilitate the automated analysis of the process, revealing possible process failures and associated risks. The metamodel also provides the capability to automatically verify the compliance of the process with certification standards. The metamodel is evaluated against processes from the aerospace and automotive domains.