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.