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: 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: 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: 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: 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: Roel J. Wieringa
Publisher: Springer
ISBN: 3662438399
Category : Computers
Languages : en
Pages : 327
Get Book Here
Book Description
This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designing an artifact that improves something for stakeholders and subsequently empirically investigating the performance of that artifact in its context. This “validation in context” is a key feature of the book - since an artifact is designed for a context, it should also be validated in this context. The book is divided into five parts. Part I discusses the fundamental nature of design science and its artifacts, as well as related design research questions and goals. Part II deals with the design cycle, i.e. the creation, design and validation of artifacts based on requirements and stakeholder goals. To elaborate this further, Part III presents the role of conceptual frameworks and theories in design science. Part IV continues with the empirical cycle to investigate artifacts in context, and presents the different elements of research problem analysis, research setup and data analysis. Finally, Part V deals with the practical application of the empirical cycle by presenting in detail various research methods, including observational case studies, case-based and sample-based experiments and technical action research. These main sections are complemented by two generic checklists, one for the design cycle and one for the empirical cycle. The book is written for students as well as academic and industrial researchers in software engineering or information systems. It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design goals and knowledge questions, how to validate artifact designs and how to empirically investigate artifacts in context – and finally how to present the results of the design cycle as a whole.
Author: Leanna Rierson
Publisher: CRC Press
ISBN: 1351834053
Category : Computers
Languages : en
Pages : 612
Get Book Here
Book Description
The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.
Author: Anneke G. Kleppe
Publisher: Addison-Wesley Professional
ISBN: 9780321194428
Category : Computers
Languages : en
Pages : 194
Get Book Here
Book Description
"Highlights of this book include: the MDA framework, including the Platform Independent Model (PIM) and Platform Special Model (PSM); OMG standards and the use of UML; MDA and Agile, Extreme Programming, and Rational Unified Process (RUP) development; how to apply MDA, including PIM-to-PSM and PSM-to-code transformations for Relational, Enterprise JavaBean (EJB), and Web models; transformations, including controlling and tuning, traceability, incremental consistency, and their implications; metamodeling; and relationships between different standards, including Meta Object Facility (MOF), UML, and Object Constraint Language (OCL)."--Jacket.
Author: Conveyor Equipment Manufacturers Association
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
