DocumentCode
1727368
Title
A Model-Driven Approach to Assuring Process Reliability
Author
Habli, Ibrahim ; Kelly, Tim
Author_Institution
Dept. of Comput. Sci., Univ. of York, York
fYear
2008
Firstpage
7
Lastpage
16
Abstract
The process can fail to deliver its expected outputs and consequently contribute to the introduction of 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.
Keywords
formal specification; software reliability; systems analysis; automated analysis; extendable metamodel; lifecycle processes; model-driven approach; process failures; process reliability; software system faults; Aerospace testing; Automotive engineering; Certification; Control systems; Humans; Personnel; Power system reliability; Reliability engineering; Software safety; Software systems; meta-modelling; process modelling; safety; software reliability; software safety case;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on
Conference_Location
Seattle, WA
ISSN
1071-9458
Print_ISBN
978-0-7695-3405-3
Electronic_ISBN
1071-9458
Type
conf
DOI
10.1109/ISSRE.2008.19
Filename
4700305
Link To Document