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. 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.

[1]  Helbing,et al.  Congested traffic states in empirical observations and microscopic simulations , 2000, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[2]  Brian J. N. Wylie,et al.  PARAMICS-moving vehicles on the connection machine , 1994, Proceedings of Supercomputing '94.

[3]  K. Nagel,et al.  TRANSIMS traffic flow characteristics , 1997, adap-org/9710003.

[4]  Roland Chrobok,et al.  Simulation Framework for the Autobahn Traffic in North Rhine-Westphalia , 2002, ACRI.

[5]  R. Jayakrishnan,et al.  Microscopic-Macroscopic Models Systems Integration: A Simulation Case Study for ATMIS , 2005, Simul..

[6]  Gabriel Wainer,et al.  N-dimensional Cell-DEVS , 1997 .

[7]  Vlatka Hlupic.  Discrete-Event Simulation Software: What the Users Want , 1999, Simul..

[8]  Gabriel A. Wainer.  CD++: a toolkit to develop DEVS models , 2002, Softw. Pract. Exp..

[9]  M. Schreckenberg,et al.  Microscopic Simulation of Urban Traffic Based on Cellular Automata , 1997 .

[10]  Kai Nagel,et al.  Towards truly agent-based traffic and mobility simulations , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[11]  M. E. Williams,et al.  TRANSIMS: TRANSPORTATION ANALYSIS AND SIMULATION SYSTEM , 1995 .

[12]  Balqies Sadoun.  An Efficient Simulation Methodology for the Design of Traffic Lights at Intersections in Urban Areas , 2003, Simul..

[13]  Hao Wu,et al.  Simulation-Based Operations Planning for Regional Transportation Systems , 2003, DG.O.

[14]  Bernard P. Zeigler,et al.  The DEVS environment for high-performance modeling and simulation , 1997 .

[15]  JongKeun Lee,et al.  Using Symbolic DEVS Simulation to Generate Optimal Traffic Signal Timings , 2005, Simul..

[16]  Michael Schreckenberg,et al.  Two lane traffic simulations using cellular automata , 1995, cond-mat/9512119.

[17]  Gabriel A. Wainer,et al.  Application of the ATLAS language in models of urban traffic , 2001, Proceedings. 34th Annual Simulation Symposium.

[18]  Gabriel A. Wainer,et al.  N-dimensional Cell-DEVS Models , 2002, Discret. Event Dyn. Syst..

[19]  Gabriel A. Wainer,et al.  Specifying truck movement in traffic models using cell-DEVS , 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

[20]  Kai Nagel,et al.  Realistic multi-lane traffic rules for cellular automata , 1997 .

[21]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[22]  B. Chopard,et al.  Cellular automata model of car traffic in a two-dimensional street network , 1996 .

[23]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[24]  M. Pursula,et al.  A simulation tool for traffic signal control planning , 1990 .

[25]  Lily Elefteriadou,et al.  Exploring CORSIM runtime characteristics: profiling a traffic simulator , 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

[26]  Gabriel Wainer,et al.  DEFINING AND VISUALIZING MODELS OF URBAN TRAFFIC , 2003 .

[27]  Kai Nagel,et al.  Cellular Automata Models for Transportation Applications , 2002, ACRI.

[28]  Arnoud Visser,et al.  Traffic simulation , 2001, Future Gener. Comput. Syst..

[29]  Rahmi Akçelik.  A ROUNDABOUT CASE STUDY COMPARING CAPACITY ESTIMATES FROM ALTERNATIVE ANALYTICAL MODELS , 2003 .

[30]  Matthias SCHMIDT.  DECOMPOSITION OF A TRAFFIC FLOW MODEL FOR A PARALLEL SIMULATION , 2000 .

[31]  Sung-Do Chi,et al.  USING THE SES/MB FRAMEWORK TO ANALYZE TRAFFIC FLOW , 1997 .

[32]  René Rodríguez Zamora,et al.  Using de Bruijn Diagrams to Analyze 1d Cellular Automata Traffic Models , 2004, ACRI.

[33]  Gabriel A. Wainer,et al.  CD++: a toolkit to define discrete-event models , 2002 .

[34]  Pushkin Kachroo,et al.  Simulation study of multiple intelligent vehicle control using stochastic learning automata , 1997 .

[35]  Moshe Ben-Akiva,et al.  Game-Theoretic Formulations of Interaction Between Dynamic Traffic Control and Dynamic Traffic Assignment , 1998 .

[36]  Roland Chrobok,et al.  Simulation of the Autobahn Traffic in North Rhine-Westphalia , 2005 .

[37]  Dimitri Lefebvre,et al.  Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling , 2005, Simul. Model. Pract. Theory.

[38]  Iisakki Kosonen.  HUTSIM: SIMULATION TOOL FOR TRAFFIC SIGNAL CONTROL PLANNING , 1996 .

[39]  Dietrich Stauffer,et al.  Anual Reviews of Computational Physics VII , 1994 .