Электронная книга: Jean-Louis Boulanger «Safety Management of Software-based Equipment»
|
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. Издательство: "John Wiley&Sons Limited"
ISBN: 9781118578650 электронная книга Купить за 7794.92 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Static Analysis of Software. The Abstract Interpretation | The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods. Industrial Use from Model to the Code | 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… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Industrial Use of Formal Methods. Formal Verification | At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Safety of Computer Architectures | 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… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method | 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… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods Applied to Industrial Complex Systems | 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… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| CENELEC 50128 and IEC 62279 Standards | 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… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Safety engineering — is an applied science strongly related to systems engineering and the subset System Safety Engineering. Safety engineering assures that a life critical system behaves as needed even when pieces fail.In the real world the term safety engineering… … Wikipedia
Software documentation — or source code documentation is written text that accompanies computer software. It either explains how it operates or how to use it, and may mean different things to people in different roles. Contents 1 Role of documentation in software… … Wikipedia
Software agent — In computer science, a software agent is a piece of software that acts for a user or other program in a relationship of agency, which derives from the Latin agere (to do): an agreement to act on one s behalf. Such action on behalf of implies the… … Wikipedia
Occupational safety and health — is a cross disciplinary area concerned with protecting the safety, health and welfare of people engaged in work or employment. The goal of all occupational safety and health programs is to foster a safe work environment.[1] As a secondary effect … Wikipedia
Computerized maintenance management system — (CMMS) is also known as enterprise asset management and computerized maintenance management information system (CMMIS). A CMMS software package maintains a computer database of information about an organization’s maintenance operations, i.e.… … Wikipedia
Medical equipment management — Healthcare Technology Management (also known as medical equipment management, biomedical equipment management, clinical technology services, biomedical engineering, clinical engineering, or clinical equipment management) is a fundamental part of… … Wikipedia
