Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation

2016 Euromicro Conference on Digital System Design (DSD) ◽

10.1109/dsd.2016.14 ◽

2016 ◽

Author(s):

Bogdan-Andrei Tabacaru ◽

Moomen Chaari ◽

Wolfgang Ecker ◽

Thomas Kruse ◽

Cristiano Novello

Keyword(s):

Safety Verification ◽

Download Full-text

Integrating Knowledge-Based and Mathematical Programming Approaches for Process Safety Verification

Computers & Chemical Engineering ◽

10.1016/s0098-1354(97)00164-6 ◽

1997 ◽

Vol 21 (1-2) ◽

pp. S905-S910

Author(s):

R Srinivasan

Keyword(s):

Mathematical Programming ◽

Process Safety ◽

Safety Verification ◽

Knowledge Based

Download Full-text

Ivy: safety verification by interactive generalization

ACM SIGPLAN Notices ◽

10.1145/2980983.2908118 ◽

2016 ◽

Vol 51 (6) ◽

pp. 614-630 ◽

Author(s):

Oded Padon ◽

Kenneth L. McMillan ◽

Aurojit Panda ◽

Mooly Sagiv ◽

Sharon Shoham

Keyword(s):

Safety Verification

Download Full-text

Safety Verification of Piecewise-Deterministic Markov Processes

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16 ◽

10.1145/2883817.2883836 ◽

2016 ◽

Author(s):

Rafael Wisniewski ◽

Christoffer Sloth ◽

Manuela Bujorianu ◽

Nir Piterman

Keyword(s):

Markov Processes ◽

Safety Verification ◽

Piecewise Deterministic Markov Processes

Download Full-text

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems

2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) ◽

10.1109/icps48405.2020.9274758 ◽

2020 ◽

Author(s):

Ayan Banerjee ◽

Imane Lamrani ◽

Sandeep K.S. Gupta

Keyword(s):

Linear Analysis ◽

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Operational Safety ◽

Download Full-text

Operational Safety Verification of Cyber Physical Industry 4.0 Applications

2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) ◽

10.1109/icps49255.2021.9468193 ◽

2021 ◽

Keyword(s):

Industry 4.0 ◽

Safety Verification ◽

Operational Safety

Download Full-text

Safety verification method for preventing friction blisters during utilization of physical assistant robots

Advanced Robotics ◽

10.1080/01691864.2017.1318716 ◽

2017 ◽

Vol 31 (13) ◽

pp. 680-694 ◽

Author(s):

Xuewei Mao ◽

Yoji Yamada ◽

Yasuhiro Akiyama ◽

Shogo Okamoto ◽

Kengo Yoshida

Keyword(s):

Safety Verification ◽

Verification Method ◽

Assistant Robots

Download Full-text

A compiled-code parallel pattern logic simulator with inertial delay model

Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97 ◽

10.1109/iscas.1997.621470 ◽

2002 ◽

Author(s):

Kuo Chan Huang ◽

Chung Len Lee ◽

J.E. Chen

Keyword(s):

Delay Model ◽

Compiled Code ◽

Parallel Pattern

Download Full-text

Safety Verification of Modern Railway Signalling with the SafeCap Platform

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ◽

10.1109/issrew.2017.66 ◽

2017 ◽

Author(s):

Paulius Stankaitis ◽

Alexei Iliasov

Keyword(s):

Safety Verification ◽

Railway Signalling

Download Full-text

Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis

10.1109/isocc53507.2021.9614029 ◽

2021 ◽

Author(s):

Seyoung Kim ◽

Heechun Park ◽

Jaeha Kim

Keyword(s):

Linear System ◽

Piecewise Linear ◽

Reachability Analysis ◽

Safety Verification ◽

Piecewise Linear System

Download Full-text

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2018.2858383 ◽

2018 ◽

Vol 37 (11) ◽

pp. 2768-2778 ◽

Author(s):

Yifan Zhang ◽

Zhengfeng Yang ◽

Wang Lin ◽

Huibiao Zhu ◽

Xin Chen ◽

...

Keyword(s):

Hybrid Systems ◽

Bilinear Programming ◽

Safety Verification ◽

Nonlinear Hybrid

Download Full-text