Feasibility of the Use of Formal Methods for Manufacturing Systems
In the manufacturing domain, if programmable logic controllers (PLC) are used to manage safety functions, these systems need to be more reliable when faced with software errors. To estimate the applicability of formal methods for the safety of the control systems of machines, the Institut National d...
Uloženo v:
| Vydáno v: | Formal Methods Applied to Complex Systems: Implementation of the B Method s. 349 - 390 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Hoboken, NJ, USA
John Wiley & Sons, Inc
26.06.2014
|
| Témata: | |
| ISBN: | 1848217099, 9781848217096 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | In the manufacturing domain, if programmable logic controllers (PLC) are used to manage safety functions, these systems need to be more reliable when faced with software errors. To estimate the applicability of formal methods for the safety of the control systems of machines, the Institut National de Recherche et de Sécurité (INRS) has begun a research program which aims to develop the application software of a machine using these methods. The chapter presents the different stages of the development, from specification to validation, of a software package installed on a safety PLC with two different methods: the B method and a method which combines semi‐formal models and model‐checking verification techniques. The properties may then be formally verified a posteriori, using a proof tool. The chapter concludes with some remarks concerning the applicability of these methods for the creation of software implemented on a safety PLC in a “machines” industrial context. |
|---|---|
| ISBN: | 1848217099 9781848217096 |
| DOI: | 10.1002/9781119002727.ch12 |