Sécurité des procédés chimiques. Connaissances et méthodes d'analyse des risques (2° Éd.) 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écurité des procédés chimiques. Connaissances et méthodes d'analyse des risques (2° Éd.) PDF full book. Access full book title Sécurité des procédés chimiques. Connaissances et méthodes d'analyse des risques (2° Éd.) by LAURENT André. Download full books in PDF and EPUB format.
Author: LAURENT André
Publisher: Lavoisier
ISBN: 2743063963
Category :
Languages : en
Pages : 634
Get Book Here
Book Description
La maîtrise des risques technologiques et industriels est maintenant une exigence sociétale majeure. En effet à la suite de l'accident AZF à Toulouse, un foisonnement de protocoles et d'applications réglementaires a induit une évolution de la conception du danger et de la notion de risque, qui a conduit au passage d'une évaluation déterministe à une causalité probabiliste. Sécurité des procédés chimiques vise à fournir les outils permettant d'appréhender l'analyse du risque et l'appréciation des conséquences. La terminologie y est actualisée avec les nouveaux termes d'aléa, d'enjeux, d'intensité, de cinétique et de vulnérabilité. Les connaissances de base sont présentées suivant les récentes typologies classiques des caractéristiques des effets des phénomènes de dangers. Outre les méthodes simples et classiques d'analyse des risques (APR - HAZOP - Arbres), l'aspect méthodologique est complété par la présentation de la méthode du nœud papillon et de quelques nouvelles méthodes systémiques intégrées (MOSAR - ARAMIS - LOPA). La démarche de la maîtrise des risques est enrichie d'une revue très complète des concepts de défense en profondeur, de couches de protection, de lignes de défense, de fonctions de sécurité et de différentes barrières rarement proposés simultanément. Enfin, le contenu de l'étude de dangers est décrit d'après la base réglementaire de leur guide d'élaboration. Compte tenu de son approche systémique et pédagogique, ce livre est accessible au débutant tout en répondant aux exigences des spécialistes. Sécurité des procédés chimiques s'adresse donc aussi bien aux ingénieurs, industriels, techniciens, cadres des services publics, des communautés urbaines et des collectivités territoriales, enseignants, chercheurs qu'aux élèves ingénieurs des grandes écoles scientifiques et aux étudiants de licence, master et doctorat des universités…
Author: LAURENT André
Publisher: Lavoisier
ISBN: 2743063963
Category :
Languages : en
Pages : 634
Get Book Here
Book Description
La maîtrise des risques technologiques et industriels est maintenant une exigence sociétale majeure. En effet à la suite de l'accident AZF à Toulouse, un foisonnement de protocoles et d'applications réglementaires a induit une évolution de la conception du danger et de la notion de risque, qui a conduit au passage d'une évaluation déterministe à une causalité probabiliste. Sécurité des procédés chimiques vise à fournir les outils permettant d'appréhender l'analyse du risque et l'appréciation des conséquences. La terminologie y est actualisée avec les nouveaux termes d'aléa, d'enjeux, d'intensité, de cinétique et de vulnérabilité. Les connaissances de base sont présentées suivant les récentes typologies classiques des caractéristiques des effets des phénomènes de dangers. Outre les méthodes simples et classiques d'analyse des risques (APR - HAZOP - Arbres), l'aspect méthodologique est complété par la présentation de la méthode du nœud papillon et de quelques nouvelles méthodes systémiques intégrées (MOSAR - ARAMIS - LOPA). La démarche de la maîtrise des risques est enrichie d'une revue très complète des concepts de défense en profondeur, de couches de protection, de lignes de défense, de fonctions de sécurité et de différentes barrières rarement proposés simultanément. Enfin, le contenu de l'étude de dangers est décrit d'après la base réglementaire de leur guide d'élaboration. Compte tenu de son approche systémique et pédagogique, ce livre est accessible au débutant tout en répondant aux exigences des spécialistes. Sécurité des procédés chimiques s'adresse donc aussi bien aux ingénieurs, industriels, techniciens, cadres des services publics, des communautés urbaines et des collectivités territoriales, enseignants, chercheurs qu'aux élèves ingénieurs des grandes écoles scientifiques et aux étudiants de licence, master et doctorat des universités…
Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1119122481
Category : Technology & Engineering
Languages : en
Pages : 376
Get Book Here
Book Description
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 274628801X
Category :
Languages : en
Pages : 402
Get Book Here
Book Description
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
Author: Jean-Louis Boulanger
Publisher: Elsevier
ISBN: 0081011652
Category : Computers
Languages : en
Pages : 310
Get Book Here
Book Description
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to the concept of software application. - Presents the fundamental practices from the field - Emphasizes the development of quality assurance and safety assurance - Introduces the concept of software application - Covers recent developments such as module, component, and the product line approach
Author: Hauke, M.
Publisher: DGUV/IFA
ISBN: 3864232325
Category : Technology & Engineering
Languages : en
Pages : 324
Get Book Here
Book Description
The EN ISO 13849-1 standard, “Safety of machinery – Safety-related parts of control systems”, contains provisions governing the design of such parts. This report is an update of BGIA Report 2/2008e of the same name. It describes the essential subject-matter of the standard in its third, revised 2015 edition, and explains its application with reference to numerous examples from the fields of electromechanics, fluidics, electronics and programmable electronics, including control systems employing mixed technologies. The standard is placed in its context of the essential safety requirements of the Machinery Directive, and possible methods for risk assessment are presented. Based upon this information, the report can be used to select the required Performance Level PLr for safety functions in control systems. The Performance Level PL which is actually attained is explained in detail. The requirements for attainment of the relevant Performance Level and its associated Categories, component reliability, levels of diagnostic coverage, software safety and measures for the prevention of systematic and common-cause failures are all discussed comprehensively. Background information is also provided on implementation of the requirements in real-case control systems. Numerous example circuits show, down to component level, how Performance Levels a to e can be engineered in the selected technologies with Categories B to 4. The examples provide information on the safety principles employed and on components with well-tried safety functionality. Numerous literature references permit closer study of the examples provided. The report shows how the requirements of EN ISO 13849-1 can be implemented in engineering practice, and thus makes a contribution to consistent application and interpretation of the standard at national and international level.
Author:
Publisher:
ISBN:
Category : Caterpillar tractors
Languages : en
Pages : 1158
Get Book Here
Book Description
Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1119004772
Category : Computers
Languages : en
Pages : 328
Get Book Here
Book Description
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
Author: Christophe Berenguer
Publisher: CRC Press
ISBN: 0203135105
Category : Technology & Engineering
Languages : en
Pages : 538
Get Book Here
Book Description
Covering a wide range of topics on safety, reliability and risk management, the present publication will be of interest to academics and professionals working in a wide range of scientific, industrial and governmental sectors, including: Aeronautics and Aerospace; Chemical and Process Industry; Civil Engineering; Critical Infrastructures; Energy; Information Technology and Telecommunications; Land Transportation; Manufacturing; Maritime Transportation; Mechanical Engineering; Natural Hazards; Nuclear Industry; Offshore Industry; Policy Making and Public Planning.
Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1118600800
Category : Computers
Languages : en
Pages : 371
Get Book Here
Book Description
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation. The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).
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.
