DocumentCode :
2804224
Title :
Architecture for automation system development based on IEC 61499 standard
Author :
Vyatkin, Valeriy ; Karras, Sirko ; Pfeiffer, Thomas
Author_Institution :
Dept. of Electr. & Comput. Eng., Auckland Univ., New Zealand
fYear :
2005
fDate :
10-12 Aug. 2005
Firstpage :
13
Lastpage :
18
Abstract :
This paper introduces an idea of a validatable architecture for software intensive industrial automation systems. The validation means will be provided through the formal modeling of automation systems, including both modeling of uncontrolled behavior of the equipment and modeling of the control system. This will be achieved through the facilitated reuse and integration of basic models to the models of complex systems. The validation will be empowered by advanced formal verification techniques combined with more usual testing by simulation. The discussed architecture bases on the latest developments in automation such as IEC 61499 standard, on the latest trends in model-based software engineering, e.g. UML, and on modular modeling concepts of condition/event systems.
Keywords :
IEC standards; control engineering computing; factory automation; formal verification; software architecture; IEC 61499 standard; condition-event system; formal modeling; formal verification; model-based software engineering; modular modeling concepts; software intensive industrial automation system; Automatic control; Automation; Computer architecture; Computer industry; Control system synthesis; Electrical equipment industry; Formal verification; IEC standards; Standards development; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on
Print_ISBN :
0-7803-9094-6
Type :
conf
DOI :
10.1109/INDIN.2005.1560345
Filename :
1560345
Link To Document :
بازگشت