Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Exposing design mistakes during requirements engineering by solving constraint satisfaction problems to obtain minimum correction subsets

: Diedrich, Alexander; Böttcher, Björn; Niggemann, Oliver

Institute for Systems and Technologies of Information, Control and Communication -INSTICC-, Setubal:
8th International Conference on Agents and Artificial Intelligence, ICAART 2016 : Rome, February 2, 2016
Setubal: SciTePress, 2016
ISBN: 978-989-758-172-4
International Conference on Agents and Artificial Intelligence (ICAART) <8, 2016, Rome>
Fraunhofer IOSB ()
constraint satisfaction; feature models; minimum correction subsets; product line engineering

In recent years, the complexity of production plants and therefore of the underlying automation systems has grown significantly. This makes the manual design of automation systems increasingly difficult. As a result, errors are found only during production, plant modifications are hindered by not maintainable automation solutions and criteria such as energy efficiency or cost are often not optimized. This work shows how utilizing Minimum Correction Subsets (MCS) of a Constraint Satisfaction Problem improves the collaboration of automation system designers and prevents inconsistent requirements and thus subsequent errors in the design. This opens up a new field of application for constraint satisfaction techniques. As a use case, an example from the field of automation system design is presented. To meet the automation industry's requirement for standardised solutions that assure reliability, the calculation of MCS is formulated in such a way that most constraint solvers can be used without any extensions. Experimental results with typical problems demonstrate the practicalness concerning runtime and hardware resources.