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