Overview issue for multi-level synthesis
Thesis at https://research.tue.nl/files/138331698/20191122_Goorden.pdf
It seems to be Chapter 4.
And the technical paper is at https://ieeexplore.ieee.org/abstract/document/8759973 .
Parts required for a first working version:
-
Rewriting event controllability (in #308 (closed)) -
Removing unused algebraic variables (in #320 (closed)) -
Performing DSM analysis (in #344 (closed)) -
Converting CIF for DSM (Design Structure Matrix) analysis (in #368 (closed)) -
Create the multi-level synthesis tree that defines the supervisors to create (in #632 (closed)) -
Constructing subsets of plant automata (in #319 (closed)) -
Make the multilevel available for users. -
Running data synthesis for parts (in #738) -
And eventually thus "multi level synthesis". -
Tests: -
Add regression tests that cover end-user usage, language concepts, etc. -
Add tests that combined synthesis result of multi-level synthesis is equal to the monolithic synthesis result.
-
Later tasks:
-
Consider flipping some matrices to match the paper. See also the discussions here and here. -
Reconsider the debug output. See also the discussions here, here, here and here. -
Pre-checking constraints of data-based synthesis can currently not be checked in the multi-level application, since they need much more detailed analysis. -
Optimize/remove multi-level tree nodes that are superfluous. See !696 (comment 1748818). -
Generate splitted CIF specification names that express their place in the tree hierarchy.
EDIT: Updated the list and changed the order such that items near the top are dependencies for items further down in the list.
Edited by Dennis Hendriks