La sûreté des logiciels - CEA
La sûreté des logiciels - CEA
La sûreté des logiciels - CEA
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Le List fédère les équipes de la Direction de la recherche technologique du <strong>CEA</strong> basées enIle-de-France, à Fontenay-aux-Roses(92) et à Saclay (91). Il est porteur, en partenariat avec leCNRS/Stic du projet NUM@TEC, plate-forme d’innovation pour les technologies numériques, pourconstituer en région Ile de France un pôle de recherche technologique de dimension européennecentré sur les « systèmes à logiciel prépondérant ».<strong>La</strong> recherche en <strong>sûreté</strong> <strong>des</strong> <strong>logiciels</strong>Le <strong>CEA</strong> List mène <strong>des</strong> travaux de recherche technologique pourmaîtriser la <strong>sûreté</strong> et la complexité <strong>des</strong> <strong>logiciels</strong>. Couvrant tout lecycle de développement du logiciel, le List propose <strong>des</strong> métho<strong>des</strong>et <strong>des</strong> outils pour diminuer le coût de développement <strong>des</strong> <strong>logiciels</strong>et accroître leur <strong>sûreté</strong> en analysant et en détectant le plus enamont possible les erreurs de spécifications, de conception <strong>des</strong>ystèmes et en générant ainsi les tests structurels adaptés. Cestravaux sont menés dans deux laboratoires du List : le <strong>La</strong>boratoire<strong>sûreté</strong> <strong>des</strong> <strong>logiciels</strong> et le <strong>La</strong>boratoire <strong>logiciels</strong> pour la <strong>sûreté</strong> <strong>des</strong>procédés.Fondé sur une expérience acquise sur plus de vingt ans pourrépondre aux besoins de l’industrie nucléaire, la compétence duList sur la <strong>sûreté</strong> est aussi déployée dans le secteur <strong>des</strong> transportstant pour les besoins de la défense que pour les besoins civils, enparticulier pour les transports aéronautique et automobile.Pour répondre aux contraintes de <strong>sûreté</strong> sécurité et de performancede l’industrie, le List est le seul laboratoire de recherche possédantune offre conséquente et une masse critique et mobilisable.Une offre importante dans les techniques de preuve et d’analyse de logicielCaveat : Mise en évidence et preuve de propriétés attenduesFluctuat : Etude de la précision numérique de calculs en nombres flottantsAlcool : Détection <strong>des</strong> erreurs de type blocage, perte d’information, etc.Slicer : Recherche et isolation <strong>des</strong> composants <strong>logiciels</strong> participant au calcul du paramètreintéressant le concepteur dans un logiciel de plusieurs dizaines de milliers de lignes de code. Cetoutil est particulièrement important pour la reprise et la maintenance de <strong>logiciels</strong> existants.Gatel : Méthode et outil d’assistance à la génération de séquence de tests à partir d’une<strong>des</strong>cription en langage LUSTREAGATHA : Analyse et validation de spécifications de systèmes industriels complexes à partir delangages standards tel que UML, Statecharts, SDL…OASIS : Méthode et outils pour la conception de systèmes temps réel Multitâches déterministespour les applications de <strong>sûreté</strong>CLAIRE : Environnement de test de systèmes temps-réel distribués utilisant <strong>des</strong> simulateurs demicroprocesseurs<strong>CEA</strong> LIST18, route du Panorama - BP 6 - 92265 Fontenay-aux-Roses CedexTél. 01 46 54 99 37 – Fax. 01 46 54 99 42www-drt.cea.frDossier de presse <strong>CEA</strong> : <strong>sûreté</strong> <strong>des</strong> <strong>logiciels</strong> septembre 2003 www.cea.fr / 17
Change language