Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers

This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The...