Technological platforms dedicated for digital instrumentation and control of nuclear reactors are quite complex in terms of functionalities and devices. Hence. the design of these platforms requires high-level abstraction layers able to reduce the complexity. to rise the automation and to check the consistency between different development stages. https://www.lightemupsequences.com/