Traditionally, proofs that software systems meet functional safety standards have depended on exhaustive testing. This method is adequate for simple, deterministic systems, with single-threaded, run-to-completion processes. It is inadequate, however, for today's multi-threaded systems. The complexity of these systems precludes their being treated as deterministic systems in practice. This white paper proposes 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.
This paper gives a good overview and introduction to the topic. For me it helped clarify the usefulness (or otherwise) of availability claims like 99.999% uptime etc.
Not new information but a useful reworking of a subject that cannot be ignored.
Interesting elephant in the room is the problems of the parent company RIM (BlackBerry). If I was running QNX (and I very nearly was on a recent project, shelved for other reasons), I would not be sleeping easy.
It would be good to know what QNX / RIM are doing to reassure QNX customers (and prospects).
QNX Software Systems Limited, a
subsidiary of BlackBerry, is a leading vendor of operating systems, development
tools, and professional services for connected embedded systems.... Read More
Technical Paper
0
1
Download to Print
Add to bookmarks
1 comment
write a commentsharps_eng Posted Jan 29, 2012
This paper gives a good overview and introduction to the topic. For me it helped clarify the usefulness (or otherwise) of availability claims like 99.999% uptime etc. Not new information but a useful reworking of a subject that cannot be ignored. Interesting elephant in the room is the problems of the parent company RIM (BlackBerry). If I was running QNX (and I very nearly was on a recent project, shelved for other reasons), I would not be sleeping easy. It would be good to know what QNX / RIM are doing to reassure QNX customers (and prospects).
reply