Embedded systems for safety-critical applications often integrate multiple “functions” and
must generally be fault-tolerant. These requirements lead to a need for mechanisms and …

In this paper, we describe the design and implementation of BChain, a Byzantine fault-
tolerant state machine replication protocol, which performs comparably to other modern …

Many critical real-time applications are implemented as time-triggered systems. We present
a systematic way to derive such time-triggered implementations from algorithms specified as …

Modern automotive electronic control systems are distributed, networked embedded
systems. Diagnostic routines implemented on individual components cannot adequately …

Writing requirements in a formal notation permits automatic assessment of such properties
as ambiguity, consistency, and completeness. However, verifying that the properties …

In this chapter, some state estimation schemes used in bioprocesses engineering are firstly
reviewed with particular emphasis on the so-called nonlinear observers. Second, two simple …

We present a new fault-tolerant intersection function \calF, which satisfies the Lipschitz
condition for the uniform metric and is optimal among all functions with this property. \calF …

We provide novel epistemic logical language and semantics for modeling and analysis of
byzantine fault-tolerant multi-agent systems, with the intent of not only facilitating reasoning …

A sequenced process of Fault Detection followed by the erroneous node's Isolation and
system Reconfiguration (node exclusion or recovery), that is, the FDIR process …

The Scalable Processor-Independent Design for Electromagnetic Resilience (SPIDER) is a
new family of fault-tolerant architectures under development at NASA Langley Research …