ClawZ: Cost-Effective Formal Verification for Control Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/11576280_32 ◽

2005 ◽

pp. 465-479 ◽

Author(s):

M. M. Adams ◽

P. B. Clayton

Keyword(s):

Formal Verification ◽

Control Systems ◽

Download Full-text

CLAWZ: Cost-Effective Formal Verification for Control Systems

24th Digital Avionics Systems Conference ◽

10.1109/dasc.2005.1563404 ◽

2006 ◽

Author(s):

M.M. Adams ◽

P.B. Clayton ◽

N.J. Tudor

Keyword(s):

Formal Verification ◽

Control Systems ◽

Download Full-text

A Framework for Simulation and Formal Verification of Redundant Flight Control Systems with Components Subject to Partially Synchronous Timing Effects

10.1109/dasc52595.2021.9594390 ◽

2021 ◽

Author(s):

Valentin A. Marvakov ◽

Florian Holzapfel

Keyword(s):

Formal Verification ◽

Control Systems ◽

Flight Control ◽

Download Full-text

Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

Journal of Hardware and Systems Security ◽

10.1007/s41635-017-0017-y ◽

2017 ◽

Vol 2 (1) ◽

pp. 1-14

Author(s):

Muluken Hailesellasie ◽

Syed Rafay Hasan

Keyword(s):

Intrusion Detection ◽

Formal Verification ◽

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

WHAT’S REAL IN “REAL-TIME CONTROL SYSTEMS”? Applying formal verification methods and real-time rule-based systems to control systems and robotics

INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I ◽

10.1007/1-4020-4543-3_4 ◽

2006 ◽

pp. 31-35

Author(s):

Albert M. K. Cheng

Keyword(s):

Formal Verification ◽

Control Systems ◽

Real Time ◽

Real Time Control ◽

Time Control ◽

Verification Methods ◽

And Robotics ◽

Rule Based Systems

Download Full-text

Formal Verification of Control Systems Software

10.1515/9780691189581 ◽

2019 ◽

Author(s):

Pierre-Loïc Garoche

Keyword(s):

Formal Verification ◽

Control Systems ◽

Systems Software

Download Full-text

A formal verification approach to revealing stealth attacks on networked control systems

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566484 ◽

2014 ◽

Author(s):

Nikola Trcka ◽

Mark Moulin ◽

Shaunak Bopardikar ◽

Alberto Speranzon

Keyword(s):

Formal Verification ◽

Control Systems ◽

Networked Control Systems ◽

Networked Control

Download Full-text

CAN Security: Cost-Effective Intrusion Detection for Real-Time Control Systems

10.4271/2014-01-0340 ◽

2014 ◽

Author(s):

Satoshi Otsuka ◽

Tasuku Ishigooka ◽

Yukihiko Oishi ◽

Kazuyoshi Sasazawa

Keyword(s):

Intrusion Detection ◽

Control Systems ◽

Real Time ◽

Cost Effective ◽

Real Time Control ◽

Download Full-text

Use of Reusable Software for Cost Effective Development of Mission Control Systems

10.2514/6.2004-288-137 ◽

2004 ◽

Author(s):

A. Ercolani ◽

F. Delhaise ◽

D. Guerrucci ◽

M. Jones ◽

G. W. Kerr ◽

...

Keyword(s):

Control Systems ◽

Cost Effective ◽

Reusable Software ◽

Mission Control ◽

Effective Development

Download Full-text

A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems

Computers in Industry ◽

10.1016/j.compind.2020.103328 ◽

2020 ◽

Vol 123 ◽

pp. 103328

Author(s):

M. Niang ◽

B. Riera ◽

A. Philippot ◽

J. Zaytoon ◽

F. Gellot ◽

...

Keyword(s):

Formal Verification ◽

Control Systems ◽

Power Supply ◽

Automatic Generation ◽

Supply Equipment

Download Full-text

Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems

10.4271/2021-01-0260 ◽

2021 ◽

Author(s):

Maziar Mahani ◽

Denise Rizzo ◽

Chris Paredis ◽

Yue Wang

Keyword(s):

Formal Verification ◽

Control Systems ◽

Download Full-text