Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Vfsi cours Master Génie Logiciel Validation formelle des systèmes informatiques VFSI CIntroduction les systèmes informatiques contrôlent de plus en plus de t? ches dans notre entourage de l'instrument médical au système de contrôle du tra ?c aérien ? Il e

Master Génie Logiciel Validation formelle des systèmes informatiques VFSI CIntroduction les systèmes informatiques contrôlent de plus en plus de t? ches dans notre entourage de l'instrument médical au système de contrôle du tra ?c aérien ? Il est évident que les systèmes qui assurent ces t? ches doivent être ?ables et sûres CExemples de systèmes Transport ? Systèmes de contrôle ferroviaire Système de contrôle et de gestion des trains Système de contrôle d'une ligne de métro Tramway CExemples de systèmes ? Aviation -Système de contrôle automatisé du tra ?c aérien -Système de pilotage automatique d ? un avion ? Banque -Distributeurs automatique de billets CExemples de systèmes ? Automobiles - Système ESP anti-dérapage Calculateur - Chaine de montage de véhicule - Smart cars conduite stationnement freinage ? Maison Domotique Smart Home systèmes de gestion d'énergie du Confort de sécurité CSystèmes complexe ? Un système est dit complexe si le résultat ?nal n'est pas prédictible directement en connaissant les règles qui disent comment le système change ? S O S System Of Systems résulte du fonctionnement collaboratif de systèmes CSOS CSOS CPourquoi la validation des systèmes informatiques ? Sécurité des personnes ? Retour des produits ? Relations contractuelles Cout de bugs des milliards de dollars CBugs couts ? The Systems Sciences Institute at IBM has reported that ??the cost to ?x an error found after product release was four to ?ve times as much as one uncovered during design and up to times more than one identi ?ed in the maintenance phase ? CBugs couts ? désastre LOUVOIS Cet acronyme désigne un logiciel lancé en un projet majeur de modernisation du secteur public permettant la gestion de la paye des militaires Quatre ans plus tard on compte dossiers litigieux à cause de soldes non versées et de trop perçus Et cela s ? aggrave millions d ? euros ont été versés en trop sur les soldes des militaires rien qu ? en janvier selon la Cour des Comptes Source www challenges fr economie CBugs couts ? Toyota recall ? Toyota a rappelé plus de millions de voitures dans le monde entier en mais il n'a pas été à cause d'un problème mécanique Les voitures avaient un bug logiciel qui a causé un retard dans le système anti-blocage de frein ABS CValidation vs Véri ?cation ? Validation Développons-nous le bon produit ? Véri ?cation Développons-nous correctement le produit ? La véri ?cation concerne la preuve de propriétés alors que la validation est un processus plus général qui va jusqu ? à la satisfaction du client visà-vis du produit CValidation et véri ?cation Dé ?nitions Véri ?cation La véri ?cation est l ? ensemble des actions d ? inspection test preuve automatique ou autres techniques appropriées permettant d ? établir et de documenter la conformité des étapes de développement vis-à-vis de critères préétablis CValidation et véri ?cation Dé ?nitions Validation La validation consiste à évaluer l ? adéquation du système développé vis à-vis des besoins exprimés par ses futurs utilisateurs Disposer d ?