Projet Feria
Étude comparative de différentes méthodes et outils pour la recherche de scénarios particuliers

Animateurs

ONERA : Christel Seguin
LAAS : Robert Valette

Participants

• IRIT : O. Koné, M. Strecker, R. Bouaziz
• LAAS : B. Berthomieu, H. Demmou, M. Medjoudj, N. Rivière, N. Sadou, R. Valette, H. Waeselynck
• ONERA (DTIM, DCSD) : P. Bieber, C. Castel, L. Cholvy, C.Kehren, L. Sagaspe, C. Seguin

Pour mémoire liste des participants l'an dernier.

Projet

Résumé du projet :
Lors de la vérification et de l'évaluation de la qualité d'un système informatique embarqué interagissant avec un système physique, on a souvent besoin de caractériser des scénarios. Par exemple il est nécessaire de trouver une séquence qui amène au viol d'une propriété, ou bien on cherche tous les scénarios amenant le système physique à un état redouté, c'est-à-dire un état tel que la sécurité des utilisateurs n'est plus assurée. Le but du projet est de :
- préciser ce que l'on entend par scénario dans un système complexe formé d'un grand nombre d'éléments qui interagissent entre eux.
- faire un tour d'horizon des méthodes et des outils disponibles à l'heure actuelle et enfin de bâtir un projet à plus long terme impliquant en particulier des personnes travaillant sur le test.

• Fiche synthétique du projet.

• Transparents de première présentation du projet (21 octobre 2003).

Réunions

• Mercredi 5 novembre 2003 14h00 au LAAS-CNRS salle Aubisque
  - Compte-rendu
  - Transparents présentés lors de cette réunion.
  - Exemple des deux réservoirs.
  - Pointeur vers la page d'Antoine Rauzy pour accéder aux articles suivants :
             Y. Dutuit & A. Rauzy. Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety, 58:127-144, 1997.
             A. Rauzy. Mathematical Foundation of Minimal Cutsets. IEEE Transactions on Reliability, 50(4):389-396, december 2001.

• Jeudi 4 décembre 2003 14h00 au LAAS-CNRS salle Vignemale
  - Compte-rendu
  - Transparents présentés lors de cette réunion.
  - Exemple (nouvelle version) des deux réservoirs (nouvelle version élaborée après la réunion du 4 décembre).

• Mardi 10 février 2004 14h00 au LAAS-CNRS salle Vignemale
  - Compte-rendu
  - Transparents LAAS présentés lors de cette réunion.
  - Transparents ONERA présentés lors de cette réunion.
  

• Jeudi 1 avril 2004 14h00 au LAAS-CNRS salle Vignemale
  - Compte-rendu
  - Transparents ONERA présentés lors de cette réunion.
  - Transparents LAAS présentés lors de cette réunion.
  

• Jeudi 15 mai 2004 14h00 au LAAS-CNRS salle Vignemale
  - Compte-rendu
  - Transparents ONERA sur l'approche logique temporelle présentés lors de cette réunion.
  - Transparents LAAS présentés lors de cette réunion.
  - Transparents ONERA sur l'approche logique présentés lors de cette réunion.
  

• Mardi 6 juillet 2004 14h00 au LAAS-CNRS salle Vignemale
  - Compte-rendu
  - Transparents présentés lors de cette réunion.
  

• Lundi 30 août 2004 14h00 au LAAS-CNRS salle Vignemale
  Rédaction de l'article soumis à Qualita 2005

• Fiche de proposition de poursuite du projet en 2005.

• Jeudi 9 décembre 2004, 14h00 Salle du Boulon, ONERA
  - Compte-rendu
  - Transparents présentés lors de cette réunion.
  

• Jeudi 3 février 2005, 14h00 Salle Vignemale au LAAS
  - Transparents IRIT présentés lors de cette réunion.
  - Transparents LAAS présentés lors de cette réunion.
  

• Jeudi 3 mars 2005, 14h00, Salle Vignemale au LAAS
  - Transparents LAAS-TSF présentés lors de cette réunion.
  

• Jeudi 7 avril 2005, 14h00, Salle Vignemale au LAAS
  - Transparents d'Hélène présentés lors de cette réunion.
  - Transparents de Robert présentés lors de cette réunion.
  - Transparents de Christel présentés lors de cette réunion.
  

• Jeudi 12 mai 2005, 14h00
  A la suite d'un contretemps, la réunion est annulée
  

• Jeudi 16 juin 2005, 14h00-17h00, salle Vignemale au LAAS-CNRS
  - Transparents présentés lors de cette réunion.
  - Texte d'accompagnement des transparents.
  

• Jeudi 8 septembre 2005, 14h00-16h00, salle Vignemale au LAAS-CNRS
  - Transparents de Laurence Cholvy
  

• Mercredi 19 octobre 2005, 14h00-17h00, salle Vignemale au LAAS-CNRS
  - Transparents de l'ONERA
  - Transparents du LAAS

• Lundi 21 novembre 2005, 14h00-17h00, salle Vignemale au LAAS-CNRS
  - Transparents de Marc Bouissou
  - Transparents de l'ONERA
  - Transparents du LAAS

• Mardi 13 décembre 2005, 14h00-16h00, salle Vignemale au LAAS-CNRS
  - Transparents de Nabil Sadou
  

• Mercredi 18 janvier 2006, 14h00-16h00, salle Vignemale au LAAS-CNRS
  

• Lundi 27 mars 2006, 14h00-17h00, Salle Vignemale au LAAS-CNRS
  - Lien vers les travaux de Cialdea Mayer:
  http://www.inf.uniroma3.it/~cialdea/works.html

• Mercredi 17 mai 10h15-12h00 Jean Lagasse 1
  - Transparents de Christel Seguin
  

• Jeudi 22 juin 2006, 14h00-16h00
  - presentation de VTS par Hélène
  - lien vers le groupe de l'Université de Buenos Aires:
  http://dependex.dc.uba.ar/
  Les articles sur lesquels la présentation est basée sont:
  - Alejandra Alfonso, Víctor Braberman, Nicolas Kicillof, Alfredo Olivero:
  "Visual Timed Event Scenarios" , ICSE 2004: 26th International Conference on Software Engineering, page 168--177 - 2004
  - Víctor Braberman, Nicolas Kicillof, Alfredo Olivero:
  "A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties" , IEEE Transactions on Software Engineering, Volume 31, Number 12, page 1028--1041 - December 2005

• Jeudi 05 octobre 2006, 14h00-16h00, salle Tourmalet
  - présentation du LAAS

• Vendredi 24 novembre 2006, 14h00-16h00, salle Vignemale au LAAS

Rapports et Publications

• P. Bieber, C. Castel, L. Cholvy, H. Demmou, C. Kehren, M. Medjoudj, N. Rivière, C. Seguin, R. Valette
  Qualitative formalisation of critical scenarios with respect to dynamic system models
  Présenté à Qualita 2005, Bordeaux, 16-18 mars 2005
  Papier    Transparents
• N. Sadou, H. Demmou, R. Valette:
  Minimalité des scénarios dans le cadre des réseaux de Petri
  Rapport LAAS No06173 Journées FAC'2006 "Formalisation des Activités Concurrentes", Toulouse (France,), 23-24 Mars 2006, 12p.
  Papier
• N. Sadou, H. Demmou, J.C. Pascal, R. Valette:
  Continuous dynamic abstraction for reliability and safety analysis of hybrid systems
  Rapport LAAS No06174 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'2006), Beijing (Chine), 30 Août - 1er Septembre 2006
  Papier
• N.Sadou, H. Demmou:
  Minimality of critical scenarios in Petri net models
  Rapport LAAS No06369 2006 IEEE International Conference on Systems, Man, and Cybernetics, Taipei (Taiwan), 8-11 Octobre 2006, pp.3422-3429
  Papier

Retour FERIA-SVF