Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Sensitivity analysis of reliability and performability measures for multiprocessor systems
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Performability Analysis Using Semi-Markov Reward Processes
IEEE Transactions on Computers
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
A decomposition approach for stochastic reward net models
Performance Evaluation
On the computation of performance characteristics of concurrent programs using GSPNs
Performance Evaluation - Special issue: performance modeling of parallel processing systems
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Software Design
Annals of Software Engineering
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Sensitivity Analysis of Deterministic and Stochastic Petri Nets
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Specification of Stochastic Properties with CSP
Proceedings of the 1994 International Conference on Parallel and Distributed Systems
Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets
Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Proceedings of the 2004 ACM symposium on Applied computing
Probabilistic optimization and assessment of voting strategies for X-by-wire systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Managing secure survivable critical infrastructures to avoid vulnerabilities
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 0.00 |
In this study, we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The system provides dynamic driving regulation (DDR) to improve vehicle derivability (anti-skid, -slip and steering assist). A functional SPN abstraction was developed for each of three subsystems that incorporate mechanics, failure modes/effects and model parameters. The models are solved in terms of the subsystem and overall system reliability and availability. Four sets of models were developed. The first three sets include subsystem representations for the TC (Traction Control), AB (Antilock Braking) and ESA (Electronic Steering Assistance) systems. The last set combines these systems into one large model. We summarize the general approach and provide sample Petri net graphs and reliability charts that were used to evaluate the design of the DDR in parts and as a whole.