The cadmium_v2 DEVS simulator including additional examples for the MSP432P401R microcontroller. Examples can be compiled either as simulations (in the command line interface), or for embedded execution using Code Composer Studio.

A Cell-DEVS for simulating HBV. The model has six compartments for representing each cell: Susceptible R cell (SR), Susceptible S cell (SS), Infected R cell (IR), Infected S cell (IS), Defectively infected cell (DI), and Dead cell (D).

The model shows the implementation of a maze-solving algorithm using Cell-DEVS.

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 model representing the behavior of crowds in a metro station (documentation in Spanish).

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

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

The model involves the mapping of a ×ばつ10 minefield using four robots. The individual robots are constrained to move about the minefield in order to scan the ground to detect the presence or absence of mines. It was assumed that the robots were in contact and were updating a common map of the minefield.

A 2-dimensional model, capable of deriving the incremental velocity of a mass under the influence of a spring and viscous damper model of a programmable microwave oven system, with buttons, alarm, etc.