Safety critical software construction using CPN modeling and B method's proof - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Safety critical software construction using CPN modeling and B method's proof

Résumé

Meeting the strict safety requirements in critical software development is today crucial for the safety-related industrial environment, especially railways. To be able to prove that all safety properties are captured in the system requirements and software specifications, as well as that the final software product satisfies all specifications, a formal approach is the most convenient. Indeed, the use of formal means of description in the development process was highly recommended by the CENELEC standard. Accordingly, this paper presents by means of a level-crossing gate controller case study, the practical use of Colored Petri Nets transformation into B abstract machines for safety critical software development.
Fichier principal
Vignette du fichier
doc00020271.pdf (394.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01263465 , version 1 (27-01-2016)

Identifiants

  • HAL Id : hal-01263465 , version 1

Citer

Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul. Safety critical software construction using CPN modeling and B method's proof. SESA 2014, Software Engineering and Systems Architecture, Dec 2014, Tétouan, Morocco. 4p. ⟨hal-01263465⟩
59 Consultations
115 Téléchargements

Partager

More