Safety assurance of an industrial robotic control system using hardware/software co-verification-Reference-Cited by-同舟云学术

Safety assurance of an industrial robotic control system using hardware/software co-verification

Author:

Murray Yvonne,Sirevåg Martin,Ribeiro Pedro^ORCID,Anisi David A.^ORCID,Mossige Morten

Funder

Royal Academy of Engineering

Science Foundation Ireland

University of Agder Centre for Research-based Innovation

Norges Forskningsråd

Engineering and Physical Sciences Research Council

Publisher

Elsevier BV

Subject

Software

Reference65 articles.

2. Formal Verification: An Essential Toolkit for Modern VLSI Design;Seligman,2015

3. Model checking industrial robot systems;Weißmann,2011

4. Safety assurance of a high voltage controller for an industrial robotic system;Murray,2020

5. Automated Electrostatic Painting; Principles and Models;Mossige,2005

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

1. Formally verified animation for RoboChart using interaction trees;Journal of Logical and Algebraic Methods in Programming;2024-02

3. Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26