Defining models of urban traffic using the TSC tool
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 langua...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | CONF |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_02750708_v2_n_p1056_Tartaro |
Aporte de: |
Sumario: | 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 in the developed application, and the problem solving time is highly reduced. |
---|