Verfahren zur inkrementellen Synthese eines diskreten technischen Systems

摘要

Disclosed is a method for knowledge-based incremental synthesis of a discrete technical system dependent upon a predetermined first configuration, wherein the first configuration represents an implemented consistent conflict-free causal structure. The first configuration comprises a predetermined knowledge base and a description of requirements controlling the synthesis, wherein a second configuration which fulfills the description of requirements is generated in the following steps: synthesis of a completed first intermediate causal structure that is not necessarily consistent or conflict-free, arising from the first configuration and the description of requirements by means of a fusion specification, and transformation of the first intermediate causal structure into a not necessarily conflict-free completed consistent second intermediate causal structure, and transformation of the completed second intermediate causal structure into a conflict-free consistent causal structure corresponding to the second configuration of the technical system by conflict resolution using conflict resolution conditions.