The TRain Workshop @ SEFM2005, Koblenz, Germany

September 5-6, 2005

Contents

• The TRain Grand Challenge
• Submissions
  • Reports: Theories and Tools
  • Reports: Applications
  • Positions: TRain Issues
  • By When, to Whom and How to Submit?
  
  
• TRain Workshop Organisers
• The TRain Workshop @ SEFM2005
  • Schedule DETAILED PROGRAMME NOW AVAILABLE
  • Registration
  
  
• The TRain Series of Workshops
• Please Study and Join the TRain Grand Challenge
• Publication

The TRain Grand Challenge

Before safety-critical software (and in general any software) can be designed, requirements must be formulated; before requirements can be formulated, the application domain must be understood. All other engineering branches build on theories of their own application domains: Newtonian mechanics provides the basis for automotive engineers; aerodynamics for aircraft designers; and hydrodynamics for ship designers. In the same way, software engineers developing software for rail applications must build on a theory of the railway domain. But there is no such theory.

TRain is a loosely knit group of international researchers and technologists who are interested in establishing a theory for transportation domains, specifically including railways. The scope of the workshop includes diverse models of railway facets, from rail nets and their control, to traffic and its control, from planning nets, timetables, train maintenance, and rostering to their monitoring. The goal of the workshop is to identify about five main topics to which diverse groups could apply their tools (ASM, B, CafeOBJ, CASL, Circus, CommUnity, CSP, CTP (Communicating Transaction Processes), Duration Calculi, Message and Live Sequence Charts, Petri Nets, RAISE, Statecharts, TLA+, VDM, Z, etc.) and to identify core theory elements.

Submissions

The TRain effort is in the process of encircling how to tackle its objectives and by which means. The lists of items following reflect a first attempt. Thus we welcome submissions in the following areas, but are open to submissions that contribute to our delineation process.

Reports: Theories and Tools

• descriptions of attempts to formalise the railway domain
• developments based on domain models
• tools for analysing these descriptions
• capabilities and limitations
• comparisons with other tools
• plans for extensions
• integration of tools
• challenges for new and existing theories and tools

Reports: Applications

• experiences of case studies in the railway domain
• scalability

Positions: TRain Issues

• theoretical issues
• levels of assurance
• interdisciplinary research
• suitable exemplars
• future technologies
• annotated bibliographies
• technical problems
• obstacles

By When, to Whom and How to Submit?

• Deadline: August 1, 2005
• Send, in triplicate, electronically:
  • Dines Bjørner, dines@bjorner.biz
  • Prof. Jim Woodcock, jim@cs.york.ac.uk
  • Martin Penicka, mp@fd.cvut.cz
• Send postscript or pdf format document electronically -- no page limitation, within reason

TRain Workshop Organisers

• Prof. Dines Bjørner, Denmark
  dines@bjorner.biz
• Prof. Jim Woodcock, University of York, UK
  jim@cs.york.ac.uk

The TRain Workshop @ SEFM2005

Schedule

Plans for the one and a half day TRain workshop @ SEFM2005 are, loosely, as follows:

• Monday 5 September 2005: Afternoon
• Tuesday 6 September 2005: Morning
• Tuesday 6 September 2005: Afternoon

Detailed programme now available.

Registration

Registration will be open together with registration for SEFM2005 conference. Follow the SEFM2005 website for details.

The TRain Series of Workshops

The TRain @ SEFM2005 is planned to be the third TRain Workshop. The second TRain Workshop takes place July 19 @ FM05. The first took place @ IFIP WCC2004 in Tolouse, August 26, 2004. TRain @ FM05 is a one day event. TRain @ SEFM2005 is a slightly longer event. We may make allowance for duplicate presentation of material at both workshops.

Please Study and Join the TRain Grand Challenge

• Click on TRain: http://www.railwaydomain.org

Publication

We plan to publish the proceedings, to include selected papers, and to base a survey article on the presented papers for both workshops and workshop discussion at TRain @ SEFM2005. Publisher, editors and date yet to be decided and information given by TRain @ SEFM2005.