Home
Download Center 

Building Functional Safety into Complex Software Systems, Part II




March 2011
11 pages
Building Functional Safety into Complex Software Systems, Part II

Proofs that software systems meet standards for functional safety have depended on exhaustive testing. This method is inadequate for today’s multi-threaded systems, whose complexity precludes their being treated as deterministic systems in practice.

In Part II of this whitepaper series, we propose how a combination of procedural rigor, statistical testing, and design verification can be used to increase confidence in the functional safety of complex software systems.


Contents

Preparing Functional Safety — Defining Sufficient Dependability — Establishing Good Processes — Establishing Methods of Validation — Building Functional Safety — Validating Functional Safety — Conclusion [+]





Download Now
Download



Author
Chris Hobbs
chobbs@qnx.com

Chris Hobbs

Chris Hobbs is a kernel developer at QNX, specializing in "sufficiently-available" software: software created with the minimum development effort to meet the availability and reliability needs of the customer; and in producing safe software (in conformance with IEC61508 SIL3). He is also a specialist in WBEM/CIM device, network and service management, and the author of A Practical Approach to WBEM/CIM Management (2004).

In addition to his software development work, Chris is a flying instructor, a singer with a particular interest in Schubert's Lieder, and the author of several books, including Learning to Fly in Canada (2000) and The Largest Number Smaller than Five (2007). His blog, Software Musings, focuses "primarily on software and analytical philosophy".

Chris Hobbs earned a B.Sc., Honours in Pure Mathematics and Mathematical Philosophy at the University of London's Queen Mary and Westfield College.

See Also...

Fault Tree Analysis with Bayesian Belief Networks for Safety-Critical Software

Protecting Applications Against Heisenbugs

Using an IEC 61508-Certified RTOS Kernel for Safety-Critical Systems

Building Functional Safety into Complex Software Systems, Part I


Other whitepaper topics: Recent, Automotive, German Whitepapers, HMI + Graphics, Industrial, Medical, Multimedia + Acoustics, Networking, Operating Systems, Security + Defense, Safe Systems, Tools