CD++ Models

Samples

The following list includes some existing models developed for the CD++ Simulator.
It includes the name, location, a brief description of it, and some other helpful information for each model.

This icon means that you can see the simulation downloading the sample and using the Web-Based Graflog applet and with the CD++Modeler (found in the tool's distribution webpage), and the 3D visualization GUI.
Name Description
2D-HEAT CONDUCTION This is an example of steady state 2-D heat transfer in a long bar of rectangular cross section. One side of the bar is insulated, the other exposed to a fluid at 25ēc.
Download model and sample
2D-HEAT DIFFUSION Heat diffusion model in a surface. A cell can be connected to heat generator, a cold generator or none. A cell's temperature is measured as the average of its neighborhood. It's possible to see the cell's temperature in each step.
Download model and sample
3D-HEAT DIFFUSION
A heat diffusion model (as the one described above) but using three-dimensions.
Download model and sample
3D-FREE FORM This application studies free-form modeling the deformation of objects in 3D space.
Download model and sample
AIRCONDITION This is an air-conditioner model with an incorporated thermostat. (Documentation in Spanish) [Parallel CD++].
Download model and sample
AIRPORT Simulates departures and arrivals in an airport. Uses a control tower, several planes, and queue and a different container (i.e. hangar) for the planes, according to their flight numbers.
Download model and sample
Download atomic models for Parallel DEVS
ALFA1 Project Alfa-1. A complete computer simulated with several N-CD++ components. It's possible to test each of the isolated components. Performance improvements to the computer can be analyzed using this models. ALFA-1 Project (visit this link for more information).
Download model and sample
ALTERNATE BIT PROTOCOL A model of the alternate bit protocol, which ensures reliable transmission through unreliable networks.
Download model and sample
ANTS A model of Ants moving in a field.
Download model and sample
ATLAS An example of the execution of the TSC compiler, which implements the ATLAS specification language. More information about ATLAS, press HERE and HERE . Further information about TSC, press HERE .
Download model and sample
ATM An automatic teller machine (ATM), which can dispense money to a customer. [Stand-alone CD++].
Download model and sample
AUTO DEVS model representing a simple automobile factory
Download model and sample
BACTERIA This model represents the reproduction behavior of the Vibrio Parahaemolyticus bacteria. Download model and sample
BARBER SHOP Simulates a retail barber shop. Customer arrive to the store and have their hair cut by the barber in turn
Download model and sample
BINSOL A model of binary solidification of crystal in ammonia solution. Download model and sample
BOUNCING BALL A ball bouncing in a square field. It's possible to design a field with walls and one or more balls bouncing inside the field.
Download model and sample
BUSVEND DEVS models representing a controller for an automatic ticket distributor for buses
Download model and sample
CITYSECTION A model of a section of the city of Buenos Aires using Cell-DEVS and O/D matrixes.
Download model and sample
CITYROUTING A model of a section of a city using Cell-DEVS and dynamic routing.
Download model and sample
CLOCK DEVS model representing a simple Alarm Clock
Download model and sample
Download model and sample to run under the Real-Time version of CD++
CLOCK (v2) Simulates a very simple alarm clock. (Documentation in Spanish)
Download model and sample
CLOUDS Represents the amount of rain that a group of clouds (moving from east to west) are capable to produce.
Download model and sample
COFFEE MACHINE A machine that dispenses different warm drinks (coffee, chocolate) and dispenses change. (Documentation in Spanish) .
Download model and sample
COLLISION AVOIDANCE A simulation of collision avoidance for robots.
Download model and sample
CRUISE CONTROL SYSTEM This is a system that is used to automatically maintain the speed of a vehicle over varying terrain. The model supports button controls, gas pedal and break interfaces for system interaction. [Stand-alone CD++].
Download model and sample
DIFFUSION LIMITED AGGREGATION Simulates Diffusion Limited Aggregation (DLA), a phenomenon that occurs when diffusing particles stick to and progressively enlarge an initial seed represented by a fixed object.
Download model and sample
DRIVEN DIFFUSION This example models the random motion of two species of particles that exist in a system.
Download model and sample
EDGE DETECTION This model shows how cellular automata can be used for edge detection, a fundamental process in image processing.
Download model and sample
ELEVATOR DEVS models representing a controller for an elevator. Download model and sample
EPSP Simulates an enterprise process for provisioning data network services (ATM, FR, DSL, ISDN, etc.).
Download model and sample
EXMEDIA A model of excitable media and diffusion reaction in the environment. Download model and sample
FIRE Simulates a fire in a forest. The simulation allows to foresee the propagation and intensity of the fire. Three parameters are involved in the RS (ratio of spread): particles properties (amount of heat, minerals and density), type of fuel (includes the size of the vegetation) and values involved with the natural environment (wind speed, territory inclination and humidity).
Download model and sample
FIRECORSE Simulates a fire in a closed environment, following the rules of the Environmental Lab of the University of Corsica. The simulation allows to foresee the intensity of the fire. The fuel is uniformly distributed (pine seeds) and no weather or slope conditions are considered. Download model and sample
FIREFLIES Simulation of the light produced by a group of fireflies.
Download model and sample
FIRE AND RAIN In this case a rainstorm has been defined. It moves to SE, extinguishing the fire on burning cells. Negative values define the effects of the rain.
Download model and sample
FIRE AND FIREFIGHTERS Shows the firefighters influence on a fire in the region. A negative value is still used for wet or cooling cells, a positive value for burning cells, but the way in which the water is spread has been changed.
Download model and sample
FISSION This model shows the breakage of radioactive atoms by means of a process of self-division into two parts.
Download model and sample
FRACTAL This model generates fractals using a random particle generator. Download model and sample
FSM A simple DEVS library to define Finite State Machines
Download model and sample
GARAGE DOOR A model of a garage door, which works only with the correct password and has a timer to open/close. [Stand-alone CD++].
Download model and sample
GOSSIP This application models the spread of information or gossip amongst a group of people from a single person.
Download model and sample
GROCERY STORE This system models a grocery store checkout with several lines (cashiers), determining the average total time a customer is expected to spend to pay for its purchase. [Stand-alone CD++].
Download model and sample
HIGHWAY INTERSECTION This model simulates an intersection of a highway in the city of Buenos Aires, studying an intersection where traffic jams occur frequently. (Documentation in Spanish) [Stand-alone CD++]
Download model and sample
HIV Shows the evolution of HIV in human cells. (Documentation in Spanish).
Download model and sample
HYBRID A simple library to model hybrid systems (at present the library contains an Integrator and a Quantizer implemented as DEVS models). Download model and sample
IMAGE GENERALIZATION This model provides an image generalization for a source image based on the extended Moore neighborhood.
Download model and sample
JK CLOCK This model uses a clock and J-K flip flops to build different logic circuits. [Stand-alone CD++].
Download model and sample
LIFE The "life game" with the original rules proposed by Conway. The key rule is known as "B3/S23". A new cell is born when it has exactly 3 neighbors. An existing cell survives if it has 2 or 3 neighbors. Otherwise, it dies.
Download model and sample
LIFE3D A variation of the "life game" game in 3D.
Download model and sample
LIFE.EXT A variation of the "life game", with some external events.
Download model and sample
LINEAR A binary linear automata.
Download model and sample
LOAD BALANCER Simulation of a load balancer, which connected to a database system and three servers and receives jobs periodically.
Download model and sample
MICROWAVE OVEN A model of a programmable microwave oven system, with buttons, alarm, etc. [Stand-alone CD++]
Download model and sample
MANUFACTURING FACILITY Simulation of a facility that assembles different types of products (composed by one or more components) in various workstations.
Download model and sample
MAZE The model shows the implementation of a maze-solving algorithm using Cell-DEVS.
Download model and sample
MOBILITY MANAGEMENT Analyzes user mobility in mobile wireless tuple based middleware systems. Users access tuple space via wireless gateways. [Stand-alone CD++]
Download model and sample
MOSQUITO In a three-dimensions environment there is one cell connected to a port where the atmospheric pressure is given. The pressure for the rest of the cells is measured as the average of its neighborhood. Using the pressure's value of a cell, it's possible to obtain its temperature. There are also mosquitoes in the same environment. A mosquito dies if the cell's temperature is below 16ēC.
Download model and sample
MULTITASK SERVER Simulates a multithreaded system running in a simple single processor architecture.
Download model and sample
OPERATION DEVS model representing scheduling of an Emergency Room in a hospital
Download model and sample
PARITY CHECKER Computes the parity bit using the value of its neighbors.
Download model and sample
PARTICLE COLLISION Simulates the behavior of different gas fluids traveling in an environment. Its integer part represents the direction (1..4) and its real part represents its purity. The collision of two particles modifies their direction and purity degree.
Download model and sample
PETRI 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.
Download model and sample
PINBALL Simulates a pinball's activity. An integer (1..8) in each cell indicates the existence of a ball and its direction, or the lack of a ball in the cell (0). There is a different value (9) to represent a "brick" in the cell.
Download model and sample
PIZZA KITCHEN Simulates the kitchen of a pizza restaurant, receiving orders from customers and delivering food. (Documentation in Spanish) [Stand-alone CD++].
Download model and sample
PLANTS A model of plant population in fens
Download model and sample
PLASTIC DEFORMATION This system analyzes deformation in a 2D space using Margolus neighborhood, based on distribution rules of virtual clay.
Download model and sample
POLLUTION Studies the diffusion of pollution in a lagoon. (Documentation in Spanish).
Download model and sample
POWER DISSIPATION Allows the estimation of power dissipation in a surface.
Download model and sample
PURSUER Simulates the behavior of a group of people following a leader. People is hidden, and when they are found by the leader, they follow him forming a line.
Download model and sample
QUEUE A simple queuing system.
Download model and sample
RADAR This model represents a simple radar system used to control air traffic in airports.
Download model and sample
RAIN Represents the amount of rain that a group of clouds (moving from east to west) are capable to produce.
Download model and sample
REPAIR ROBOTS This model represent a set of robots scanning a field, looking for damaged areas, and fixing the damage.
Download model and sample
RESIN DEVS model representing a manufacturing tank for Resin products
Download model and sample
RICE This model is to simulate the pollution process from a chemical factory to a rice field through the water supply. The chemical factory locates at upper stream of the ditch. The polluted water is drained into the ditch and used to irrigate the farmland at lower stream. Resided in one cell of the soil, each plant in the field will be infected by the polluted water eventually. According to the pollution degree, the plants are catalyzed into 3 groups: healthy, infected or deadly. .
Download model and sample
ROBOTS This model simulates 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.
Download model and sample
ROUTING This is an example of a router device for computer networks. A LAN with fixed topology is defined, and different routing techniques are implemented. Download model and sample
SAND PILE This model represents avalanches in a landslide that can happen as a result of earthquakes. Sand pile models are studied to predict landslide behavior as a result of an earthquake.
Download model and sample
SATELLITE CLOUDS Simulates clouds in a satellite image using Cell-DEVS.
Download model and sample
SHARKS A model of shark feeding. It includes two sea areas, one with herrings, and other dominated by sharks. If there is not enough room for the herring well, it moves to the shark's area. If the herring meets a shark neighbor then it will be eaten.
Download model and sample
SHIP EVACUATION Simulates the evacuation of a ship in an emergency.
Download model and sample
SHIP EVACUATION Simulates the evacuation of a ship in an emergency. (Documentation in Spanish).
Download model and sample
SOCCER This is a simulation of some of the basic alternatives of a soccer game. [Stand-alone CD++]
Download model and sample
SORT (Base) A sort algorithm developed using cellular automata. It's behavior is similar to a bubble-sort.
Download model and sample
SORT (Optimized) An optimized sort algorithm similar to the above, but here the space is no-wrapped.
Download model and sample
SUBSTANCE CLASSIFIER A substance generator places different amounts of substances into a queue. In order to classify and ship it properly, a classifier takes the substance and measures it's purity. Depending on the value measured, it's classified as First or Second class.
Download model and sample
SCADA 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) [Stand-alone CD++]
Download model and sample
SYNTHETIC BENCHMARK A synthetic benchmarking tool developed to test the performance of DEVS models running on CD++.
Download model and sample
TELEPHONE SWITCH A simulation of a real-time telephone switch system for an enterprise. [Stand-alone CD++]
Download model and sample
TENSION A simple surface tension model. The particles tend to group according to the existing surface tension. Download model and sample
TOLL STATION This model simulates a toll station, its cashier, cars arriving to the station, sensors, etc. (Documentation in Spanish) [Stand-alone CD++]
Download model and sample
TRAFFIC A simple traffic model, with cars traveling on one-way northbound and eastbound. The former have priority when a possible collision occurs.
Download model and sample
TRAFFIC CONTROLLER This is a simulation of a traffic controller that works with lights and sensors. [Stand-alone CD++]
Download model and sample
TRAFFIC LIGHT A simulation of a traffic light in an intersection of two one-way streets. [Stand-alone CD++]
Download model and sample
TRAFFIC LIGHT SYSTEM This model simulates a complete traffic light controller in an intersection of two two-way streets. [Stand-alone CD++]
Download model and sample
TRAFFIC LIGHT SYSTEM (2) Some modifications to the model trafficlightsys, implemented with Cell-DEVS to analyze more complex phenomena. [Stand-alone CD++]
Download model and sample
TRANSD Measures the task throughput for a CPU, using a coupled model with different atomic models: a queue, a processor (the CPU), a transducer and a process generator.
Download model and sample
VANTS Simulates the behavior of a group of ants. The ants eat the grass in two steps: first, the upper part, and later the root. If the ant doesn't find any grass, it keeps moving forward. If it does, it rotates 90° right trying to find more grass. It's a 3D cellular model. In 2 different slices it's possible to see: (1) the ants' behavior and state of the grass and (2) collisions and possibility of the grass to grow again.
VIRTUAL PET Simulates the behavior of a virtual pet that reacts to food, medicine, and games, which are received from the environment. (Documentation in Spanish).
Download model and sample
VENDING DEVS model representing a Vending Machine
Download model and sample
Download here the model executable in the Real-Time CD++ version
VOTERS A model showing the influence of neighbors in the vote decision using cellular automata.
Download model and sample
WAVE A simulation of wave propagation and interference properties. Download model and sample
WATERSHED A simulation of a natural region that acts as the water-receiving area of a drainage basin. Accumulates water from different origins: rain, rivers and snow.
Download model and sample
WEBSERVER A simulation of a simple web server. It includes models for a client/server application. Download model and sample

 

There is a more detailed description of each model in the file README.TXT located in every subdirectory.

More information:

All of the above samples include:

FileName.MA: The model description file
FileName.EV (optional): external events file
FileName.LOG (optional): A log file generated by the simulator
FileName.DRW (optional): A file generated by the DRAWLOG tool, where the results can be seen in a matrix (only available with some cellular models)
FileName.VAL (optional): A file with initial values for the model
FileName.BAT: A script used to run the simulation with the correct parameters (Windows platforms only, but it can be simply modified to be used under other platforms). Generates a LOG file
FileNameDRW.BAT (optional): A script used to generate the .drw file

The DEVS models are written in C++, and includes :
NAME.CPP: The C++ source code file of the NAME model. This file is needed to recompile the simulator properly (Download an example here!)
NAME.H: The C++ header file of the NAME model. This file is needed to recompile the simulator properly (Download an example here!)