Logiciel libre et sûreté de fonctionnement 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 Logiciel libre et sûreté de fonctionnement PDF full book. Access full book title Logiciel libre et sûreté de fonctionnement by Philippe David. Download full books in PDF and EPUB format.
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: 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: 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: Institut de sûreté de fonctionnement (France)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 34
Get Book Here
Book Description
Author: Frederic Salles
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: KORDON Fabrice
Publisher: Lavoisier
ISBN: 2746289008
Category : Embedded computer systems
Languages : en
Pages : 322
Get Book Here
Book Description
Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Get Book Here
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Author: Institut Europeen de Cindyniques
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
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.
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: C. Guedes Soares
Publisher: Elsevier
ISBN: 0080552153
Category : Technology & Engineering
Languages : en
Pages : 791
Get Book Here
Book Description
These three volumes comprise the papers presented at the ESREL '97 International Conference on Safety and Reliability held in Lisbon, Portugal, 17-20 June 1997. The purpose of the annual ESREL conferences is to provide a forum for the presentation of technical and scientific papers covering both methods and applications of safety and reliability to a wide range of industrial sectors and technical disciplines and, in so doing, to enhance cross-fertilization between them.A broad view is taken of safety and reliability which includes probabilistically-based methods, or, more generally, methods that deal with the quantification of the uncertainty in the knowledge of the real world and with decision-making under this uncertainty.The areas covered include: design and product liability; availability, reliability and maintainability; assessment and management of risks to technical systems; health and the environment; and mathematical methods of reliability and statistical analysis of data.The organization of the book closely follows the sessions of the conference with each of the three volumes containing papers from two parallel sessions, comprising a total of 270 papers by authors from 35 countries.
