InDETER-1 is a prototype in-vehicle assessment system for detecting traffic law violations and sending auditory or visual tutoring messages to the driver. InDETER-1 was developed to get insight in the specification and design of a driving assessment system and for investigating the effects of tutoring on driver behaviour. It is a real time system which could be used in a driving simulator; information about the state of the car and its environment was simulated by supplying the formal specification by the simulator. During the development of the system a formal specification language has been used as a tool for analyzing the system's requirements. An account is given of the analysis (in natural language). This included the detailed definitions that were used for detecting violations, specification of the tutoring system and a global description of the implementation of InDETER-1. Future (prototype) assessment systems will be based on this. It is concluded that a mathematical exact interpretation of traffic legislation is not always that obvious, more research has to be done if a wider range of violations is to be detected.
Abstract