Skip to content

Split DMM construction of CIF relations away from multilevel synthesis

Currently, the first step in multi-level synthesis is to compute a DSM that contains relevant plant and requirement elements of a CIF specification. Next, it uses the DSM and decomposes the CIF specification into multiple parts.

I have been asked to unglue the DSM computation from the CIF multilevel application. I think it's a good idea. It becomes easier to do other experiments with distributed synthesis approaches at the very least.

Concretely, it boils down to

  • Make a new CIF application that takes a CIF specification and produces 3 DMMs (plant-elements / plant-groups, requirement-elements / requirement-groups, and plant-groups / requirement-groups). Current working name is CIF relations, but other names could be used instead.
  • Move the DMM creation code to the new application.
Edited by Dennis Hendriks