Formal Verification of Control Systems Software

C-17 flight control systems software design

[1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference ◽

10.1109/dasc.1992.282097 ◽

2003 ◽

Cited By ~ 2

Author(s):

D.J. Popp ◽

R.L. Kahler

Keyword(s):

Control Systems ◽

Software Design ◽

Flight Control ◽

Systems Software

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 ◽

Timing Effects

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

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 ◽

Cited By ~ 12

Author(s):

M. M. Adams ◽

P. B. Clayton

Keyword(s):

Formal Verification ◽

Control Systems ◽

Cost Effective

Download Full-text

Automation of specification process for PLC control systems software

1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467) ◽

10.1109/etfa.1999.813137 ◽

2003 ◽

Cited By ~ 1

Author(s):

M. Rihar ◽

G. Godena

Keyword(s):

Control Systems ◽

Plc Control ◽

Systems Software

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 ◽

Rule Based ◽

Time Control ◽

Verification Methods ◽

And Robotics ◽

Rule Based Systems

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 ◽

Cited By ~ 5

Author(s):

Nikola Trcka ◽

Mark Moulin ◽

Shaunak Bopardikar ◽

Alberto Speranzon

Keyword(s):

Formal Verification ◽

Control Systems ◽

Networked Control Systems ◽

Networked Control

Download Full-text

Leveraging On-Board Diagnostics and Model-Based Design Methods for Root-Causing Body Control Systems/Software Issues

10.4271/2012-01-0931 ◽

2012 ◽

Author(s):

Jinming Yang ◽

Jason Bauman ◽

Al Beydoun

Keyword(s):

Control Systems ◽

Design Methods ◽

Model Based ◽

Systems Software

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

Big banks' management control systems' software: Architecture. General requirements and functional components

2017 Tenth International Conference Management of Large-Scale System Development (MLSD) ◽

10.1109/mlsd.2017.8109712 ◽

2017 ◽

Author(s):

Alexey Yu. Zalozhnev

Keyword(s):

Software Architecture ◽

Control Systems ◽

Management Control ◽

Management Control Systems ◽

Systems Software ◽

Functional Components

Download Full-text