D5.2a Description of pilots for enhancing computer-aided design for low-code development by applying synthesis
report
This deliverable describes two pilots performed by TNO-ESI together with Cordis and Additive Industries, for enhancing computer-aided design for low-code development, by applying synthesis. Specifying low-code (Cordis SUITE) models in a way to guarantee necessary safety/user requirements is difficult. We demonstrate that correct control conditions for low-code models can automatically be synthesized from requirements. These control conditions can then be added to the models to make them correct with respect to the requirements. Our first pilot demonstrates the benefits of combining synthesis with low-code development, and our second pilot demonstrates that this combination can indeed add value in a real-world industrial context.
TNO Identifier
1005630
Collation
8 p.