• 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