This paper presents a methodology and an example of risk assessment of functional-requirement specifications for complex real-time software systems. A heuristic risk-assessment technique based on CPN (colored Petri-net) models is presented. This technique is used to classify software functional-requirement specification components according to their relative importance in terms of such factors as severity and complexity. A dynamic complexity measure, based on concurrence in the functional requirements, is introduced. This technique is applied on the Earth Operation Commanding Center (EOC COMMANDING), a large component of the NASA Earth Observing System (EOS) project. Two specification models of the system are considered. Results of applying this technique to both CPN models are presented. The risk assessment methodology in this paper suggests the following conclusions: (i) risk assessment at the functional-requirement specification phase can be used to classify functional requirements in terms of their complexity and severity; (ii) dynamic complexity metrics and the concurrence metric can be important in assessing the risk factors based on the complexity of functional specifications; (iii) the concurrence complexity metric is an important aspect of dynamic complexity; and (iv) CPN models can be used to build an executable specification of the system, which helps the analyst not only to acquire deep understanding of the system but also to study the dynamic behavior of the system by simulating the model.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Risk assessment of software-system specifications


    Beteiligte:
    Ammar, H.H. (Autor:in) / Nikzadeh, T. (Autor:in) / Dugan, J.B. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2001


    Format / Umfang :

    13 Seiten, 40 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    An example of risk assessment of software systems specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 1997


    Tailoring software acquisition specifications

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


    Specifications for IDAMST Software

    D. G. Tubb | NTIS | 1977


    Model checking large software specifications

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


    Quantitative Software Risk Assessment

    Lee, A. T. / European Space Agency / United States | British Library Conference Proceedings | 2002