COMP 522A Project


      Name       : Sadaf Mustafiz
      e-mail     : sadaf[at]
      Name       : Miriam Zia
      e-mail     : mzia2[at]

Project Title: Modelling and Simulation of a Pump Control System

The application chosen is a standard in real-time systems literature: the pump (or mine) control system. The pump system has been studied in the context of dependability properties, in the TARDIS (Timely and Reliable Distributed Systems) [3] project. The detailed system specification can be found here.

Project Proposal

The project proposal can be found here.

Project Presentation

The project presentation in pdf form can be found here.

Project Report

Link to the project report

The project report can be found in pdf form here.

Source Code

DEVS implemenation of the original model:

DEVS implemenation of the fault-tolerant model (using maximum voter):

DEVS implemenation of the fault-tolerant model (using majority voter):

To run the simulation, two other files are required: DEVS.txt and

Note: The source files need to be renamed to .py from .txt to be executed.


[1] “A Conceptual Framework for System Fault Tolerance”, March 30 1995, Centre for High Integrity Software Systems Assurance, NIST.
[2] Bolduc, J.-S., Vangheluwe, H., “A Modeling and Simulation Package for Classic Hierarchical DEVS”, July 2002.
[3] Burns, A., and Lister, A.M., “An Architectural Framework for Timely and Reliable Distributed Information Systems (TARDIS): Description and Case Study”, University of York (Computer Science Technical Report YCS 140(1990).
[4] Burns, A., Lister, A.M., “A framework for building dependable systems”, The Computer Journal, Vol. 34 No. 2, April 1991, pp. 73- 181.
[5] Mustafiz, S. “Addressing Fault Tolerance in Software Development: A Comparative Study”, M.Sc. Thesis, School of Computer Science, McGill University, June 2004.
[6] PythonDEVS website, November 2002,
[7] Vangheluwe, H., “The discrete event system specification (DEVS) formalism”.

Fall 2004