Search: WFRF:(Martinez Martinez Luis)
> (2005-2009) >
Formal validation o...
Formal validation of intelligent-automated production systems : Towards industrial applications
-
- Hanisch, Hans Michael (author)
- Department of Engineering Sciences, Martin Luther University Halle-Wittenberg
-
- Lobov, Andrei (author)
- Institute of Production Engineering, Tampere University of Technology
-
- Lastra, José Luis Martínez (author)
- Institute of Production Engineering, Tampere University of Technology
-
show more...
-
- Tuokko, Reijo O. (author)
- Institute of Production Engineering, Tampere University of Technology
-
Vyatkin, Valeriy (author)
-
show less...
-
(creator_code:org_t)
- 2006
- 2006
- English.
-
In: International Journal of Manufacturing Technology and Management (IJMTM). - 1368-2148 .- 1741-5195. ; 8:1-3, s. 75-106
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database