Object-oriented design of automated highway simulations using the SHIFT programming language

SmartAHS is a specification, simulation, and evaluation framework for modeling, control and evaluation of automated highway systems (AHS). SmartAHS is developed using SHIFT, a new programming language with simulation semantics. This paper discusses the requirements that have led to the development of SmartAHS and SHIFT, summarizes the main characteristics of the SHIFT language, and illustrates how the object-oriented features of SHIFT are used in the development of the SmartAHS framework.