Testing and validation of safety logic in the virtual environment-Reference-Cited by-同舟云学术

Testing and validation of safety logic in the virtual environment

Published:2019-08 Issue: Volume:26 Page:1-9
ISSN:1755-5817
Container-title:CIRP Journal of Manufacturing Science and Technology
language:en
Short-container-title:CIRP Journal of Manufacturing Science and Technology

Author:

Khan Adnan,Falkman Petter,Fabian Martin^ORCID

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering

Reference32 articles.

1. Virtual Commissioning of Automated Systems;Liu,2012

2. Z. Liu, C. Diedrich, N. Suchold, https://www.intechopen.com/books/automation/virtualcommissioningofautomated-systems, Virtual Commissioning of Automated Systems, INTECH Open Access Publisher, 2012.

3. ABB, ABB Reduces Project Cost for Drives Through Virtual Commissioning by 25 percent, http://www.abb.com/cawp/seitp202/0f58dfe7b53b6829c12581d90064cf06.aspx.

4. Virtual Commissioning of Manufacturing Systems a Review and New Approaches for Simplification;Hoffmann;24th European Conference on Modelling and Simulation (ECMS 2010),2010

5. Automatic Model Generation for Virtual Commissioning Based on Plant Engineering Data;Mathias;IFAC Proceedings,2014

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Validation of Industrial Automation Systems Using a Timed Model of System Requirements;IEEE Transactions on Control Systems Technology;2023-01

2. Interactive formal specification for efficient preparation of intelligent automation systems;CIRP Journal of Manufacturing Science and Technology;2022-08

3. The Current and Future Challenges for Virtual Commissioning and Digital Twins of Production Lines;Advances in Transdisciplinary Engineering;2022-04-20

4. On testing and automatic mending of safety PLC code;CIRP Journal of Manufacturing Science and Technology;2021-11