DocumentCode :
3412807
Title :
An example of risk assessment of software systems specifications
Author :
Ammar, H.H. ; Nikzadeh, T. ; Dugan, J.B.
Author_Institution :
Dept. of Comput. Sci. & Electr. Eng., West Virginia Univ., Morgantown, WV, USA
fYear :
35735
fDate :
2-5 Nov1997
Firstpage :
156
Lastpage :
167
Abstract :
This paper presents an example of risk assessment in complex real-time software systems at the early stages of development. A heuristic risk assessment technique based on colored Petri net (CPN) models is used to classify software according to its relative importance in terms of such factors as severity and complexity. The methodology of this technique is presented in a companion paper (Ammar et al., 1997). This technique is applied on the Earth Operation Commanding Center; a large component of NASA´s Earth Observing System (EOS) project. Two specifications of the system are considered: a sequential model and a pipeline model. Results of applying the above technique to both CPN-based models yield different complexity measures. The pipeline model shows clearly a higher risk factor than the sequential model. Whereas using traditional complexity measures, the risk factors were similar in both models
Keywords :
Petri nets; aerospace computing; aerospace industry; computational complexity; formal specification; graph colouring; real-time systems; risk management; software reliability; Earth Observing System project; Earth Operation Commanding Center; NASA; colored Petri net; complex real-time software; complexity; heuristic risk assessment technique; pipeline model; sequential model; software classification; software development; software reliability; software systems specifications; Concurrent computing; Earth Observing System; Fault diagnosis; NASA; Object oriented modeling; Petri nets; Pipelines; Risk management; Software systems; Software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Reliability Engineering, 1997. Proceedings., The Eighth International Symposium on
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-8186-8120-9
Type :
conf
DOI :
10.1109/ISSRE.1997.630861
Filename :
630861
Link To Document :
بازگشت