• LinkedIn

SIG4 Engineering

  • SIG4 Engineering is a company offering highly qualified services in the SIL4 railway signaling industry.
MENU
  • Home
  • Expertises
  • Training
  • News
  • About us
Image1

RATP and the automation strategy

17/09/2024 Comments (0) News

SIG4 Engineering collaborates with experts from Prover on “Integral Formal Proof” activities implemented and supported by RATP.

This work aims to increase confidence in the safety of certain critical functions deployed within the SAET systems (L14, L1, L4) and OCTYS (L3, L5, L9, L6, L10, L12). The functions under study include: train tracking, anti-collision, and localization. The analysis involves both an intellectual component (expertise) and a computer-assisted component. “Model-checking” tools assist the team members in discovering any potential non-conformities, which are then reported to the suppliers, analyzed, and either mitigated or corrected. This work contributes to advancing the state of the art regarding the use of formal methods in the safety industry. To date, the technology has proven its effectiveness, and the next step is to industrialize the approach and replicate the success with minimal effort.

News RATP and the automation strategy

Comments are closed.

Latest News

  • RATP and the automation strategy
  • Alstom and the City of Perth in Australia
  • SNCF and the Marseille-Ventimiglia Line
  • Popular
  • Latest
  • Image1

    RATP and the automation strategy

    17/09/2024

    rail alps alamy

    SNCF and the Marseille-Ventimiglia Line

    17/09/2024

    08042024 Alstom sucessfully delivers first C Series train into passenger service for Western Australia Railcar Program 2

    Alstom and the City of Perth in Australia

    17/09/2024

  • Image1

    RATP and the automation strategy

    17/09/2024

    08042024 Alstom sucessfully delivers first C Series train into passenger service for Western Australia Railcar Program 2

    Alstom and the City of Perth in Australia

    17/09/2024

    rail alps alamy

    SNCF and the Marseille-Ventimiglia Line

    17/09/2024

  • LinkedIn

SIG4 Engineering is a company offering highly qualified services in the SIL4 railway signaling sector.

Legal Documents

  • Privacy Policy
  • Legal Notice

Menu

  • Home
  • Expertises
  • Training
  • News
  • About us
All rights reserved © SIG4 Engineering 2024 - Developed by Kll Solutions
Manage consent

To provide the best experiences, we use technologies such as cookies to store and/or access device information. Consenting to these technologies will allow us to process data such as browsing behavior or unique IDs on this site. Failure to consent or withdrawal of consent may adversely affect certain features and functions.

Functional Toujours activé
Technical access or storage is strictly necessary for the legitimate purpose of enabling the use of a specific service explicitly requested by the subscriber or user, or for the sole purpose of transmitting a communication over an electronic communications network.
Préférences
L’accès ou le stockage technique est nécessaire dans la finalité d’intérêt légitime de stocker des préférences qui ne sont pas demandées par l’abonné ou l’internaute.
Statistics
Storage or technical access used exclusively for statistical purposes. Le stockage ou l’accès technique qui est utilisé exclusivement dans des finalités statistiques anonymes. En l’absence d’une assignation à comparaître, d’une conformité volontaire de la part de votre fournisseur d’accès à internet ou d’enregistrements supplémentaires provenant d’une tierce partie, les informations stockées ou extraites à cette seule fin ne peuvent généralement pas être utilisées pour vous identifier.
Marketing
Technical access or storage is necessary to create user profiles in order to send advertisements, or to track the user on a website or on several websites with similar marketing purposes.
Gérer les options Gérer les services Gérer {vendor_count} fournisseurs En savoir plus sur ces finalités
View preferences
{title} {title} {title}