Architecture double cœur SIL4 présentée au Forum IFSTTAR “Sûreté et sécurité dans les transports”

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 double cœur 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.

Pour plus d’information : http://actions-incitatives.ifsttar.fr/geri/sticits/forum-ntic/archives/forum-xxi-091215/

 

Laisser un commentaire