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.