loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alexander Diedrich 1 ; Björn Böttcher 1 and Oliver Niggemann 2

Affiliations: 1 Fraunhofer IOSB-INA, Germany ; 2 Institute for Industrial IT, Germany

ISBN: 978-989-758-172-4

Keyword(s): Constraint Satisfaction, Feature Models, Product Line Engineering, Minimum Correction Subsets.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Constraint Satisfaction ; Enterprise Information Systems ; Human-Computer Interaction ; Industrial Applications of AI ; Intelligent User Interfaces ; Knowledge-Based Systems ; Soft Computing ; Symbolic Systems

Abstract: 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 wi thout any extensions. Experimental results with typical problems demonstrate the practicalness concerning runtime and hardware resources. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.172.100.232

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Diedrich, A.; Böttcher, B. and Niggemann, O. (2016). Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets.In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-172-4, pages 280-287. DOI: 10.5220/0005679102800287

@conference{icaart16,
author={Alexander Diedrich. and Björn Böttcher. and Oliver Niggemann.},
title={Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2016},
pages={280-287},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005679102800287},
isbn={978-989-758-172-4},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets
SN - 978-989-758-172-4
AU - Diedrich, A.
AU - Böttcher, B.
AU - Niggemann, O.
PY - 2016
SP - 280
EP - 287
DO - 10.5220/0005679102800287

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.