Supervision : Jean-Gabriel GANASCIA
Co-supervision : HADJ-MABROUK H.

Capitalisation, évaluation et réutilisation des erreurs des logiciels critiques de sécurité . Application à la certification des systèmes de transport guidés

Phd defence : 02/04/1999

1997-1999 Publications

• 1999
  • M. Darricau : “Capitalisation, évaluation et réutilisation des erreurs des logiciels critiques de sécurité . Application à la certification des systèmes de transport guidés”, thesis, phd defence 02/04/1999, supervision Ganascia, Jean-Gabriel, co-supervision : Hadj-mabrouk, H. (1999)
• 1998
  • M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “A model for reusing specifications of safety-critical software in the field of automated people movers”, Congrès IEEE, Computational engineering in systems applications, Nabeul-Hammamet, Tunisia, pp. 1-4 (1998)
• 1997
  • M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “Une approche pour la réutilisation des spécifications de logiciels. Application au domaine de la sécurité des systèmes de transport guidés”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. EC2 (45), pp. 2-8, (Génie industriel multimédia) (1997)
  • M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “Acquisition and structuration of knowledge of safety critical software specifications”, 8^th IFAC Symposium on Transportation Systems, vol. 30 (8), IFAC Proceedings Volumes, Chania, Greece, pp. 1151-1155, (Elsevier) (1997)