Title: Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems

Authors: Christoph Sunder, Valeriy Vyatkin

Addresses: Automation and Control Institute, Vienna University of Technology, Gusshausstrasse 27-29/376, 1040 Vienna, Austria. ' Department of Electrical and Computer Engineering, The University of Auckland, Private bag 92019, Auckland, New Zealand

Abstract: Formal verification of intelligent mechatronic systems needs to incorporate a detailed description of the system architecture in order to provide sufficient results. Especially: the model of function blocks with precise semantics; real-time behaviour has to be included. This paper focuses on the IEC 61499 control applications for automation objects, the building blocks for intelligent mechatronic systems. A comprehensive approach for their formal description of control behaviour incorporating also the operating system policy and physical time as parameter for real-time behaviour is given on the basis of Net Condition/Event Systems for a typical control device configuration.

Keywords: intelligent mechatronics; mechatronic components; temporal specification; functional specification; formal description; net condition systems; net event systems; IEC 61499; control device configuration; embedded controllers; embedded systems.

DOI: 10.1504/IJMMS.2009.024357

International Journal of Mechatronics and Manufacturing Systems, 2009 Vol.2 No.1/2, pp.215 - 235

Published online: 01 Apr 2009 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article