Conference Papers Year : 2006

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

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.

Domains

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00120743 , version 1

Cite

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⟩
313 View
0 Download

Share

  • More