Using timed automata for the verification of IEC 61499 applications

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 37, Issue 18, 2004, Pages 375-380

  Stanica, Marius ^a   Guéguen, Hervé ^a  

^a IETR   (France)

Author keywords

Functional blocks; Iec 61499; Timed automata; Verification

Indexed keywords

DISCRETE EVENT SIMULATION; DISTRIBUTED PARAMETER CONTROL SYSTEMS; ROBOTS; VERIFICATION;

DISTRIBUTED CONTROL; FUNCTIONAL BLOCK; IEC 61499; IEC 61499 FUNCTION BLOCKS; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 84996600839     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)30775-9     Document Type: Conference Paper

References (10)

1. Faure, J.M., C. Schnakenbourg and J.J. Lesage (2002). Towards IEC 61499 function blocks diagram verification, Conference on System, Man and Cybernetics, SMC 2002, Hammamet (Tunisie), CRRom paper n°TAlC2.
2. Gueguen, H. and N. Bouteille (2000). Extension of Grafcet to structure behavioural specifications. Control Engineering Practice. Vol 9/7 pp 743756.
3. IEC TC65 WG6 (2000). Function Blocks for Industrial Process Measurements and Control Systems. Voting Draft.
4. IEC TC65 WG6 (2003). Function Blocks for Industrial Process Measurements and Control Systems. Committee Draft for Vote.
5. Larsen, K. G., P. Pettersson and W. Yi (1997). UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer, volume 1, issue 1+2, pp 134-152.
6. Leguernic P, M. Leborgne, T Gautier and C. Lemaire (1991) Programming real -time applications with Signal. Proceedings of the IEEE, Vol. 79, N 9 pp 1321-1336.
7. Mader A. and H. Wupper (2000). What is the method in applying formal methods to PLC applications? ADPM2000, Hybrid Dynamical Systems, pp 165-170.
8. Marce, L. and P., Le Pare, (1992). Defining the Semantics of Languages for Programmable Controllers with Synchronous Processes. WRTP 92.
9. Vyatkin, V. and H.M., Hanisch (2000). Modelling of IEC 61499 Function Blocks. A clue to their verification. 11th Workshop on Supervising and Diagnostics of Machining Systems.
10. Wurmus, H. (2002). Cnet - Komponentenbasierter Entwurf verteilter Steuerungsysteme mit Petri- Netzen. PhD Dissertation, Hannover.