This course aims to teach learners how to automate safety vetting of Programmable Logic Controller (PLC) code in real-world plants. The learning outcomes include understanding safety violations in PLCs, implementing a temporal context-aware program analysis approach (VetPLC), and generating timed event sequences for automatic safety vetting. The course covers skills such as static program analysis, creating timed event causality graphs, mining temporal invariants, and evaluating safety violations in PLC code. The teaching method involves a presentation of technical details, methodology, comparative experiments, and a summary. This course is intended for individuals interested in industrial control systems, PLC programming, and automated safety vetting techniques.
Towards Automated Safety Vetting of PLC Code in Real World Plants - Mu Zhang
Overview
Syllabus
Intro
Learning from prior incidents
Collaborative environment
Eventdriven programs
Running example
Traditional way
PRC Code
Program Analysis
Technical Details
Data Mining
Time to Event Sequence
Methodology
Comparative Experiments
Summary
Questions
Taught by
IEEE Symposium on Security and Privacy
