QNX Whitepapers

Security + Defense

Download Options

Chris Hobbs chobbs@qnx.com Malte Mundt mmundt@qnx.com		Funktionale Sicherheit komplexer Software-Systeme – Teil 2 Nur durch ausgiebiges Testen kann die Funktionale Sicherheit von heutigen Softwaresystemen mit ihrem oft massiven Multi-Threading nicht mehr nachgewiesen werden - deshalb haben wir die Grenzen des Testens im Teil 1 dieser Whitepaper-Serie ausführlich erörtert. Im Teil 2 beschreiben wir nun, wie durch eine Kombination von Prozesstreue, statistischen Tests und Entwurfsverifizierung das Vertrauen in die Funktionale Sicherheit von komplexen Systemen erhöht werden kann. Read More... September 2012		Download

Chris Hobbs chobbs@qnx.com Malte Mundt mmundt@qnx.com		Funktionale Sicherheit komplexer Software-Systeme – Teil 1 Traditionell wird Funktionale Sicherheit oft durch ausgiebiges Testen überprüft. Das ist adäquat für relativ einfache Programme, jedoch für heutige Softwaresysteme mit ihrem oft massiven Multi-Threading nicht mehr angemessen. Denn: Deren Komplexität lässt es nicht mehr zu, sie als grundsätzlich deterministisch anzusehen. Im Teil 1 dieser Whitepaper-Serie erörtern wir deshalb die Grenzen des Testens und beschreiben, was bei der Entwicklung komplexer Softwaresysteme zu beachten ist. Read More... September 2012		Download

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

Other whitepaper topics:

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

©2013 QNX Software Systems Limited, a subsidiary of BlackBerry. BlackBerry Logo