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...

Celý popis

Podrobná bibliografie

Vydáno v:	Formal Methods Applied to Complex Systems: Implementation of the B Method s. 349 - 390
Hlavní autoři:	Lamy, Pascal, Charpentier, Philippe, Petin, Jean‐François, Evrot, Dominique
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:	B method formal methods INRS model‐checking verification techniques programmable logic controllers (PLC) semi‐formal models
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!