Embedded Automation Controllers
Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers
FREE-DOWNLOAD [PDF] C Suender, V Vyatkin… – … Transactions on Embedded …, 2011
I. INTRODUCTION any industrial automation systems require operation without a single stop
for weeks or even months. At the same time, it may be necessary to make modifications of the
control program in order to achieve higher performance by applying more efficient control,