Name : Sadaf Mustafiz e-mail : sadaf[at]cs.mcgill.ca Name : Miriam Zia e-mail : mzia2[at]cs.mcgill.ca
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)  project. The detailed system specification can be found here.
The project proposal can be found here.
The project presentation in pdf form can be found here.
Link to the project report
The project report can be found in pdf form here.
DEVS implemenation of the original model: PCS.py
DEVS implemenation of the fault-tolerant model (using maximum voter): FTPCS-maximum.py
DEVS implemenation of the fault-tolerant model (using majority voter): FTPCS-majority.py
To run the simulation, two other files are required: DEVS.txt and Simulator.py.Note: The source files need to be renamed to .py from .txt to be executed.
 “A Conceptual Framework for System Fault Tolerance”, March 30 1995, Centre for High Integrity Software Systems Assurance, NIST.
 Bolduc, J.-S., Vangheluwe, H., “A Modeling and Simulation Package for Classic Hierarchical DEVS”, July 2002.
 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).
 Burns, A., Lister, A.M., “A framework for building dependable systems”, The Computer Journal, Vol. 34 No. 2, April 1991, pp. 73- 181.
 Mustafiz, S. “Addressing Fault Tolerance in Software Development: A Comparative Study”, M.Sc. Thesis, School of Computer Science, McGill University, June 2004.
 PythonDEVS website, November 2002, http://moncs.cs.mcgill.ca/MSDL/research/projects/DEVS/.
 Vangheluwe, H., “The discrete event system specification (DEVS) formalism”.