Title :
Defining models of urban traffic using the TSC tool
Author :
Tártaro, Mariana Lo ; Torres, César ; Wainer, Gabriel
Author_Institution :
Fac. de Ciencias Exactas y Naturales, Buenos Aires Univ., Argentina
Abstract :
ATLAS is a specification language defined to outline city sections as cell spaces. A static view of the city section to be analyzed can be defined and a modeler is able to define complex traffic models in a simple fashion. A compiler for this specification language (called TSC) was built. The language implements the ATLAS constructions as Cell-DEVS models. The rule generation for describing the traffic behavior is based on macro templates, entitling changes in the model implementation in a flexible way. The formal specification avoids a high number of errors fin the developed application, and the problem solving time is highly reduced
Keywords :
digital simulation; road traffic; specification languages; town and country planning; ATLAS; TSC; city sections; compiler; problem solving; rule generation; specification language; traffic models; urban traffic analysis; Analytical models; Cities and towns; Delay; Error correction; Formal specifications; Problem-solving; Specification languages; Timing; Traffic control; Vehicles;
Conference_Titel :
Simulation Conference, 2001. Proceedings of the Winter
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-7307-3
DOI :
10.1109/WSC.2001.977414
