This page has been relocated. If you are not automatically redirected in a few seconds PRESS HERE


Research Topics Information

 

 

Modelling Artificial Systems

Publications

"Automatic Verification of DEVS models".L. Morihama, V. Pasuello, G. Wainer. In Proceedings of SISO Spring Interoperability Workshop. Orlando, FL. U.S.A.

"Defining DEVS models with the CD++ tool ". G. Wainer; G. Christen, A. Dobniewski. In Proceedings of Europe an Simulation Symposium. Marseilles, France. 2001

"New Extensions to the CD++ tool". D. Rodríguez, G. Wainer. In Proceedings of Summer Computer Simulation Conference. Chicago, U.S.A.1999.

Theses

- "Parallel execution of Cell-DEVS". FCEN-UBA. Student: A. Troccoli. 2001.

- "Implementation of n-dimensional Cell-DEVS". Student: D. Rodríguez. (1999).

- "CD++: an environment for Cell-DEVS modelling and simulation". FCEN-UBA. Students: A. Barylko, J. Beyoglonian (1998).

In Progress

- "A specification language for DEVS models". Students: G. Christen, C. Dobniewski. (1999-).

Tools

The CD++ modelling and simulation toolkit. Download HERE

Models

 

Name Description
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 atomic models for Parallel DEVS
AUTO DEVS model representing a simple automobile factory
BUSVEND DEVS models representing a controller for an automatic ticke t distributor for buses
CLOCK DEVS model representing a simple Alarm Clock
ELEVATOR DEVS models representing a controller for an elevator.
OPERATION DEVS model representing scheduling of an Emergency Room in a hospital
QUEUE A simple queueing system.
RADAR This model represents a simple radar system used to control air traffic in airports.
REPAIR ROBOTS This model represent a set of robots scanning a field, looking for damaged areas, and fixing the damage.
RESIN DEVS model representing a manufacturing tank for Resin products
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.
SUBSTANCE CLASSIFIER A substance generator places differents 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.
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.
VENDING DEVS model representing a Vending Machine