@inproceedings{Suender2013, author = {S{\"{u}}nder, Christoph and Vyatkin, Valeriy and Zoitl, Alois}, title = {Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers}, booktitle = {ACM Transactions on Embedded Computer Systems (TECS)}, publisher = {ACM}, volume = {12}, number = {1}, pages = {17:1-17:17}, year = {2013}, month = jan, timestamp = 2013.07.23, owner = {jeraj}, abstract = {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 DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking.}, doi = {10.1145/2406336.2406353}, url = {http://doi.acm.org/10.1145/2406336.2406353}, }