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]

@inproceedings{TranGON20,
  title = {Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499},
  author = {Duc Do Tran and Kim Grüttner and Frank Oppenheimer and Wolfgang Nebel},
  year = {2020},
  doi = {10.1109/ETFA46521.2020.9212174},
  url = {https://doi.org/10.1109/ETFA46521.2020.9212174},
  researchr = {https://researchr.org/publication/TranGON20},
  cites = {0},
  citedby = {0},
  pages = {156-163},
  booktitle = {25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-8956-7},
}