@inproceedings{, author = {Terzimehić, Tarik and Wenger, Monika and Voss, Sebastian and Gr{\"{u}}ner, Sten and Elfham, Haitham}, title = {SMT-Based Deployment Calculation in Industrial Automation Domain}, booktitle = {Proceedings of the {IEEE} International Conference on Emerging Technologies And Factory Automation ({ETFA})}, publisher = {IEEE}, year = {2019}, month = sep, abstract = {The desired flexibility of industrial automation systems foresees among others flexible deployment and execution of control applications on distributed control nodes. This task can be performed more efficiently by an automated deployment algorithm yielding a valid deployment and optimizing nonfunctional objectives. Although extensively investigated, automated deployment approaches for the automotive domain cannot be translated to industrial control applications, due to a different execution semantics. Thus, in this paper, we present a method of satisfiability modulo theories (SMT)-based automated deployment of the industrial automation systems. We formalize and implement domain-relevant constraints and objectives. Our contribution is threefold: 1) we formalize the functional coupling and end-to-end deadline constraints and objectives while considering the semantics of control applications, 2) we encode the deployment problem into an SMT form, and 3) we validate the approach on an abstract example and a domain-relevant use case. The results obtained in this paper will allow application engineers to fulfill functional and real-time requirements by automatically solving the deployment problem.}, doi = {10.1109/ETFA.2019.8868247}, keywords = {BaSys 4.0, Model-based systems engineering, MbSE, deployment, Industry 4.0, IEC 61499, SMT, E2E latency, functional coupling, design-space exploration, DSE}, }