Project Description

The project is an open-ended project. In general it focuses on methodological issues: how to understand the domain, how to formulate requirements to computing applications, how to develop the software (indeed overall computing systems) architecture, and similar for underlying (distributed, concurrent) program structures.

• Domain theories -- Mathematical models (in RSL) of:
  • Railway nets: Lines, stations; tracks, units; linear, switches, crossovers, etc.
  • Railway signalling: Open & closed paths and routes, signals, etc.
  • Timetables
  • Train traffic: Scheduling and rescheduling of trains , etc.
  • Rolling stock: Monitoring, control, etc.
  • Marshalling: Planning, execution, etc.
  • Passengers: Reservations, ticketing, etc.
  • Freight: Reservation, loading, unloading, tracking, etc.
  • etc.
• Requirements theories -- Mathematical models (in RSL) of:
  • Net development: New net features (design), upgrade, downsizing, maintenance, etc.
  • Train dispatch: Running maps (tog grafer)
  • Ticketing: Inquiries, reservation, etc.
  • etc.
• Software Architectures -- Mathematical models (in RSL) of:
  • Software architectures for individually required sub-systems
  • Software architecture of overall, railway infrastructure computing support system -- contained one or more of the required sub-systems
• Program Organisation / Program Structures -- Mathematical models (in RSL) of:
  • Concurrency
  • Distribution
  • Modularity
  • etc.