Automated verification of function block-based industrial control systems

Science of Computer Programming ◽

10.1016/s0167-6423(01)00028-4 ◽

2002 ◽

Vol 42 (1) ◽

pp. 101-113 ◽

Author(s):

Norbert Völker ◽

Bernd J. Krämer

Keyword(s):

Control Systems ◽

Automated Verification ◽

Industrial Control ◽

Industrial Control Systems ◽

Function Block ◽

Download Full-text

Automated Verification of Function Block Based Industrial Control Systems

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)00135-5 ◽

1999 ◽

Vol 25 ◽

pp. 97-110 ◽

Author(s):

Norbert Völker ◽

Bernd J. Krämer

Keyword(s):

Control Systems ◽

Automated Verification ◽

Industrial Control ◽

Industrial Control Systems ◽

Function Block ◽

Download Full-text

Module Verifications for Function Block Based Safety-Related Industrial Control Systems

2012 International Conference on Computer Science and Electronics Engineering ◽

10.1109/iccsee.2012.269 ◽

2012 ◽

Author(s):

Zhuang Xia ◽

Zhao Lin Jing ◽

Zhang Xian Hao

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems ◽

Function Block ◽

Download Full-text

Modular Verification of Function Block Based Industrial Control Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)39981-0 ◽

1999 ◽

Vol 32 (1) ◽

pp. 159-164 ◽

Author(s):

Norbert Völker ◽

Bernd J. Krämer

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems ◽

Function Block ◽

Modular Verification ◽

Download Full-text

Enhancement of Industrial Control Systems(ICS) Security for Service Company

Journal of Korea Service Management Society ◽

10.15706/jksms.2019.20.4.010 ◽

2019 ◽

Vol 20 (4) ◽

pp. 183-200

Author(s):

Jong Mo Sohn ◽

In Tae Lee ◽

Lim Hyo Chang

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems ◽

Service Company

Download Full-text

Cyber-Security Controls for Industrial Control Systems

JAPAN TAPPI JOURNAL ◽

10.2524/jtappij.68.275 ◽

2014 ◽

Vol 68 (3) ◽

pp. 275-280

Author(s):

Kentaro Hayashi

Keyword(s):

Control Systems ◽

Cyber Security ◽

Industrial Control ◽

Industrial Control Systems ◽

Security Controls

Download Full-text

Fieldbus standard for use in industrial control systems

10.3403/01173281 ◽

1994 ◽

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Digital data communications for measurement and control. Fieldbus for use in industrial control systems

10.3403/03103678u ◽

2015 ◽

Keyword(s):

Control Systems ◽

Digital Data ◽

Data Communications ◽

Industrial Control ◽

Industrial Control Systems ◽

And Control ◽

Measurement And Control

Download Full-text

Fieldbus standard for use in industrial control systems

10.3403/03105471u ◽

2015 ◽

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Cybersafety: A System-theoretic Approach to Identify Cyber-vulnerabilities & Mitigations in Industrial Control Systems

SSRN Electronic Journal ◽

10.2139/ssrn.3542551 ◽

2019 ◽

Author(s):

Shaharyar Khan ◽

Stuart E. Madnick

Keyword(s):

Control Systems ◽

Theoretic Approach ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Cybersafety Analysis of Industrial Control Systems: Chiller Systems (Revised)

SSRN Electronic Journal ◽

10.2139/ssrn.3570148 ◽

2020 ◽

Author(s):

Shaharyar Khan ◽

Stuart E. Madnick

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text