Architecture bi-processeur SIL4 présentée au Forum IFSTTAR « Sûreté et sécurité dans les transports »

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/