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

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

Les commentaires sont fermés.