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