In: Proc. 9th Int. Symp. on Software Reliability Engineering, 4-7 November 1998, Paderborn, Germany, pages 164-173. 1998.
Abstract: Scenario-based dynamic analysis is an important technique in the verification of specification models for complex real-time systems. One of important problems facing developers of these systems is conduction risk analysis at early stages of development. The proposed methodology for risk assessment uses colored Petri net (CPN) models for predicting risk factors of system components, based on severity and complexity measures. CPN models are developed from system requirement specifications, and risk analysis provides guidance for identifying high risk components prior to their actual design and implementation. The analysis of the specification models is performed through scenario based simulations. Even though the set of scenarios used for simulation is very important for the success of risk analysis, the scenarios are chosen in an ad hoc fashion, usually guided by the experience of domain experts. Therefore, it is likely that some important scenarios are overlooked, due to the complexity of the system. This paper proposes a technique that increases the likelihood that high risk scenarios are identified. The technique is based on input domain partitioning. Partitions can be determined from the given CPN model automatically. Predicates, which describe subdomains of the input space, assist users in revealing interesting scenarios. This methodology is applied to the assessment of a commanding component of NASA'a Earth Observing System (EOS).
Keywords: colored Petri nets, high-risk scenarios, input domain partitioning, real-time systems, risk analysis.