download

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

February 2010 | Industrial Read More

Fault Tree Analysis with Bayesian Belief Networks for Safety-Critical Software

The flexibility of Bayesian Belief Networks makes them particularly suitable for presenting a quantified safety case incorporating hard and soft evidence. This paper describes their application to one component of an... Download

January 2010 | Industrial Read More

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

April 2009 | Industrial Read More

1
2
3
4
5
6