Sûreté de fonctionnement de systèmes logiciels critiques 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 Sûreté de fonctionnement de systèmes logiciels critiques PDF full book. Access full book title Sûreté de fonctionnement de systèmes logiciels critiques by Alberto Arazo. Download full books in PDF and EPUB format.
Author: Alberto Arazo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Get Book Here
Book Description
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûreté de fonctionnement des systèmes critiques auxquels ils s'intègrent et des nouvelles stratégies de validation s'avèrent nécessaires. La principale difficulté provient du peu d'information à priori disponible sur leur conception, ce qui rend impossible leur validation, dans des conditions opérationnelles, avec un niveau de confiance compatible avec des exigences critiques. La démarche que nous préconisons a été définie dans le cadre d'un processus d'acceptation dans lequel un industriel cherche à acquérir et à qualifier un système complet de contrôle-commande du commerce (SCC-COTS), répondant à ses exigences de sûreté de fonctionnement et à celles des autorités de tutelle. Notre démarche propose tout abord un méta-modèle d'architecture de système, permettant d'instancier une offre de SCC-COTS compatible avec les besoins fonctionnels de l'acquéreur. Le méta-modèle proposé vise à fournir les moyens pour, d'une part, construire le référentiel d'informations suffisantes pour la validation expérimentale de la sûreté de fonctionnement par injection de fautes et, d'autre part, mieux identifier et analyser l'impact des fautes injectées sur les exigences aussi bien fonctionnelles que de sûreté de fonctionnement. Autour de ce référentiel nous avons conçu un outillage de support où l'analyse formelle du comportement des composants logiciels du SCC-COTS prend une place importante. Les exécutions symboliques déduites de cette analyse constituent un oracle d'une implémentation. Elles permettent aussi bien d'analyser l'impact de fautes sur les propriétés du système, exprimées à l'aide de la logique temporelle, que de guider le test opérationnel des mécanismes internes de tolérance aux fautes. Ce dernier aspect est illustré sur un mécanisme de communication d'un SCC-COTS, destiné à la supervision de centrales de production d'énergie.
Author: Alberto Arazo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Get Book Here
Book Description
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûreté de fonctionnement des systèmes critiques auxquels ils s'intègrent et des nouvelles stratégies de validation s'avèrent nécessaires. La principale difficulté provient du peu d'information à priori disponible sur leur conception, ce qui rend impossible leur validation, dans des conditions opérationnelles, avec un niveau de confiance compatible avec des exigences critiques. La démarche que nous préconisons a été définie dans le cadre d'un processus d'acceptation dans lequel un industriel cherche à acquérir et à qualifier un système complet de contrôle-commande du commerce (SCC-COTS), répondant à ses exigences de sûreté de fonctionnement et à celles des autorités de tutelle. Notre démarche propose tout abord un méta-modèle d'architecture de système, permettant d'instancier une offre de SCC-COTS compatible avec les besoins fonctionnels de l'acquéreur. Le méta-modèle proposé vise à fournir les moyens pour, d'une part, construire le référentiel d'informations suffisantes pour la validation expérimentale de la sûreté de fonctionnement par injection de fautes et, d'autre part, mieux identifier et analyser l'impact des fautes injectées sur les exigences aussi bien fonctionnelles que de sûreté de fonctionnement. Autour de ce référentiel nous avons conçu un outillage de support où l'analyse formelle du comportement des composants logiciels du SCC-COTS prend une place importante. Les exécutions symboliques déduites de cette analyse constituent un oracle d'une implémentation. Elles permettent aussi bien d'analyser l'impact de fautes sur les propriétés du système, exprimées à l'aide de la logique temporelle, que de guider le test opérationnel des mécanismes internes de tolérance aux fautes. Ce dernier aspect est illustré sur un mécanisme de communication d'un SCC-COTS, destiné à la supervision de centrales de production d'énergie.
Author: Philippe David
Publisher: Hermes Science Publications
ISBN: 9782746207271
Category :
Languages : fr
Pages : 234
Get Book Here
Book Description
Introduire des logiciels libres dans les systèmes critiques semble risqué de par les fortes contraintes qui régissent ces systèmes ; exigences de sûreté de fonctionnement, normes de développement drastiques, certification. Toutefois, les logiciels libres sont en pleine expansion et leur usage dans les applications industrielles se confirme, démontrant une véritable évolution de la pratique de l'utilisation des logiciels dans les entreprises. Celles-ci doivent donc s'adapter et trouver des solutions pour rapprocher les pratiques de ce monde du libre des contraintes du domaine industriel. Les logiciels libres sont, sur certains points, comparables aux logiciels commerciaux sur étagères (LOTS) qui sont déjà exploités dans les systèmes critiques. Logiciel libre et sûreté de fonctionnement part donc des solutions avancées pour l'utilisation (les LOTS au sein des systèmes critiques, puis étend l'analyse aux caractéristiques spécifiques des logiciels libres. II propose des solutions pour gérer les impacts de leur exploitation et pour permettre aux entreprises de ne plus seulement être utilisatrices mais actives dans la création de nouveaux logiciels libres.
Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : fr
Pages : 20
Get Book Here
Book Description
Author: Sayed Mohamed-Salih
Publisher:
ISBN:
Category :
Languages : fr
Pages : 210
Get Book Here
Book Description
Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : fr
Pages : 20
Get Book Here
Book Description
Author: Jean-Claude Laprie
Publisher: Éditions Cépaduès
ISBN: 2854283821
Category : Computers
Languages : fr
Pages : 17
Get Book Here
Book Description
Author: Rene Jacquart
Publisher: Springer
ISBN: 140208157X
Category : Computers
Languages : en
Pages : 739
Get Book Here
Book Description
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas. Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence. Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Author: K.E. Peterson
Publisher: CRC Press
ISBN: 9781851668755
Category : Business & Economics
Languages : en
Pages : 1226
Get Book Here
Book Description
Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1118578619
Category : Technology & Engineering
Languages : en
Pages : 130
Get Book Here
Book Description
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). “Certifiable system” aspects are taken into account throughout the book. Contents 1. Safety Management. 2. From System to Software. 3. Certifiable Systems. 4. Risk and Safety Levels. 5. Principles of Hardware Safety. 6. Principles of Software Safety. 7. Certification. About the Authors Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.
Author: TITOS.. SARIDAKIS
Publisher:
ISBN:
Category :
Languages : fr
Pages : 168
Get Book Here
Book Description
LES LIENS INDISSOLUBLES ENTRE LES ORDINATEURS ET LES DEFAILLANCES ONT CONDUIT A L'INVENTION D'UNE VARIETE DE TECHNIQUES DE TOLERANCE AUX FAUTES, POUR SATISFAIRE, POTENTIELLEMENT, TOUTES LES EXIGENCES CONCERNANT LA SURETE DE FONCTIONNEMENT. EN CONSEQUENCE, LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT N'EST PLUS BASEE SUR L'INVENTION DES MECANISMES QUI FOURNISSENT LES GARANTIES DE SURETE DE FONCTIONNEMENT DESIREES, MAIS PLUTOT SUR LA SELECTION PARMI DES TECHNIQUES EXISTANTES, DE CELLE QUI CONVIENT LE MIEUX POUR LES EXIGENCES DU SYSTEME. ENSUITE, UNE CODIFICATION DE LA TECHNIQUE SELECTIONNEE PEUT SERVIR COMME INDEX POUR EXTRAIRE D'UN REPERTOIRE CONTENANT DES MECANISMES DE TOLERANCE AUX FAUTES, CELUI QUI MET EN OEUVRE LA TECHNIQUE SELECTIONNEE. IL EN RESULTE QUE LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT DEVIENT UN PROCESSUS DE TRANSFORMATION D'UN ENSEMBLE DE CONTRAINTES DE SURETE DE FONCTIONNEMENT DANS UN MECANISME DE TOLERANCE AUX FAUTES QUI LES SATISFAIT. LE BUT DE CETTE THESE EST D'ASSURER LA NATURE ROBUSTE DE LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT, EN FONDANT LE PROCESSUS DE SELECTION SUR UNE BASE FORMELLE. PLUS PRECISEMENT, CETTE BASE FORMELLE SE COMPOSE DE : % UN MODELE DE SYSTEME EXPRIMER EN TERME D'ETATS ET D'ACTIONS, QUI PERMET LA SPECIFICATION DES PROPRIETES DE SURETE DE FONCTIONNEMENT DANS UNE LOGIQUE TEMPORELLE DE PREDICATS % UNE RELATION DE RAFFINEMENT DE PROPRIETES DE SURETE DE FONCTIONNEMENT, UNE RELATION DE RAFFINEMENT DE SPECIFICATIONS DE SYSTEMES, ET LEUR CORRELATION. % DES MOYENS POUR DERIVER AUTOMATIQUEMENT L'IMPACT ARCHITECTURAL D'UNE PROPRIETE DE SURETE DE FONCTIONNEMENT SUR LES SPECIFICATIONS D'UN SYSTEME. % UN SCHEMA DE CLASSIFICATION, QUI CAPTURE LES RELATIONS DE RAFFINEMENT DES PROPRIETES ET DES SPECIFICATIONS. CE SCHEMA STRUCTURE LE CONTENU D'UN REPERTOIRE DE MECANISMES DE TOLERANCE AUX FAUTES, ET FACILITE LE PROCESSUS DE SELECTION SUSMENTIONNE. LA CONTRIBUTION PRATIQUE DE CETTE THESE EST EVALUEE DANS LE CADRE DE L'ENVIRONNEMENT DE DEVELOPPEMENT ASTER. LA BASE FORMELLE EST ADAPTEE AUX SPECIFICITES D'ASTER, ET UN OUTIL EST PRESENTE, QUI EXPLOIT LE SCHEMA DE CLASSIFICATION POUR EFFECTUER L'ANALYSE DES EXIGENCES CONCERNANT LA SURETE DE FONCTIONNEMENT. CET OUTIL EST INTEGRE DANS L'ENVIRONNEMENT ASTER, ET REMPLACE L'OUTIL STANDARD POUR L'EXTRACTION DE MECANISMES DE TOLERANCE AUX FAUTES. LES RESULTATS DE L'ANALYSE DES EXIGENCES FOURNISSENT AUSSI LES INSTRUCTIONS POUR L'INTEGRATION DES MECANISMES DE TOLERANCE AUX FAUTES SELECTIONNES DANS LA STRUCTURE DU SYSTEME. BIEN QU'ELLE NE SOIT PAS INNOVATRICE, PUISQU'ELLE UTILISE DES TECHNIQUES BIEN CONNUES RELEVANT DES DOMAINES DES SPECIFICATIONS FORMELLES, DE L'ANALYSE DES EXIGENCES, DES ARCHITECTURES LOGICIELLES, ET DE LA RE-UTILISATION DU LOGICIEL, L'ORIGINALITE DE CETTE THESE REPOSE SUR LA COMBINAISON DES TECHNOLOGIES EXISTANTES POUR LE BENEFICE DE LA CONSTRUCTION DES SYSTEMES. LA NATURE ROBUSTE DE CETTE CONSTRUCTION EST GARANTIE PAR L'ANALYSE RIGOUREUSE ET LE RAFFINEMENT CORRECT DES EXIGENCES D'UN SYSTEME CONCERNANT LA SURETE DE FONCTIONNEMENT.
