Aucun titre de diapositive

1
EDEN2 Boîte à outils industriels pour
lévaluation sécuritaire aux plus hauts
niveaux des Critères Communs
Pré-compétitif
Objectifs

• EDEN2 fait suite au projet exploratoire EDEN dont
  le but était délaborer un environnement de
  conception, de vérification et de test facilitant
  la constitution des fournitures dévaluation
  sécuritaires selon les Critères Communs (CC).
• Industrialiser la méthodologie et les outils
  développés dans EDEN étude et mise en œuvre
  dévolutions techniques du langage de
  spécification et des outils associés.
• Préparer lévaluation CC dun composant embarqué
  en utilisant la méthodologie et les outils EDEN
  prise en compte de tous les niveaux
  darchitecture logicielle proposés par les CC
  (version 3.1), mise à jour des fonctionnalités de
  production des fournitures d'évaluation (éléments
  de traçabilité, preuves et plans de test).

Contact projet FAIVRE Alain, CEA-LIST,
LIST/DTSI/SOL/LLSP, F91191 Gif-sur-Yvette Cedex
France (Tél. 33 - 1 69 08 34 22) Email
alain.faivre_at_cea.fr Site web http//www.eden-rnt
l.org