Get Safety Management of Software-based Equipment PDF

By Jean-Louis Boulanger

ISBN-10: 1848214529

ISBN-13: 9781848214521

A assessment of the foundations of the security of software-based gear, this ebook starts off through providing the definition rules of protection targets. It then strikes directly to convey the way it is feasible to outline a security structure (including redundancy, diversification, error-detection options) at the foundation of security pursuits and the way to spot pursuits relating to software program courses. From software program targets, the authors current the various defense innovations (fault detection, redundancy and caliber control). “Certifiable approach” points are taken under consideration in the course of the book.

Contents

1. protection Management.
2. From approach to Software.
three. Certifiable Systems.
four. probability and security Levels.
five. ideas of Safety.
6. ideas of software program Safety.
7. Certification.

About the Authors

Jean-Louis Boulanger is at present an self sufficient security Assessor (ISA) within the railway area concentrating on software program parts. he's a consultant within the software program engineering area (requirement engineering, semi-formal and formal procedure, evidence and model-checking). He additionally works as a professional for the French notified physique CERTIFER within the box of certification of defense severe railway functions according to software program (ERTMS, SCADA, automated subway, etc.). His examine pursuits contain requisites, software program verification and validation, traceability and RAMS with a different specialise in SAFETY.

Show description

Read Online or Download Safety Management of Software-based Equipment PDF

Best telecommunications books

Download PDF by Chris Heegard,Stephen B. Wicker: Turbo Coding (The Springer International Series in

Whilst the fiftieth anniversary of the delivery of data idea used to be celebrated on the 1998 IEEE overseas Symposium on Informa­ tion conception in Boston, there has been loads of mirrored image at the the 12 months 1993 as a severe 12 months. because the years move and extra perspec­ tive is received, it's a rather secure guess that we'll view 1993 because the yr whilst the "early years" of blunders regulate coding got here to an finish.

Get Power Line Communications in Practice (Artech House PDF

Persistent line communications (PLC) is readily taking root around the globe as an exceptional substitute to Ethernet and wireless in inner most houses, constructions with no Ethernet pre-wiring, and parts the place net entry is hard. right here ultimately is every thing telecom engineers want to know in regards to the expertise, purposes, gear, layout, and install in one handy resource.

Network Coding (Iste) - download pdf or read online

Community coding, a comparatively new sector of study, has developed from the theoretical point to turn into a device used to optimize the functionality of conversation networks – stressed out, mobile, advert hoc, and so forth. the assumption contains blending “packets” of information jointly while routing them from resource to vacation spot. due to the fact that community coding raises the community functionality, it turns into a device to augment the present protocols and algorithms in a community or for functions resembling peer-to-peer and TCP.

Get Design and Fabrication of Self-Powered Micro-Harvesters: PDF

Provides the newest tools for designing and fabricating self-powered micro-generators and effort harvester platforms layout and Fabrication of Self-Powered Micro-Harvesters introduces the most recent developments of self-powered turbines and effort harvester structures, together with the layout, research and fabrication of micro energy structures.

Additional info for Safety Management of Software-based Equipment

Example text

Download PDF sample

Safety Management of Software-based Equipment by Jean-Louis Boulanger


by Thomas
4.0

Rated 4.00 of 5 – based on 47 votes