Publié le 15/03/2016 |

A l’occasion de la journée « Langages et outils pour la fiabilité logicielle »  qui aura lieu le 12/05/2016 à Paris (Jussieu), dans le cadre du Printemps de l’Innovation Open Source, CLEARSY présentera les principes de son architecture bi-processeur  SIL4 pour la construction d’automatismes sécuritaires à bas coût. Cette architecture propose des principes de sécurisation et s’appuie sur une chaine de développement logicielle formelle. Les logiciels sont générés et prouvés de manière automatique, à partir de DSLs métier, dans le cadre du projet collaboratif LCHIP.

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