An Executable Model for an Intelligent Vehicle Control System

An Abstract State Machine (ASM) is a mathematical model of the system's evolving, runtime state. ASMs can be used to faithfully capture the abstract structure and step-wise behaviour of any discrete systems. The authors present a machine-executable model for an intelligent vehicle control system, implemented in the specification language AsmL. Executable specifications are descriptions of how software components work. The mathematical background for the intelligent control of vehicles is represented by the stochastic automata. A stochastic automaton can perform a finite number of actions in a random environment. When a specific action is performed, the environment responds by producing an environment output that is stochastically related to the action. This response may be favourable or unfavourable.