Plate-forme Systèmes et Logiciels Critiques

Projets Pilotes

Plan

gorigh.gifPrésentation

gorigh.gifButs et moyens

gorigh.gifJSLC 2000

gorigh.gifJSLC 2001

gorigh.gifProjets-pilote

gorigh.gifClub des Partenaires

gorigh.gifNous contacter

gorigh.gifLiens


Projets 2000
OTEST : génération automatique d'objectifs de tests à partir d'une spécification SDL (VERIMAG et le CEA/LETI)

AUTOFOR : Méthodes Formelles pour les Automatismes de Sécurité (VERIMAG et Schneider Electric)
Télécharger la démo

TESTABLILITE : analyse de testabilité a priori des logiciels critiques (INPG/LCIS et THALES-SEXTANT)
Projets 2001
EDEN : Environnement semi-formel et formel pour le Développement et l'Évaluation en vue d'une Certification suivant les Critères Communs (VERIMAG, CEA-LETI/DEIN, CESTI-LETI et Trusted Logic)