Home
Download Center 

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 Now
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 Now
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 Now
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 Now
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 Now
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 Now
Download


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