Enabling dependable flexibility in industrial automation with formal methods integrated to development toolchains
Published in PhD Dissertation, Luleå University of Technology, 2025
Recommended citation: M. Xavier. "Enabling dependable flexibility in industrial automation with formal methods integrated to development toolchains." PhD Dissertation, Luleå University of Technology, 2025.
Doctoral dissertation. This thesis develops methods and toolchains that integrate formal verification into the engineering of flexible, reconfigurable industrial automation systems, enabling dependable flexibility across the development lifecycle of IEC 61499-based control software.