Formal specification of safe manufacturing machines using the B method : application to a mechanical press

Dominique Evrot 1, * Jean-François Pétin 1 Dominique Méry 2
* Auteur correspondant
2 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper deals with the development of manufacturing machinery subjected to strong dependability and safety properties. In this context, IEC 61508 standard recommends the use of formal methods to control the complexity of software intensive applications. This paper focuses on model refinement to ensure safety requirements traceability. A mechanical press case study illustrates a way to bridge the gap for using the B method within such an automation-oriented context.
Type de document :
Communication dans un congrès
IFAC. May 2006, Elsevier, pp.CDROM, 2006
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00120743
Contributeur : Jean-François Pétin <>
Soumis le : lundi 18 décembre 2006 - 09:56:20
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : hal-00120743, version 1

Collections

Citation

Dominique Evrot, Jean-François Pétin, Dominique Méry. Formal specification of safe manufacturing machines using the B method : application to a mechanical press. IFAC. May 2006, Elsevier, pp.CDROM, 2006. 〈hal-00120743〉

Partager

Métriques

Consultations de la notice

279