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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gray, J., Rossi, M., Tolvanen, J.P. (eds.): Domain-Specific Modeling with Visual Languages. Journal of Visual Languages & Computing, vol. 15. Elsevier Science Publishers, Amsterdam (2004)
Vangheluwe, H., de Lara, J.: Domain-specific modelling for analysis and design of traffic networks. In: Ingalls, R., Rossetti, M., Smith, J., Peters, B. (eds.) Winter Simulation Conference, IEEE Computer Society, Los Alamitos (2004)
Pfeifer, H., von Henke, F.W.: Formal modelling and analysis of fault tolerance properties in the time-triggered architecture. In: 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (2004)
Boue, J., Arlat, J., Crouzet, Y., Petillon, P.: Verification of fault tolerance by means of fault injection into VHDL simulation models. In: Contrat Esprit DeVa Project (1996)
Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)
Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. In: Integrating Discrete Event and Continuous Complex Dynamic Systems, 2nd edn., Academic Press, London (2000)
Cheon, S., Seo, C., Park, S., Zeigler, B.: Design and implementation of distributed DEVS simulation in a peer to peer network system. In: 2004 Advanced Simulation Technologies Conference, Design, Analysis, and Simulation of Distributed Systems Symposium (2004)
Chi, S., Lee, J.: DEVS-based modeling and simulation for intelligent transportation systems. In: Sarjoughian, H.S., Cellier, F.E. (eds.) Discrete event modeling and simulation: A tapestry of systems and AI-based theories and methodologies, pp. 215–227. Springer, Heidelberg (2001)
Filippi, J., Chiari, F., Bisgambiglia, P.: Using jDEVS for the modeling and simulation of natural complex systems. In: SCS AIS 2002 Conference on Simulation in Industry, vol. 1 (2002)
Geffroy, J.C., Motet, G.: Design of Dependable Computing Systems. Kluwer Academic Publishers, Dordrecht (2002)
von Neumann, J.: Probabilistic logics and the synthesis of reliable organisms from unreliable components. In: Shannon, C.E., McCarthy, J. (eds.) Annals of Math Studies, pp. 43–98. Princeton University Press, Princeton (1956)
Laprie, J.C.: Dependable computing and fault tolerance: Concepts and terminology. In: Meyer, J.F., Morgan, D.E. (eds.) 15th FTCS (1985)
Lee, P.A., Anderson, T.: Fault tolerance - principles and practice. In: Dependable Computing and Fault-Tolerant Systems, 2nd edn., Springer, Heidelberg (1990)
Burns, A., Lister, A.: An architectural framework for timely and reliable distributed information systems (TARDIS): Description and case study. Technical report, University of York (1990)
Huang, D., Sarjoughian, H.: Software and simulation modeling for real-time softwareintensive system. In: Proceedings of the 8th IEEE International Symposium on DS-RT (2004)
Bolduc, J.S., Vangheluwe, H.L.: The modelling and simulation package pythonDEVS for classical hierarchical DEVS. Technical report, McGill University (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zia, M., Mustafiz, S., Vangheluwe, H., Kienzle, J. (2005). A Modelling and Simulation Based Approach to Dependable System Design. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_16
Download citation
DOI: https://doi.org/10.1007/11557432_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)