Formal validation of intelligent-automated production systems: towards industrial applications

Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko and Valeriy Vyatkin

International Journal of Manufacturing Technology and Management, 2006, vol. 8, issue 1/2/3, 75-106

Abstract: This paper introduces a framework for formal modelling and validation of automation systems destined to be used directly by control engineers. The framework is based on a modelling formalism of Net Condition/Event Systems (NCES), which is graphical, modular and typed. This allows for the modelling of realistic hierarchically organised automation systems in a closed plant-controller loop. The framework consists of methodologies and tools, which enable formal analysis of automation systems. The framework is to be used for the improvement of safety characteristics, reliability and robustness of such systems by means of prediction of potential faults and deadlocks.

Keywords: formal verification; intelligent industrial automation; flexible manufacturing; programmable logic controllers; PLCs; net condition/event systems; NCES; ladder logic; flow charts; modeling; validation; plant control; closed-loop control; safety; reliability; robustness; fault prediction; deadlock; distributed control. (search for similar items in EconPapers)
Date: 2006
References: Add references at CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.inderscience.com/link.php?id=8802 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijmtma:v:8:y:2006:i:1/2/3:p:75-106

Access Statistics for this article

More articles in International Journal of Manufacturing Technology and Management from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().