At the occasion of the seminar entitled “Languages and tools for Software Reliability” (May 12th 2016, Jussieu (Paris)) that will take place during the Open Source Innovation Spring, ClearSy will present the Double-Core SIL4 architecture aimed at low-cost safety critical automation. This architecture relies on innovative safety principles and a software development formal tool-chain. Software are automatically generated and proved from Domain Specific Languages, as a result of the collaborative R&D project LCHIP.
- Atelier B
- B Method Training