> Congress /Final Programme / Topical days / Top11

Top11: TRaIn: The Railway Domain
A "Grand Challenge" for Computing Science: Towards a Domain Theory for Transportation

Thursday 26 August 2004

Room

Mermoz

Organiser

Dines Bjørner (National U. Singapore, Singapore)

Programme

10h30 - 12h: Rationale, Practice and Theory

Chair: Wolfgang Reif (Augsburg U., Germany)

The Grand Challenge - FAQs of the R&D of a Railway Domain Theory - Dines Bjørner (National U. Singapore, Singapore)

Reusing Formal Models - Domain Capitalization via Formalization - Denis Sabatier (Clearsy, France)

Refinement-Based Approach to Calculating a Fault-Tolerant Railway Signal Device - Alistair A. McEwan, Jim Woodcock (U. Kent, UK)

13h30 - 15h: Railway Application, Present and Future

Chair: Alistair A. McEwan (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