 |
Patil S., Bhadra S., Vyatkin V., “Configurable non-determinism in a closed-loop modelling and verification framework for embedded control systems”, IEEE International Symposium on Industrial Electronics, IECON’11, Melbourne, Australia, November, 2011 | |
|
|
V. Dubinin, V. Vyatkin, Refactoring
of Execution Control Charts in Basic Function Blocks of the IEC 61499
Standard, IEEE Transactions on Industrial Informatics,
2009, doi: 10.1109/TII.2009.2033051 Keywords: Distributed Automation, IEC 61499, Software Engineering, Automatic transformations of programs, Graph grammars |
|
|
|
C. Suender, V. Vyatkin and A. Zoitl, “Formal
Validation of Downtimeless System Evolution in Embedded Automation
Controllers”, ACM Transactions on Embedded Control Systems
(TECS), 2011, accepted Keywords: Distributed automation, IEC 61499, Reconfiguration on the fly, Software Engineering, Automatic transformations of programs, Formal modelling, NCES, Visual verification framework ViVe, SESA |
|
|
|
Vyatkin
V, H.-M. Hanisch, C. Pang, J.
Yang: "Application of Closed-Loop
Modelling in Integrated Component Design and Validation of Manufacturing
Automation",IEEE
Transactions on Systems, Machine and Cybernetics - C, No.1, vol. 39,
2009, pp. 17-28 |
|
|
|
L.H. Yoong, P.S. Roop, V. Vyatkin, Z. Salcic,
'A
Synchronous Approach for IEC 61499 Function Block Implementation',
IEEE Transactions on Computers, vol. 58(12), 2009, pp. 1599-1614, doi:
10.1109/TC.2009.128 |
|
|
|
V. Dubinin, V. Vyatkin, "On Definition of a Formal Semantic
Model for IEC 61499 Function Blocks", EURASIP Journal of
Embedded Systems,
vol. 2008, Article ID 426713, 10 pp., 2008. doi:10.1155/2008/426713 Keywords: Semantic problems, Execution models, Formal mathematical model, Sequential model, Parallel model, Synchronous execution, Cyclic model, Industrial automation software |
|
|
corrected version |
V. Vyatkin, V. Dubinin, Ferrarini, L.M., Veber C. 'Alternatives for Execution Semantics of IEC61499', 5th IEEE Conference on Industrial Informatics (INDIN’2007), Proc., pp. , Vienna, 2007 | |
|
|
V. Dubinin, V. Vyatkin, 'Towards a Formal Semantics Of IEC1499 Function Blocks', 4th IEEE Conference on Industrial Informatics (INDIN06), Singapore, 2006 |
|
|
C. Suender, V. Vyatkin, B. Favre-Bulle, "Proving Feasibility and Estimating Parameters of Dynamic Reconfiguration in IEC 61499 Controllers using Formal Modelling", International Journal of Mechatronics and Manufacturing Systems (IJMMS), 2008 |
|
|
|
Vyatkin, V., Hanisch, H. M. 'Verification of Distributed Control Systems in Intelligent Manufacturing',
Journal of International Manufacturing,
14,
(1), p. 123-136, 2003 Keywords: Distributed automation, IEC 61499, Formal verification, Model-checking, NCES, VEDA, SESA |
|
|
|
V. Dubinin, V. Vyatkin,
'Using Prolog
for
Modelling and Verification
of IEC 61499 Function Blocks
and Applications', 11th IEEE
Conference on Emerging Technologies and Factory Automation (ETFA 2006),
Proceedings,
|
|
|
|
C. Pang, V. Vyatkin, 'Automatic Model Generation of IEC 61499 Function Block Using Net Condition/Event Systems', 6th IEEE Conference on Industrial Informatics (INDIN’08), Seoul, Korea, July 2008 | |
|
|
V. Vyatkin, G. Bouzon , 'Timing Diagrams as
Visual Specifications in Verification of Industrial Automation
Controllers', EURASIP Journal of Embedded Systems,
2007,
vol. 2008, Article ID 251957, 9 pp, 2008. doi:10.1155/2008/251957 Keywords: Distributed systems, Formal verification, Model-checking, NCES, Specification, TDSL |
|
|
|
Hanisch, H. M., Lobov, A., Martinez
Lastra, J. L., Tuokko, R., Vyatkin, V. 'Formal Validation of Intelligent Automated Production Systems towards Industrial Applications',
International Journal of Manufacturing Technology and Management,
8,
(1), pp. 75-106, 2006 Keywords: Industrial automation, PLC, Formal verification, Closed-loop modelling, Model-checking, NCES, FlexLink Lifter |
|
|
|
C. Sünder, H. Rofner, V. Vyatkin, and B. Favre-Bulle, 'Formal description of IEC 61499 control logic with real-time constraints', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. , Vienna, 2007 | |
|
|
C. Pang and V. Vyatkin, 'Formal modelling of IEC61499 systems following the Sequential Hypothesis', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. , Vienna, 2007 | |
|
|
Vyatkin V., 'Modelling and execution of reactive
function block systems with Condition/Event nets', 4th IEEE
Conference on Industrial Informatics (INDIN 2006), Proceedings,
|
|
|
|
Hanisch, H. M., Vyatkin, V., 'Modelling and Verification of Distributed
Control Systems',
International conference "Design, Analysis, and
Simulation of Distributed Systems,
DADS'2005,
San Diego,
April, 2005 |
|
|
|
Vyatkin, V., Hanisch, H.M., 'Re-use in Formal Modeling and Verification of
Distributed Control Systems',
10th IEEE Conference on Emerging
Technologies and Factory Automation (ETFA'05),
ETFA 2005,
Catania, Italy,
September, 2005 |
|
|
|
Vyatkin, V., Hanisch,
H. M., 'Modeling of IEC 61499 function blocks - a clue to their
verification',
XI
International Workshop on Supervising and Diagnostics of Machining
Systems,
Proceedings,
Karpacz,
March,
2000 |
|
|
|
Vyatkin, V., Hanisch,
H.M., STARKE, P., ROCH, S., 'Formalisms for verification of discrete
control applications on example of IEC1499 function blocks',
"Verteilte Automatisierung" (Distributed Automation),
Proceedings,
Magdeburg, Germany,
March,
2000 |
|
|
|
Vyatkin, V., Hanisch,
H.M., 'Practice of Modeling and Verification of Distributed Controllers
using Signal Net Systems',
International Workshop on Concurrency, Specification and Programming,
Proceedings,
Berlin, Germany,
October, 2000 |
|
|
|
V. Vyatkin, H.-M. Hanisch, 'A modeling approach for verification of IEC1499 function blocks using Net Condition/Event Systems', IEEE conference on Emerging Technologies in Factory Automation (ETFA'99), Proceedings, pp. 261-270, Barcelona, Spain, September, 1999, ISBN 0-7803-5670-5 |
© 2007-2010 This document authored, composed and maintained by: Valeriy V. Vyatkin All rights reserved