Analyse statique de code : une méthode intégrée outillée développée par Thales pour l'étude du passage en entiers et des débordements pour des composants logiciels SIL4

Ce chapitre présente une méthode basée sur l'arithmétique des intervalles pour analyser les risques de calculs dus aux conversions en entiers de spécifications décrites ne nombre réels. Ce travail s'intéresse également aux risques de débordements et de division par zéro dans les chaines de traitement arithmétique. La méthode détaillée dans ce chapitre a été développée et appliquée dans le contexte du contrôle/commande de système ferroviaire. Une application de la méthode à un algorithme qui contrôle la vitesse sécuritaire des trains dans un système CBTC est présentée