28 octobre 2015
A l’occasion du forum IFSTTAR »Sûreté et sécurité dans les transports » qui aura lieu le 09/12/2015 à Paris dans les locaux de Telecom ParisTech, 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.
Lien: http://actions-incitatives.ifsttar.fr/geri/sticits/forum-ntic/archives/forum-xxi-091215/