Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application-Reference-Cited by-同舟云学术

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

Published:2017-05-30 Issue:1 Volume:60 Page:63-84
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Newell Josh^ORCID,Pang Linna,Tremaine David,Wassyng Alan,Lawford Mark

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/article/10.1007/s10817-017-9415-7/fulltext.html

Reference21 articles.

1. Blech, J.O., Biha, S.O.: On formal reasoning on the semantics of PLC using Coq. CoRR abs/1301.3047 (2013)

2. Darvas, D., Majzik, I., Blanco Viñuela, E.: Formal Verification of Safety PLC Based Control Software, pp. 508–522. Springer, Cham (2016)

3. DO-178C: Software Considerations in Airborne Systems and Equipment Certification. Special Committee 205 of RTCA (2011)

4. IEC: 61131-3 Ed. 3.0 en:2013: Programmable Controllers—Part 3: Programming Languages. International Electrotechnical Commission (2013)

5. IEEE 7-4.3.2: Standard for Digital Computers in Safety Systems of Nuclear Power Generating Stations (Revision of IEEE Std 7-4.3.2-2003). The Institute of Electrical and Electronics Engineers (IEEE) (2010)

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

1. A Binary Level Verification Framework for Real-Time Performance of PLC Program in Backhaul/Fronthaul Networks;ICC 2024 - IEEE International Conference on Communications;2024-06-09

2. Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow;IEEE Open Journal of the Industrial Electronics Society;2023

3. A Metamorphic Testing Approach Based on Normal Function Tables;2022 8th Annual International Conference on Network and Information Systems for Computers (ICNISC);2022-09

4. Translation of continuous function charts to imperative synchronous quartz programs;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20

5. Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications;The Computer Journal;2021-10-23