Product downloads: Download Center; QNX Software Center; BSPs

General: Benchmarks; Porting libraries

Collateral

Product documentation

Third-party reports

German Whitepapers

Multimedia + Acoustics

Operating Systems

Security + Defense

QNX Whitepapers

Security + Defense

Download Options

Rick Pitz sales@certicom.com Yi Zheng yzheng@qnx.com		Meeting Security Certification Requirements with Certicom and QNX To reduce the complexity and costs of its expanding networking and security needs, the U.S. federal government has published Federal Information Processing Standard (FIPS) 140-2 Security Requirements for Cryptographic Modules. In this paper we describe how the QNX Neutrino RTOS and the Certicom Security Builder Government Security Edition (GSE) cryptographic library can help ease the burden of building and delivering FIPS 140-2 compliant software. Read More... July 2011		Download

Chris Hobbs chobbs@qnx.com		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. Read More... March 2011		Download

Chris Hobbs chobbs@qnx.com		Building Functional Safety into Complex Software Systems, Part I 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 I of this whitepaper series we discuss the limits of testing of complex software systems, and some factors that should be weighed when deciding how to build complex software systems that must meet functional safety standards. Read More... January 2011		Download

Chris Hobbs chobbs@qnx.com		Using an IEC 61508-Certified RTOS Kernel for Safety-Critical Systems This whitepaper presents the characteristics of a safe kernel,and briefly describes the QNX® Neutrino® RTOS Safe Kernel, which has been certified to conform to IEC 61508 at Safety Integrity Level 3. The paper then describes some important support requirements for developing applications with safe kernels: a comprehensive tool suite, documentation and training. Read More... September 2010		Download

Chris Hobbs chobbs@qnx.com		Protecting Applications Against Heisenbugs Virtually-synchronous replication provides a mechanism that allows developers of mission- and safety-critical applications to reduce the impact of elusive and non-reproducible bugs—commonly known as Heisenbugs—in their applications. Read More... February 2010		Download

Paul Leroux paull@qnx.com		Using Resource Partitioning to Build Secure, Survivable Embedded Systems By providing guaranteed access to system resources, partitioning can ensure the availability of critical services, even when your system experiences a heavy processing load or a denial-of-service attack. Read More... April 2009		Download

Other whitepaper topics:

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