Device and Method for Configuring a Technical System

A device for configuring a technical system, the device comprising:

• a processor;
• a memory communicatively coupled to the processor, the memory comprising a configuration generation module configured to generate a configuration model of the technical system, the configuration model representing the technical system as an information model comprising constraints arrangeable based on a severity level;
• wherein the processor is configured to:
• generate the configuration model for technical system, the configuration model being generated from configuration criteria for the technical system, said generating the configuration model comprising:
• validating the configuration criteria based on constraints associated with the technical system, the configuration criteria being valid when none of the constraints, having a severity level greater than or equal to a threshold severity, are violated;
• and
• identifying a maximum satisfiable rule set for the validated configuration criteria, the maximum satisfiable rule set being either empty or comprises at least one of constraint rules and default rules, and the maximum satisfiable rule set being identified by:
• determining a minimum number of conflicting rules to be removed to resolve conflicts with the validated configuration criteria, the minimum number of conflicting rules being determined for rules ranked below the threshold severity;
• and
• removing at least one of the minimum number of conflicting rules to generate the maximum satisfiable rule set.

A non-transitory computer readable medium encoded with machine-readable program instructions which, when executed by at least one processor, cause at least one server to configuring a technical system, the program comprising:

• program code for generating a configuration model for technical system, the configuration model being generated from configuration criteria for the technical system and the configuration model representing the technical system as an information model, said generating the configuration model comprising:
• program code for validating the configuration criteria based on constraints associated with the technical system, the configuration criteria being valid when none of the constraints, having a severity level greater than or equal to a threshold severity, are violated;
• and
• program code for identifying a maximum satisfiable rule set for the validated configuration criteria, the maximum satisfiable rule set being either empty or comprises at least one of constraint rules and default rules, and the maximum satisfiable rule set being identified by:
• determining a minimum number of conflicting rules (330) to be removed to resolve conflicts with the validated configuration criteria, the minimum number of conflicting rules being determined for rules ranked below the threshold severity;
• and
• removing at least one of the minimum number of conflicting rules to generate the maximum satisfiable rule set.