Experiences using lightweight formal methods for requirements modeling

SSME HPOTP post-test diagnostic system enhancement project

STS-61 space shuttle mission report

Self-calibrating models for dynamic monitoring and diagnosis

OPAD-EDIFIS real-time processing

Model-based reconfiguration

Formal methods for verification and validation of partial specifications

Fault analysis of space station DC power systems using neural network adaptive wavelets to detect faults

Thermographic imaging for high-temperature composite materials

Measuring fault tolerance with the FTAPE fault injection tool

A model-based expert system for space power distributio diagnostics

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

An analysis of failure handling in Chameleon, a framework for supporting cost-effective fault tolerant services

A distributed fault-detection and diagnosis system using on-line parameter estimation

Curiosities

Russian Formalism

Framing formalism

VISUAL EF9ECTS | Architecture and the Chess Game of Form & Story