Электронная книга: Jean-Louis Boulanger «Safety Management of Software-based Equipment»

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 InterpretationThe 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, электронная книга Подробнее...13970.48электронная книга
Formal Methods. Industrial Use from Model to the CodeAlthough 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, электронная книга Подробнее...12483.68электронная книга
Industrial Use of Formal Methods. Formal VerificationAt 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, электронная книга Подробнее...12483.68электронная книга
Safety of Computer ArchitecturesIt 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, электронная книга Подробнее...10848.59электронная книга
Formal Methods Applied to Industrial Complex Systems. Implementation of the B MethodThis 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, электронная книга Подробнее...15516.57электронная книга
Formal Methods Applied to Industrial Complex SystemsA 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, электронная книга Подробнее...14748.07электронная книга
CENELEC 50128 and IEC 62279 StandardsCENELEC 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, электронная книга Подробнее...10810.32электронная книга

См. также в других словарях:

  • 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

  • Computerized Maintenance Management System — (CMMS) is also known as Enterprise Asset Management.A CMMS software package maintains a computer database of information about an organization’s maintenance operations. This information is intended to help maintenance workers do their jobs more… …   Wikipedia

  • Fleet management — is the management of a company s vehicle fleet. Fleet management includes commercial motor vehicles such as cars, vans and trucks. Fleet (vehicle) management can include a range of functions, such as vehicle financing, vehicle maintenance,… …   Wikipedia

  • Construction management — A two level retail store under construction in Canada (2011). Construction Project Management is the overall planning, coordination and control of a project from inception to completion aimed at meeting a client’s requirements in order to produce …   Wikipedia

  • Military equipment of Turkey — The military equipment of Turkey includes a wide array of arms, artilleries, large surface vessels, cannons, armored vehicles, mortars, unmanned vehicles and many different equipments. Contents 1 Historical development 1.1 General 1.2 1923 1950 …   Wikipedia

  • Enterprise asset management — (EAM) means the whole life optimal management of the physical assets of an organization to maximize value. It covers such things as the design, construction, commissioning, operations, maintenance and decommissioning/replacement of plant,… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»