Design of industrial automation systems — Formal requirements in the engineering process

Author

Bottcher, Bjorn ; Badinger, Johann ; Moriz, Natalia ; Niggemann, Oliver

Author_Institution

Ind. Autom., Fraunhofer IOSB-INA, Lemgo, Germany

fYear

2013

fDate

10-13 Sept. 2013

Firstpage

1

Lastpage

4

Abstract

Today´s production plants are not conceivable without automation systems. Due to the increasing complexity of production plants and therefore of automation systems, delays and interruptions in automation projects are observed. A design model for more efficient planning of industrial automation systems is introduced. It is based on a new and practical proceeding for the construction of a requirements model. Extended feature models as formal requirements representation enable to verify the consistency of requirements. New insights on the necessary capabilities of a formal reasoning system for planning the whole automation system are deduced from the design model.

Keywords

factory automation; formal specification; formal verification; industrial plants; inference mechanisms; process planning; production engineering computing; automation projects; engineering process; extended feature models; formal reasoning system; formal requirement representation; industrial automation system design; industrial automation system planning; production plant complexity; requirement consistency; requirement model; Automation; Conferences; Expert systems; Modeling; Planning; Production; Software;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on

Conference_Location

Cagliari

ISSN

1946-0740

Print_ISBN

978-1-4799-0862-2

Type

conf

DOI

10.1109/ETFA.2013.6648148

Filename

6648148