2021 · Researcher, University of Southern Denmark
Industry 4.0 Flexible Production Line Security
Researched a flexible production-line demonstrator, modeling cyber-physical behavior in UPPAAL SMC/Stratego to balance operational flexibility with security.
Flexible production line
Problem
Flexible Industry 4.0 systems need to preserve operational adaptability while controlling risk from untrusted assets and variable workflows.
Context
Research at the University of Southern Denmark on cyber-physical production-line demonstrators.
Method
Modeled CPS behavior and security controls with statistical model checking and strategy-oriented verification.
Result
The work connected model-checking techniques with energy-aware and security-aware CPS optimization questions.
Why It Matters
Industrial CPS security must be reasoned about without removing the flexibility that makes these systems useful.