Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
DEVS-based modeling and simulation for intelligent transportation systems
Discrete event modelng and simulation technologies
Design of dependable computing systems
Design of dependable computing systems
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Software and Simulation Modeling for Real-Time Software-Intensive Systems
DS-RT '04 Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Computer automated multi-paradigm modelling for analysis and design of traffic networks
WSC '04 Proceedings of the 36th conference on Winter simulation
Hi-index | 0.00 |
Complex real-time system design needs to address dependability requirements, such as safety, reliability, and security. We introduce a modelling and simulation based approach which allows for the analysis and prediction of dependability constraints. Dependability can be improved by making use of fault tolerance techniques. The de-facto example in the real-time system literature of a pump control system in a mining environment is used to demonstrate our model-based approach. In particular, the system is modelled using the Discrete EVent system Specification (DEVS) formalism, and then extended to incorporate fault tolerance mechanisms. The modularity of the DEVS formalism facilitates this extension. The simulation demonstrates that the employed fault tolerance techniques are effective. That is, the system performs satisfactorily despite the presence of faults. This approach also makes it possible to make an informed choice between different fault tolerance techniques. Performance metrics are used to measure the reliability and safety of the system, and to evaluate the dependability achieved by the design. In our model-based development process, modelling, simulation and eventual deployment of the system are seamlessly integrated.