SMT-Based Deployment Calculation in Industrial Automation Domain
| Autor: | Tarik Terzimehic, Haitham Elfaham, Sebastian Voss, Monika Wenger, Sten Grüner |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Flexibility (engineering)
0209 industrial biotechnology business.industry Computer science Semantics (computer science) Distributed computing Automotive industry 020207 software engineering 02 engineering and technology Automation Task (project management) Domain (software engineering) 020901 industrial engineering & automation Software deployment 0202 electrical engineering electronic engineering information engineering business |
| Zdroj: | ETFA |
| Popis: | 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 non-functional 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|