Title
A modelling and simulation based process for dependable systems design A modelling and simulation based process for dependable systems design
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
article
Publication
Berlin ,
Subject
Computer. Automation
Source (journal)
Software and systems modeling. - Berlin
Volume/pages
6(2007) :4 , p. 437-451
ISSN
1619-1366
Carrier
E
Target language
English (eng)
Full text (Publishers DOI)
Abstract
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.
E-info
https://repository.uantwerpen.be/docman/iruaauth/b539ef/99fdded45fd.pdf