Skip to content

Home/Archive/NASA NTRS

NASA NTRS · 20210003217

Validating Requirements for Fault Tolerant Systems Using Model Checking

View original source ↗Export metadata ↓

Abstract

UNKNOWN

Explore related subjects

Fault Tolerant Systems Model Checking IV &V team

Keep this discovery

Explore connections, maps & timelines

Schneider, F.. 1998-07-08. Validating Requirements for Fault Tolerant Systems Using Model Checking. https://ntrs.nasa.gov/citations/20210003217

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRS1998

Validating Requirements for Fault Tolerant Systems Using Model Checking

Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirements to be validated down to the design level.

Fault↗