Introduction
In these pages you will find information about Cadmium and the DEVSsim Server, two tools for Discrete-Event modeling and simulation. The environments are based on the DEVS (Discrete-Event systems Specifications) and Cell-DEVS formalisms.
DEVS is a discrete-event formalism that allows a hierarchical and modular description of the models. DEVS can describe behavioral models (atomic) or structural (coupled). Cell-DEVS allows modeling systems that can be represented as executable cell spaces.
Details about the DEVS formalism can be found in: “Theory of Modeling and Simulation”. B. Zeigler, H. Praehofer, T. G. Kim. 2nd Edition. Academic Press. 2000.
Details about DEVS implementation in CD++ and Cadmium, as well as Cell-DEVS model definition can be found in Discrete-Event Modeling and Simulation: a practitioner’s approach (book). G. Wainer (click here to purchase it from Amazon, or here from the publisher).
Click here for instructions on accessing the server and installing Cadmium.
Click here for documentation on developing models in Cadmium.
Further information here.
Remotely Accessing the Server
Important Notes:
- If you are comfortable working directly in the terminal, you can SSH into the server and edit code using
Vi
ornano
editors. - Please contact the administrator if you require additional software installed on the DEVSsim server.
Useful Terminal Commands:
scp
– Securely copy files between your local machine and the server. Example:scp path/to/source_file.txt your-username@devssim.carleton.ca:~/path/to/destination/
grep
– Search through files or output. Example:grep 'search-term' file.txt
; or search for a file in a directory:ls -R | grep file_name.txt
passwd
– Change your password.
Example Models
- DEVS Traffic Light
- DEVS Manual Example
- GPT Example
- Garage Door Opener
- Cell DEVS Room Evac
- Major Maritimes Disaster (MAJMAR) DEVS
- Cell DEVS Forest Fire
Click here for a list of old models.