simulates the whole procedure of airport services that an international passenger will probably experience at the airport.

Simulates how routing table information is sent to BGP routers in a network.

Cadmium DEVS Model

DEVS model representing a Vending Machine Download model and sample simulations Download here the model executable in the Real-Time CD++ version (Vmachine.zip)

An industrial plant with several semi-autonomous robots carrying material in a specified path. There are 5 possible paths in the sample. It's possible that some of these paths includes crossing with other robots, and therefore a collision analysis must be analyzed.

Analyzes user mobility in mobile wireless middleware systems. Users access space via wireless gateways.

A model of the spiking neuron terminal; AN output neuron is firing when spikes of the two series of impulses meet the firing condition, which in this particular case is chosen to be the time delay between timing of the input received.

A model of some major components of a human motion control system: brain, spinal cord, and body. The system is designed to produce the output data in the form of motion capture data. The proposed model and the output data produced can be widely applied in areas such as robotics and multimedia (animation).

A model of a SCADA (Supervision, Control and Data Acquisition) system. This type of system are used to monitor oil plants, large industrial plants, etc. (Documentation in Spanish)

A model of the alternate bit protocol, which ensures reliable transmission through unreliable networks.

On our mission to make developer's work easy by amazing libraries and frameworks

A library built on top of DEVS enabling modeling and simulation of Petri Nets. It includes an interface with a graphical tool for defining the Petri Nets.

A model of a programmable microwave oven system, with buttons, alarm, etc.

A model of for performance analysis of microcomputer, including queuing models for the cpu, memory, hard drives, etc.

A model of Memory Hierarchy which demonstrate the benefits of the memory hierarchy to increase the memory access and improve the cpu performance. Also, we can research different cache replacement strategies using this simulator.

A router device for computer networks. A LAN with fixed topology is defined, and different routing techniques are implemented.

A description of Ultrasonic ranging system in DEVS model.

This model is implemented in order to assist various companies to perform what-if analyses. This in turn can help them evaluate various operational alternatives which in turn can increase their profitability.