Safety critical software assessment : past expériences and new approach

EL KOURSI ; MARIANO

Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
EL KOURSI ; MARIANO
Résumé / Abstract
THIS PAPER DEALS WITH THE APPROACH FOR ASSESSING THE SAFETY CRITICAL SOFTWARE DEVELOPED WITH THE B FORMAL METHOD. IT PRESENTS THE FORMAL METHOD IMPACTS ON A CLASSICAL ASSESSMENT APPROACH BASED ON REVIEWING THE PRODUCED DOCUMENTATION, MODELLING THE SPECIFICATION AND TESTING THE ACTUAL SOFTWARE (BLACK BOX). IT GIVES A SET OF SPECIFIC METRICS AND CRITERIA TO BE USED FOR JUDGING THE COMPLIANCE WITH THE QUALITY AND THE SAFETY REQUIREMENTS.

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR