ATLAS: A language to specify traffic models using Cell-DEVS

The ATLAS specification language is devoted to build models of city sections using microsimulation. The basic language constructions allow defining a static topology of the section to be studied. The dynamic behavior of the section can be modified by including traffic lights, traffic signs, etc. Onc...

Full description

Saved in:
Bibliographic Details
Published inSimulation modelling practice and theory Vol. 14; no. 3; pp. 313 - 337
Main Author Wainer, Gabriel
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.04.2006
Subjects
Cell-DEVS
Cellular Automata
DEVS
Simulation environments
Traffic simulation
Traffic simulation
DEVS
Simulation environments
Cellular Automata
Cell-DEVS
Online AccessGet full text

Cover

More Information
Summary:The ATLAS specification language is devoted to build models of city sections using microsimulation. The basic language constructions allow defining a static topology of the section to be studied. The dynamic behavior of the section can be modified by including traffic lights, traffic signs, etc. Once the urban section is outlined, models are converted into cell spaces and the traffic flow is automatically set up. Language constructions were mapped into DEVS and Cell-DEVS models that can be easily executed with a simulation tool. The models were formally specified, improving the verification of the language. Thanks to this formal approach, we ensure that the simulations are correct, avoiding a high number of errors in the developed application, and as the modelers can focus in the problem to solve, development times can be reduced.
ISSN:1569-190X
1878-1462
DOI:10.1016/j.simpat.2005.07.002