Formal specification of MIXIC 1.1 and the Traffic Performance Module
This formal specification of MIXIC 1.1 (Microscopic Module for Simulation of Intelligent Cruise Control) in VDM (Vienna Development Method) contains a description of the datastructures and the operations performed on those datastructures of the program MIXIC. MIXIC is a program that simulates motorway traffic at a vehicle/driver level ; it has to enable the study of the impacts of intelligent cruise control (ICC) on a homogeneous motorway stretch.
- Datum rapport
- 1 januari 1994
- Auteur
- G.F. Zegwaard, R.T. van Katwijk; TNO, Centre for Infrastructure, Transport and Regional Development
- Uitgever
- TNO, INRO.
- Annotatie
-
127 p.
Commissioned by the Ministry of Transport, Public Works and Water Management, Rijkswaterstaat (RWS), Transport Research Centre = [Adviesdienst Verkeer en Vervoer (AVV) ]
Project manager S.A. Smulders - Documentnummer
- 73369