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
* Corresponding author
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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00120743
Contributor : Jean-François Pétin <>
Submitted on : Monday, December 18, 2006 - 9:56:20 AM
Last modification on : Thursday, January 11, 2018 - 6:19:52 AM

Identifiers

  • 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. May 2006, pp.CDROM. ⟨hal-00120743⟩

Share

Metrics

Record views

285