CENELEC 50128 and IEC 62279 Standards 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 CENELEC 50128 and IEC 62279 Standards PDF full book. Access full book title CENELEC 50128 and IEC 62279 Standards by Jean-Louis Boulanger. Download full books in PDF and EPUB format.
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: 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: 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: 1119002923
Category : Computers
Languages : en
Pages : 342
Get Book Here
Book Description
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
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: S. Taylor
Publisher:
ISBN:
Category : Aerodynamics, Hypersonic
Languages : en
Pages : 136
Get Book Here
Book Description
Modifications were made to two areas of the Mark IV Supersonic Arbitrary-Body program. First, the previous streamline method was replaced with one capable of tracing continuous surface streamlines. The method includes a means of locating the origins of the streamlines. Changes were also made to the viscous methods in the Mark IV code. The integral boundary layer methods, which must be applied along inviscid streamlines, were modified to ensure their compatibility with the new streamline method. Several discrepancies were observed in the previous coding of the integral methods, and the problems were corrected. (Author).
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: 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: 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: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1118614372
Category : Technology & Engineering
Languages : en
Pages : 296
Get Book Here
Book Description
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book 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.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.
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.
