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,





FREE IEEE PAPER