Skip to main content
SpringerLink
Log in

A modelling and simulation based process for dependable systems design

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

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 to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Gray, J., Rossi, M., Tolvanen, J.P. (eds.): Domain-specific modelingwith visual languages. J.Vis. Lang. Comput. 15(3–4), 207–330 (2004)

  2. 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, Washington, DC (2004)

  3. 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)

  4. Boue, J., Arlat, J., Crouzet, Y., Petillon, P.: Verification of fault tolerance by means of fault injection into VHDL simulation models. Technical report, LAAS-CNRS (1996)

  5. Goswami K.K., Iyer R.K. and Young L.T. (1997). DEPEND: a simulation-based environment for system level dependability analysis. IEEE Trans. Comput. 46(1): 60–74

    Article  Google Scholar 

  6. Blum, A.M., Goyal, A., Heidelberger, P., Lavenberg, S.S., Nakayama, M.K., Shahabuddin, P.: Modeling and analysis of system dependability using the system availability estimator. FTCS, 137–141 (1994)

  7. Bavuso, S., Dugan, J.B., Trivedi, K.S., Rothmann, B., Smith, E.: Analysis of typical fault-tolerant architectures using HARP. IEEE Tran. Reliab. (1987)

  8. Bouissou, M.: The figaro dependability evaluation workbench in use: case studies for fault-tolerant computer systems. FTCS 680–685 (1993)

  9. Sridharan, M., Ramasubramanian, S., Somani, A.K.: HIMAP: architecture, features, and hierarchical model specification techniques. Comput. Perform. Eval. Tools 348–351 (1998)

  10. Mustafiz, S., Kienzle, J.: A survey of software development approaches addressing dependability. FIDJI 78–90 (2004)

  11. Burns, A., Wellings, A.: HRT-HOOD: a structured design method for hard real-time Ada systems. Elsevier Science BV (1995)

  12. Kabous, L., Nebel, W.: Modeling hard real time systems with uml the ooharts approach. UML 339–355 (1999)

  13. Burns A. and Lister A.M. (1991). A framework for building dependable systems. Comput. J. 34(2): 173–181

    Article  Google Scholar 

  14. Fidge C. and Lister A. (1992). A disciplined approach to real-time systems design. Inf. Softw. Technol. 34: 603–610

    Article  Google Scholar 

  15. Zia, M., Mustafiz, S., Vangheluwe, H., Kienzle, J.: A modelling and simulation based approach to dependable system design. In: Briand, L., Williams, C. (eds.): Model Driven Engineering Languages and Systems: 8th International Conference, vol. 3713, pp. 217–231. MoDELS 2005, Spring, Heidelberg (2005)

  16. Bolduc, J.S., Vangheluwe, H.L.: The modelling and simulation package PythonDEVS for classical hierarchical DEVS. MSDL technical report MSDL-TR-2001-01, McGill University (2001)

  17. Borland, S.: Transforming statechart models to devs. Master’s thesis, School of Computer Science (2003)

  18. Zeigler B.P. (1984). Multifacetted modelling and discrete event simulation. Academic, London

    MATH  Google Scholar 

  19. Zeigler B.P., Praehofer H. and Kim T.G. (2000). Theory of Modeling and Simulation, 2nd edn. Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic, London

    Google Scholar 

  20. Cheon, S., Seo, C., Park, S., Zeigler, B.: Design and implementation of distributed DEVS simulation in a peer to peer network system. In: Advanced Simulation Technologies Conference. Design, Analysis, and Simulation of Distributed Systems Symposium 2004 (2004)

  21. 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)

  22. 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)

  23. Geffroy J.C. and Motet G. (2002). Design of dependable computing systems. Kluwer, Dordrecht

    MATH  Google Scholar 

  24. 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)

  25. Laprie, J.C.: Dependable computing and fault tolerance : concepts and terminology. In: Meyer, J.F., Morgan, D.E. (eds.) 15th FTCS (1985)

  26. Lee, P.A., Anderson, T.: Fault tolerance—principles and practice. In: Dependable Computing and Fault-Tolerant Systems, 2nd edn. Springer, Heidelberg (1990)

  27. Elmendorf, W.R.: Fault-tolerant programming. In: Proceedings of 2nd International Symposium on Fault Tolerant Computing (FTCS-2), pp. 79–83. IEEE Computer Society Press, Newton (1972)

  28. Chen, L., Avizienis, A.: N-version programming: a fault-tolerance approach to reliability of software operation. In: 8th International Symposium on Fault-Tolerant Computing (FTCS-8), pp. 3–9 (1978)

  29. Burns, A., Lister, A. An architectural framework for timely and reliable distributed information systems (TARDIS): description and case study University of York Technical report (1990)

  30. Huang, D., Sarjoughian, H.: Software and simulation modeling for real-time software-intensive system. In: Proceedings of the 8th IEEE International Symposium on DS-RT (2004)

  31. de Lara, J., Vangheluwe, H.: Atom3: A tool for multi-formalism and meta-modelling. In: European Joint Conference on Theory And Practice of Software (ETAPS), Fundamental Approaches to Software Engineering (FASE), Springer-Verlag , 174–188 (2002)

  32. Provost, M.: Introduction to meta-modelling in atom3. Technical report, McGill University (2002)

  33. Provost, M.: How to create graph-grammars in atom3. Technical report, McGill University (2002)

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, McGill University, Montreal, QC, Canada

    Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe & Jörg Kienzle

Authors
  1. Miriam Zia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sadaf Mustafiz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans Vangheluwe
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jörg Kienzle
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hans Vangheluwe.

Additional information

Communicated by Dr. Lionel Briand.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zia, M., Mustafiz, S., Vangheluwe, H. et al. A modelling and simulation based process for dependable systems design. Softw Syst Model 6, 437–451 (2007). https://doi.org/10.1007/s10270-007-0050-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-007-0050-3

Keywords

Search

Navigation