B-PERFect - Applying the PERF Approach to B Based System Developments - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

B-PERFect - Applying the PERF Approach to B Based System Developments

Résumé

An independent safety assessment of railway software systems is performed by RATP (Régie Autonome des Transports Parisiens) for all safety-critical systems before their deployment in its network. Whenever possible, this activity is performed using the PERF approach (Proof Executed over a Retro-engineered Formal model). PERF is a methodology which handles formal verification of already developed software. This approach is applied to a variety of software systems, developed using languages such as SCADE, Ada or C. It provides an alternative verification that can be applied for the independent safety assessment of critical systems used by RATP. In this paper, we propose the B-PERFect method to generalize the application of the PERF approach for critical systems which are based on the B method. In particular, this paper focuses on transformation strategy from B language to the pivot language of PERF: HLL. HLL is a synchronous data-flow language equipped with formal verification techniques. The differences between B and HLL are pointed out and the translation process is presented in this regard.
Fichier principal
Vignette du fichier
halchin_24894.pdf (364.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02451007 , version 1 (23-01-2020)

Identifiants

  • HAL Id : hal-02451007 , version 1
  • OATAO : 24894

Citer

Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït-Ameur, Julien Ordioni. B-PERFect - Applying the PERF Approach to B Based System Developments. International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), Nov 2017, Pristoia, Italy. pp.160-172. ⟨hal-02451007⟩
56 Consultations
43 Téléchargements

Partager

Gmail Facebook X LinkedIn More