HRC-Team: A model-driven approach to formal verification and deployment of collaborative robotic applications
L Lestingi, S Longoni - 2016 - politesi.polimi.it
Collaborative robotic applications are becoming increasingly widespread as a result of the
Industry 4.0 phenomenon. This innovation, albeit instrumental in improving production lines …
Industry 4.0 phenomenon. This innovation, albeit instrumental in improving production lines …
Complementing testing of IEC61499 function blocks with model-checking
B Glatz, F Cleary, M Horauer… - 2016 12th IEEE …, 2016 - ieeexplore.ieee.org
IEC 61499 is a popular standard for distributed control systems. It uses a graphical,
application-centric design approach by composition of function blocks. After the design the …
application-centric design approach by composition of function blocks. After the design the …
Verifying IEC 61499 Applications
Previous chapters have described basic principles of using the IEC 61499 standard for
development of distributed control systems. Although certainly not trivial, the task of …
development of distributed control systems. Although certainly not trivial, the task of …