Development of Transportation Systems
Dines Bjørner · 2007
Road systems, railway systems, air traffic systems, and, for example, container vessel shipping, all share underlying abstractions such as transportation nets with hubs (road intersections, train stations, airports and harbours) and links (road segments, train tracks, air and sea lanes) and their states of being open or closed for certain flows of traffic across hubs and along links, etc. In this paper we shall first hint at an abstract formal model for such transportation and then show how it can be refined into models for road traffic, train traffic and air traffic. Then we likewise hint at how such, so-called domain models — which reflect only what there is ”out there”, in reality, before computing and communication — can be rigorously transformed into requirements for respective traffic monitoring and control systems. The paper concludes with a discussion of issues of development of the right systems, that is, the systems that customers (that is, transportation and traffic authorities) expect to receive,