%0 Conference Paper %1 Zeller2018352 %A Zeller, Andreas %A Weyrich, Michael %B 51st CIRP Conference on Manufacturing Systems (CIRP CMS 2018), 16.-18.05.2018, Stockholm %D 2018 %K 2018agententechnologie ias testias %P 352 - 356 %R 10.1016/j.procir.2018.03.183 %T Component based Verification of Distributed Automation Systems based on Model Composition %U https://www.ias.uni-stuttgart.de/dokumente/publikationen/2018_Component_based_Verification_of_Distributed_Automation_Systems_based_on_Model_Composition.pdf %V 72 %X Abstract Challenges on safeguarding distributed automation systems arise due to their increasing complexity and changeability. Functional changes in automation systems are mainly conducted by software modifications. Especially in distributed automation systems, the impacts of software modifications are difficult to estimate. Mainly, this will challenge plant operators who have to safeguard their automation systems after functionality changes were executed. If behaviour models of the automation systems are available, model-based techniques are suitable to estimate the impacts of software modifications on other system components. In fact, behaviour models of distributed automation systems are seldom available or maintained, due to the high complexity of the overall system and the changing structure caused by reconfigurations or software modifications. This often prevents the application of model-based techniques. This contribution presents a model-based approach with which the impacts of software modifications can be recognized and affected subsystems can be safeguarded efficiently by model-based verification methods. To achieve this an impact analysis is performed, identifying requirements which are affected by software modifications. As the behaviour models that are necessary to verify the identified requirements are seldom available, the necessary models are generated automatically. The approach is evaluated with modification to a large scale automation system.

@inproceedings{Zeller2018352, abstract = {Abstract Challenges on safeguarding distributed automation systems arise due to their increasing complexity and changeability. Functional changes in automation systems are mainly conducted by software modifications. Especially in distributed automation systems, the impacts of software modifications are difficult to estimate. Mainly, this will challenge plant operators who have to safeguard their automation systems after functionality changes were executed. If behaviour models of the automation systems are available, model-based techniques are suitable to estimate the impacts of software modifications on other system components. In fact, behaviour models of distributed automation systems are seldom available or maintained, due to the high complexity of the overall system and the changing structure caused by reconfigurations or software modifications. This often prevents the application of model-based techniques. This contribution presents a model-based approach with which the impacts of software modifications can be recognized and affected subsystems can be safeguarded efficiently by model-based verification methods. To achieve this an impact analysis is performed, identifying requirements which are affected by software modifications. As the behaviour models that are necessary to verify the identified requirements are seldom available, the necessary models are generated automatically. The approach is evaluated with modification to a large scale automation system. }, added-at = {2019-12-17T14:55:06.000+0100}, author = {Zeller, Andreas and Weyrich, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/225aa8a2941077fb6b3cbad4ea3f36ac7/taylansngerli}, booktitle = {51st CIRP Conference on Manufacturing Systems (CIRP CMS 2018), 16.-18.05.2018, Stockholm}, doi = {10.1016/j.procir.2018.03.183}, interhash = {09e038f19ab6e37c3fc0b5efe543ffb9}, intrahash = {25aa8a2941077fb6b3cbad4ea3f36ac7}, issn = {2212-8271}, keywords = {2018agententechnologie ias testias}, month = may, pages = {352 - 356}, timestamp = {2020-04-24T07:16:27.000+0200}, title = {Component based Verification of Distributed Automation Systems based on Model Composition}, url = {https://www.ias.uni-stuttgart.de/dokumente/publikationen/2018_Component_based_Verification_of_Distributed_Automation_Systems_based_on_Model_Composition.pdf}, volume = 72, year = 2018 }