Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Assisted design for automation systems - from formal requirements to final designs

: Moriz, N.; Böttcher, B.; Niggemann, O.; Lackhove, J.

Postprint urn:nbn:de:0011-n-3071798 (2.7 MByte PDF)
MD5 Fingerprint: 7a849fb13e9fe243e5d9f3ac8d0a5f9b
© IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Erstellt am: 18.9.2014

Institute of Electrical and Electronics Engineers -IEEE-; IEEE Industrial Electronics Society -IES-:
ETFA 2014, 19th IEEE International Conference on Emerging Technologies and Factory Automation : 16.- 19 September 2014, Barcelona, Spain
Piscataway, NJ: IEEE, 2014
ISBN: 978-1-4799-4846-8
ISBN: 978-1-4799-4845-1
ISBN: 978-1-4799-4844-4
5 S.
International Conference on Emerging Technologies and Factory Automation (ETFA) <19, 2014, Barcelona>
Konferenzbeitrag, Elektronische Publikation
Fraunhofer IOSB ()

In this paper, the authors present an engineering approach for generating automation system solutions based on formalised requirements. This enables assistant systems which guide engineers during the design phase of todays more and more complex automation systems. A software prototype is used for the evaluation of this approach in practice. The main contribution is to directly use a formal requirements model as input for the automated synthesis of automation systems and to formalise the expert knowledge for this synthesis. The result are consistent, maintainable automation systems and with that shorter and reproducible development cycles.