This paper describes the xSAP safety analysis platform. xSAP provides several model-
based safety analysis features for finite-and infinite-state synchronous transition systems. In …

This paper presents an overview of design for dependability as a process involving three
distinct but interrelated activities: risk analysis, risk mitigation, and risk assessment. Although …

The size and complexity of control software in aerospace systems is rapidly increasing, and
this development complicates its validation within the context of the overall spacecraft …

Industrial control systems have stringent safety and security demands. High safety
assurance can be obtained by specifying the system with possible faults and monitoring it to …

The integrity of complex dynamic systems often relies on the ability to detect, during
operation, the occurrence of faults, or, in other words, to diagnose the system. The feasibility …

The development of accurate, reliable and effective FDIR (Fault Detection, Identification and
Recovery) components is essential in several application domains, to meet the …

Failure detection, isolation, and recovery is an essential requirement of any space mission
design. Several spacecraft components, especially sensors, are prone to performance …

In this paper a method is proposed to design a fault detection and isolation scheme based
on quantitative physics-based models, as well as fault-tolerant control strategy to improve …

Abstract Timed Failure Propagation Graphs (TFPGs) are a formalism used in industry to
describe failure propagation in a dynamic partially observable system. TFPGs are commonly …

The design of functionally correct autonomous systems which operate in an unknown
environment and that satisfy reliability, availability, maintainability, and safety (RAMS) …