%0 Conference Paper %1 zeller2018composition %A Zeller, Andreas %A Weyrich, Michael %B 28th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM2018), June 11-14, 2018, Columbus, OH, USA %D 2018 %K ias %T Composition of Modular Models for Verification of Distributed Automation Systems %U https://www.ias.uni-stuttgart.de/dokumente/publikationen/2018_Composition_of_Modular_Models_for_Verification_of_Distributed_Automation_Systems.pdf %X The increasing complexity of distributed automation systems requires new methods to verify the correct functionality. Modelbased verification is an established approach to test the behavior of the system under test, before going into operation. To apply model-based techniques the overall system model of the automation system is needed. Due to the high complexity of the overall system and the changing dependencies caused by reconfigurations or software modifications an overall system model is seldom available or maintained. In this paper, we propose a modeling technique to manage the complexity of the overall system by modularization which is dedicated to distributed systems. This is presented in a formal way. Thereby, the modeling techniques regard the requirements of a service-oriented-architecture and the properties of automation systems, like interfaces to the technical process and parallelism caused by the distribution. In addition, we present calculation rules how to build up the overall system model automatically which can be used to verify system requirements.

@inproceedings{zeller2018composition, abstract = {The increasing complexity of distributed automation systems requires new methods to verify the correct functionality. Modelbased verification is an established approach to test the behavior of the system under test, before going into operation. To apply model-based techniques the overall system model of the automation system is needed. Due to the high complexity of the overall system and the changing dependencies caused by reconfigurations or software modifications an overall system model is seldom available or maintained. In this paper, we propose a modeling technique to manage the complexity of the overall system by modularization which is dedicated to distributed systems. This is presented in a formal way. Thereby, the modeling techniques regard the requirements of a service-oriented-architecture and the properties of automation systems, like interfaces to the technical process and parallelism caused by the distribution. In addition, we present calculation rules how to build up the overall system model automatically which can be used to verify system requirements.}, added-at = {2018-07-05T10:38:19.000+0200}, author = {Zeller, Andreas and Weyrich, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e783ba22e4117538f7a6391cf2682eb9/sekretariatias}, booktitle = {28th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM2018), June 11-14, 2018, Columbus, OH, USA}, interhash = {9c6f3d8009e8b415d83126165f821af1}, intrahash = {e783ba22e4117538f7a6391cf2682eb9}, keywords = {ias}, timestamp = {2018-10-26T12:37:09.000+0200}, title = {Composition of Modular Models for Verification of Distributed Automation Systems}, url = {https://www.ias.uni-stuttgart.de/dokumente/publikationen/2018_Composition_of_Modular_Models_for_Verification_of_Distributed_Automation_Systems.pdf}, year = 2018 }