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.