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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    An example of risk assessment of software systems specifications


    Contributors:
    Ammar, H.H. (author) / Nikzadeh, T. (author) / Dugan, J.B. (author)


    Publication date :

    1997


    Size :

    12 Seiten, 41 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Risk assessment of software-system specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archive | 2001


    Specifications for IDAMST Software

    D. G. Tubb | NTIS | 1977


    Tailoring software acquisition specifications

    Morrey, J.C. / Petrovay, G.O. | Tema Archive | 1976


    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archive | 1997


    Test case generation from formal specifications on the example of train control systems

    zu Horste, M. M. / Schnieder, E. / Schulz, H.-M. et al. | British Library Conference Proceedings | 2000