L’architecture bi-processeur SIL4 : aux journées de printemps de l’innovation de l’Open Source

A l’occasion de la conférence «Langages et outils pour des logiciels fiables” (12 mai 2016, Jussieu (Paris)) qui s’est déroulée pendant l’Open Source Innovation Spring, ClearSy a présenté l’architecture bi-processeur  SIL4 permetant le développement d’automatismes sécuritaires à bas coût. Cette architecture repose sur des principes de sécurité innovants et une chaîne d’outils formels de développement de logiciels. Les logiciels sont générés et prouvés automatiquement à partir de Domain Specific Languages , dans le cadre du projet collaboratif de R&D LCHIP.

Lien: http://www.open-source-innovation-spring.org/