Sciweavers

Share
ETFA
2013
IEEE

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

5 years 6 months ago
Design of industrial automation systems - Formal requirements in the engineering process
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.
Björn Böttcher, Johann Badinger, Natalia
Added 20 May 2015
Updated 20 May 2015
Type Journal
Year 2013
Where ETFA
Authors Björn Böttcher, Johann Badinger, Natalia Moriz, Oliver Niggemann
Comments (0)
books