|
> Congress /Advance Programme / Topical days / Top11
Top11: TRaIn: The Railway Infrastructure< A Grand Challenge for Computing Science: Towards a Domain Theory for Transportation
Thursday 26 August 2004
Organiser
Dines Bjørner (National U. Singapore, Singapore),
bjorner@comp.nus.edu.sg
Overview
Software is being developed for the partial or full automation of many forms of railway planning and operation. Increasingly these software packages could benefit significantly from being interoperable - and also more properly reflecting other railway supporting technologies.
TRain stands for a worldwide consortium of computing science groups and railway engineering centers. The aim of TRain is to establish a shared, formal theory of the railway domain. A theory which can be the basis for co-design of railway solutions involving software, IT, electro-mechanics, people, etc.
The railway domain theory is to be seen as a set of co-ordinated, mathematical models of eventually all aspects of railway systems.
As physics is to mechanical, electrical, construction and chemical engineering, TRain could be to the engineering of railway systems. We need to establish computing science (&c.) laws of railways akin to Kepler's, Newton's, etc.'s laws.
Programme
 10h30 - 12h:
Rationale, Practice and Theory
Wolfgang Reif (Augsburg U., Germany)
The Grand Challenge - FAQs of the R&D of a Railway Domain Theory - Dines Bjørner (National U., Singapore)
Using B to Develop Railway Software: 15 years of experience - Denis Sabatier (Clearsy, France)
The Need for Integrated Formal Methods in specifying models of railways - Jim Woodcock (U. Kent, UK)
13h30 - 15h:
Railway Application, Present and Future
Chair: Jim Woodcock (U. Kent, UK)
Management and Operation of Railways - Martin Penicka (Czech Technical U., Czech Republic)
Formosa: Combining safety analysis and formal methods - Wolfgang Reif (Augsburg U., Germany)
CyberRail and the TRaIn R&D - Takahiko Ogino (RTRI, Japan)
15h30 - 17h:
TRain and Transportation Engineering
Chair: Dines Bjørner (National U. Singapore, Singapore)
A Stochastic Framework for TRain Domain Theories - Ted C. Giras (U. Virgina, USA)
TRain: Transportation Engineering meets Computing Science - Eckehard Schnieder (Brunswick Technical U., Germany)
Panel: The TRain Grand Challenge ? Presentation of Consortium, Discussion and Questions - All Speakers
|
