Architecture bi-processeur SIL4 présentée au Printemps de l’Innovation Open Source

15 mars 2016

À 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: http://www.open-source-innovation-spring.org/