Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499

Duc Do Tran, Kim Grüttner, Frank Oppenheimer, Wolfgang Nebel. Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020. pages 156-163, IEEE, 2020. [doi]

Authors

Duc Do Tran

This author has not been identified. Look up 'Duc Do Tran' in Google

Kim Grüttner

This author has not been identified. Look up 'Kim Grüttner' in Google

Frank Oppenheimer

This author has not been identified. Look up 'Frank Oppenheimer' in Google

Wolfgang Nebel

This author has not been identified. Look up 'Wolfgang Nebel' in Google