Une plate-forme certifiable pour les applications critiques

摘要

La reunion de creation du consortium DDASCA s'est tenue en juin dernier. Industriels et academiques membres de l'association se sont reparti les taches et ont fixe un calendrier pour leurs travaux. L'objectif: proposer une plate-forme materielle et logicielle ouverte et facilement certifiable quel soit le secteur. La securite des systemes critiques est plus que jamais un sujet d'actualite. Il suffit pour s'en convaincre de voir le nombre de societes a avoir rejoint le consortium DDASCA, l'association pour la recherche, la promotion et le developpement des architectures distribuees pour applications critiques. Initie par B&R Automation, Arion Entreprise et l'ENSTA ParisTech, le projet compte aujourd'hui de nombreux industriels des automatismes, du process, de l'energie et des transports. Parmi eux, des fournisseurs de solutions comme Altera France, Altis, CS, ClearSy, DMAP, HPC Project, Nexeya, RTaW, Scaleo chip, Scilab Enterprises, Tronico ou Wind River, des academiques (ENS Cachan, ENS ULM, ENSAM et INRIA), des utilisateurs (SNCF, Alstom Power, EDF R&D, Nexter, EADS, Eurocopter, Siemens ou Thales Transportation), une agence nationale (le CNES) et l'organisme de standardisation EPSG (Ethernet Powerlink Standardization Group). Tous ces industriels se sentent pleinement concernes par les problemes de certification des systemes bases sur des architectures multicoeurs, lance Bruno Monsuez, responsable de l'unite Electronique-informatique de l'ENSTA ParisTech et secretaire de l'association DDASCA. Il faut dire qu' a l'heure actuelle, il est impossible de certifier une application de securite SIL3 ou SIL4 qui s'execute sur un ou plusieurs processeurs multicoeurs. Notre objectif est donc de proposer des plates-formes parfaitement deterministes, ainsi que tous les outils logiciels necessaires a la creation des applications et a leur certification.