Rechercher

[BKM11a] 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

Chapitres de Livre : Titre du livre: "Utilisation industrielles des techniques formelles – interprétation abstraite", June 2011, Hermes science,

Auteurs: A. Baiotto , F. Kaakai , R. Marcano , D. Drago

Mots clés: Sécurité logiciel, analyse statique, programmation en entier

Résumé: 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.

Equipe: sys
Collaboration:

BibTeX

@inbook {
BKM11a,
title="{Utilisation industrielles des techniques formelles – interprétation abstraite}",
chapter="{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}",
author="A. Baiotto and F. Kaakai and R. Marcano and D. Drago",
year=2011,
publisher="Hermes science",
}