Formal specification of safe manufacturing machines using the B method : application to a mechanical press - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-00120743 , version 1 (18-12-2006)

Identifiants

  • HAL Id : hal-00120743 , version 1

Citer

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⟩
225 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More