Croissance de la sûreté de fonctionnement des logiciels PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Croissance de la sûreté de fonctionnement des logiciels PDF full book. Access full book title Croissance de la sûreté de fonctionnement des logiciels by Karama Kanoun. Download full books in PDF and EPUB format.
Author: Karama Kanoun
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
LE COMPORTEMENT DU LOGICIEL EST MODELISE EN FONCTION DE DIFFERENTES SITUATIONS: CORRECTION IMMEDIATE OU DIFFEREE PAR LOT, CHANGEMENTS DE SPECIFICATIONS. POUR CHACUNE DES SITUATIONS UN MODELE DE CONNAISSANCE EST ETABLI. CES MODELES SONT ENSUITE APPROCHES PAR DES MODELES D'ACTION. UNE METHODE D'EVALUATION DE LA SURETE DE FONCTIONNEMENT DES LOGICIELS EST PROPOSEE
Author: Karama Kanoun
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
LE COMPORTEMENT DU LOGICIEL EST MODELISE EN FONCTION DE DIFFERENTES SITUATIONS: CORRECTION IMMEDIATE OU DIFFEREE PAR LOT, CHANGEMENTS DE SPECIFICATIONS. POUR CHACUNE DES SITUATIONS UN MODELE DE CONNAISSANCE EST ETABLI. CES MODELES SONT ENSUITE APPROCHES PAR DES MODELES D'ACTION. UNE METHODE D'EVALUATION DE LA SURETE DE FONCTIONNEMENT DES LOGICIELS EST PROPOSEE
Author: LYONNET Patrick
Publisher: Lavoisier
ISBN: 2743064676
Category :
Languages : en
Pages : 506
Get Book Here
Book Description
De tout temps l’homme a sans doute voulu construire des choses fiables. Mais les évaluations quantifiées, probabilisées ont vu le jour récemment d’abord pour systèmes militaires (missiles, satellites) puis nucléaires, automobiles et les biens d’équipements. On peut citer que dès 1906 les constructeurs de tubes à vides américains se sont préoccupés de fiabilité, de là est née la fiabilité électronique, puis mécanique, informatique et humaine des systèmes et composants. Cette évolution contemporaine a produit de nombreux outils, concepts et méthodes. Ces développements sont au centre de l’ouvrage. Fiabilité Technique et Humaine rassemble les concepts, techniques et outils de la fiabilité des composants et systèmes en considérant toutes les technologies et dimensions, notamment la mécanique, l’électronique, l’informatique et les aspects humains. En effet, les erreurs humaines sont à l’origine de nombreuses défaillances et de ce fait ne peuvent être ignorées lors de la conception ou du maintien des installations. Les diverses formes de fiabilité, prévisionnelle, expérimentale et opérationnelle sont explicitées et illustrées aux travers d’applications industrielles. Les concepts, outils et techniques de fiabilité les plus complexes sont présentés à partir d’exemples permettant au lecteur de se familiariser avec ce domaine. La présentation très didactique de ces concepts, étayée par plus de 100 exercices et problèmes corrigés en fait un ouvrage incontournable pour la maîtrise de la fiabilité technique et humaine.
Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : fr
Pages : 20
Get Book Here
Book Description
Author: Gilles Tiphaigne
Publisher:
ISBN:
Category :
Languages : fr
Pages : 192
Get Book Here
Book Description
Author: Jean-Claude Laprie
Publisher: Springer
ISBN: 370919170X
Category : Computers
Languages : en
Pages : 268
Get Book Here
Book Description
Author: JACQUES.. PELET
Publisher:
ISBN:
Category :
Languages : fr
Pages : 226
Get Book Here
Book Description
LA COURSE AUX TECHNOLOGIES NOUVELLES POUSSE DE PLUS EN PLUS LES CONCEPTEURS DE SYSTEMES A INTRODUIRE DE LA LOGIQUE PROGRAMMEE LA OU HIER ON TROUVAIT DE LA LOGIQUE CABLEE. LA GRANDE SOUPLESSE DU LOGICIEL A UN REVERS : LA COMPLEXITE. SI ELLE N'EST PAS MAITRISEE, ELLE DEGRADE CONSIDERABLEMENT LA SURETE DE FONCTIONNEMENT DE L'ENSEMBLE DU DISPOSITIF. L'OBJET DE LA THESE EST DOUBLE DANS UN CADRE OU LES LOGICIELS ETUDIES TRAITENT ESSENTIELLEMENT DES FONCTIONS DE SECURITE. LE BUT ETAIT, PREMIEREMENT D'ACQUERIR UN MAXIMUM DE RENSEIGNEMENT SUR L'ETAT DE L'ART DE LA CONCEPTION ET DE LA VALIDATION DES LOGICIELS. LE SECOND OBJECTIF ETAIT DE METTRE AU POINT UNE METHODOLOGIE D'EVALUATION DE L'INTEGRITE DES LOGICIELS. LA DEMARCHE QUE NOUS AVONS DEFINIE EST BASEE SUR L'ANALYSE DES RISQUES ET SUR LA MAITRISE DU COMPORTEMENT DU LOGICIEL. CETTE DEMARCHE PROPOSE UNE EVALUATION SOUS DEUX ASPECTS : LE PRODUIT LOGICIEL, ET SON PROCESSUS DE DEVELOPPEMENT. LES EXIGENCES DE VERIFICATIONS SONT MODULABLES EN FONCTION DE LA CRITICITE FONCTIONNELLE ET STRUCTURELLE DU LOGICIEL. LA CRITICITE STRUCTURELLE A ETE DEFINIE EN TERME D'IMMUNITE DE LA STRUCTURE VIS A VIS DES DEFAILLANCES DES MODULES LOGICIELS. DES ETUDES DE QUALIMETRIE SONT MENEES POUR DEMONTRER LA MAINTENABILITE ET LA ROBUSTESSE DU CODE. A PARTIR D'ANALYSES DE DEPENDANCES BASEES SUR LE SLICING, LE COMPORTEMENT DES FONCTIONS DE SECURITE PEUT ETRE APPREHENDE PAR L'INTERMEDIAIRE D'UN INDICATEUR DE VULNERABILITE. CETTE INDICATEUR CARACTERISE LA SENSIBILITE DES SORTIES DU SYSTEME PAR RAPPORT A SES ENTREES. CES ETUDES ONT ETE AUTOMATISEES AU TRAVERS D'UN OUTIL D'ANALYSE DE CODE, ALLEGEANT AINSI LE TRAVAIL DE L'EVALUATEUR. UN EXEMPLE D'APPLICATION DE LA METHODE D'EVALUATION A ETE REALISEE SUR UN SYSTEME ASSURANT LE CONTROLE DU MOUVEMENT DES VEHICULES EN SECURITE INTRINSEQUE.
Author:
Publisher:
ISBN:
Category : Flight control
Languages : en
Pages : 368
Get Book Here
Book Description
Author: Institut de sûreté de fonctionnement (France). Groupe de travail et de réflexion (62)
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: Quentin Enard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d'une nouvelle application digne de confiance.Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.
Author: Frederic Salles
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
