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...
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...
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...
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...
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...
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...
BlackBerry uses cookies to help make our website better. Some of the cookies are necessary for the proper functioning of the website while others, non-essential cookies, are used to better understand how you interact with our website and to make it better.