Safety Management for Software-based Equipment

Released on by Jean-Louis Boulanger
preview-18

  • Safety Management for Software-based Equipment Book Detail

  • Author : Jean-Louis Boulanger
  • Release Date : 2013-05-06
  • Publisher : John Wiley & Sons
  • Genre : Technology & Engineering
  • Pages : 130
  • ISBN 13 : 1118578619
  • File Size : 8,8 MB
DOWNLOAD BOOK

Safety Management for Software-based Equipment by Jean-Louis Boulanger PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Safety Management for Software-based Equipment books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

B Method

B Method

File Size : 30,30 MB
Total View : 2180 Views
DOWNLOAD

B Method presents the B method (language and semantic) and the methodology to use it on real projects. The B method is one of the well known, formal methods use

Certifiable Software Applications 3

Certifiable Software Applications 3

File Size : 28,28 MB
Total View : 6291 Views
DOWNLOAD

Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, ar