Home | News | Company | Activities | Sectors | Sale Assistance | Our Projects | Conferences | Our Products and Training | Our Values | Employment | Newsletter | Contacts | Site Map |

Ouragan Validation

  • Project start date: May 2008
  • Client: STS (Siemens Transportation System)
  • Duration: 1 year

Project Context

Ouragan Siemens Transportation System has developed an Onboard Automatic Pilot software, which is software positioned aboard a train which enables the latter to be piloted. Its main features are:

  • the train to be located on the track,
  • management of the various piloting modes (manual or automatic) of the train,
  • control of the train’s speed at any point along the track,
  • signals to be respected,
  • the necessary manoeuvres to be performed (e.g. turning around at the platform),
  • management of the various braking modes,
  • and management of communication with the ground.

In order to ensure the smooth running of this software, STS has made ClearSy responsible for its software analysis and validation. In this way these actions ensure that the latter is working properly and that it conforms to the functional specification.

Our Actions

Within the context of this project, ClearSy has participated in the software analysis and validation, in order to prevent any failures occurring which may impinge upon passenger safety. ClearSy has managed these activities based on:

  • the software’s B model
  • the Software Specification Dossier associated with the software

This project has involved:

  • the drafting of a document analysing the general formal design of the software product developed according to the formal B method, in order to ensure the coherence and completeness of the B model in relation to the needs contained in the Software Specification Dossier.
  • the drafting of a document presenting the analysis from the basic machines and the coding from the basic machines of the same software.
  • the drafting of a document describing the test cases necessary for security validation.
  • the creation of the test activity: writing and simulation of scenarios with the help of the environmental simulator.
  • the drafting of a document presenting the results of the functional tests carried out to cover the test cases from the former Book of Functional Tests, with the aim of providing analysis of this test activity.