Title :
Towards a formal engineering framework for process automation
Author :
Lamboley, P. ; Petin, J.F. ; Mery, D.
Author_Institution :
Fac. des Sci., Nancy Res. Centre of Autom. Control, Vandoeuvre, France
Abstract :
This paper describes an attempt towards a formal modelling framework for process automation aiming at facing the reusability of the engineering studies on industrial systems. As hypotheses, we consider that such a framework should be based on concepts issued from the system theory to master the functional, structural and behavioural studies carried out in process automation. Formalisation of the basic elements involved in these system views and their interaction should lead to a formal design pattern for process system automation. This work is a first step towards such a formal design pattern using the set-based B method according to generic guidelines issued from the system theory. The feasibility of the approach is demonstrated using an industrial case study: a thermal power plant. Benefits are shown in terms of reusability of system formal specifications for control design
Keywords :
formal specification; process control; system theory; systems re-engineering; thermal power stations; formal engineering; formal specifications; industrial systems; process automation; reusability; system theory; thermal power plant; Automatic control; Automation; Control systems; Electrical equipment industry; Industrial control; Power engineering and energy; Power generation; Process control; Production systems; Systems engineering and theory;
Conference_Titel :
Emerging Technologies and Factory Automation, 1999. Proceedings. ETFA '99. 1999 7th IEEE International Conference on
Conference_Location :
Barcelona
Print_ISBN :
0-7803-5670-5
DOI :
10.1109/ETFA.1999.813121