Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
The dimensionality of program complexity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Applications of a relative complexity metric for software project management
Journal of Systems and Software - An Oregon workshop on software metrics
Analyzing Error-Prone System Structure
IEEE Transactions on Software Engineering
The Detection of Fault-Prone Programs
IEEE Transactions on Software Engineering
Analysis of real-time programs with simple time Petri nets
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Software metrics for reliability assessment
Handbook of software reliability engineering
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Metrics and Models in Software Quality Engineering
Metrics and Models in Software Quality Engineering
Evaluating Design Metrics on Large-Scale Software
IEEE Software
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Formal Verification of an Arbiter Cascade
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
On Net Modeling of Industrial Size Concurrent Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A Colored Petri Net Model for a Naval Command and Control System
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Evaluation and Application of Complexity-Based Criticality Models
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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.