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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Risk assessment of software-system specifications


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

    Published in:

    Publication date :

    2001


    Size :

    13 Seiten, 40 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    An example of risk assessment of software systems specifications

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


    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


    Writing software specifications using interface matrix

    Raheja,D. / Design f.Competitiveness,US | Automotive engineering | 2007