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 :
بازگشت