Application name:

CombiCom

Organisation:

Cap Gemini Nederland B.V., Utrecht, The Netherlands.

Method:

VDM++

Tools:

The VDM++ Toolbox

Domain:

Railway systems

Period:

1992 - 1993

Size:

About 3 man-months for the construction of the formal specification in VDM++.

Description:

CombiCom is a system which monitors the movements of train wagons across Europe (in the CombiCom project a pilot corridor Rotterdam (The Netherlands) - Cologne (Germany) - Verona (Italy) was used) and reports on delays. The system has a distributed character, it was formally specified in VDM++ and implemented in Ada.

Conclusions:

See the publication below.

Publications:

"CombiCom: Tracking and Tracing Rail Traffic using VDM++". Eugene H. Durr, Nico Plat and Michiel de Boer. In: Applications of Formal Methods, Michael G. Hinchey and Jonathan P. Bowen (editors). Prentice Hall International Series in Computer Science. To appear, September 1995.

Contact:

Name:	Nico Plat
Organisation:	West Consulting B.V.
Address:	P.O. Box 3318 2601 DH Delft
Country:	The Netherlands
Phone number:	+13 (15) 2191600
Fax:	+13 (15) 2147889
E-mail:	nico@west.nl

© copyright 2004 | Formal Methods Europe