Cover Image

Formal methods tool qualification /

Bibliographic Details
Main Author:	Wagner, Lucas G. (Author)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, February 2017.
Series:	NASA contractor report ; NASA CR-2017-219371.
Subjects:	Avionics. Digital systems. Certification. Identifying. Qualifications.
Online Access:	https://purl.fdlp.gov/GPO/gpo79527 http://purl.fdlp.gov/GPO/gpo79527

Similar Items

Identification of linear multivariable systems from a single set of data by identification of observers with assigned real eigenvalues /
by: Phan, Kiến Giang
Published: (1991)

The development of two-dimensional object identification techniques : final report /
by: Lebby, Gary
Published: (1989)

Annular and total solar eclipses of 2010 /
by: Espenak, Fred
Published: (2008)

S.S. Freedom structural characterization experiment (SCE) node code /
by: Jensen, Robert L.
Published: (1989)

S.S. Freedom structural characterization experiment (SCE) node code /
by: Jensen, Robert L.
Published: (1989)

Formal methods case studies for DO-333 /
by: Cofer, Darren, et al.
Published: (2014)

The role of bearing and scan mechanism life testing in flight qualification of the MODIS instrument /
Published: (2001)

Formal assurance certifiable tooling strategy final report /
by: Bush, Eric Niels
Published: (2017)

Distributed system design checklist /
by: Hall, Brendan, et al.
Published: (2014)

Radiation single event effects (SEE) impact on complex avionics architecture reliability /
by: Hodson, Robert F.
Published: (2019)

Performance monitor system functional simulator environmental data orbiter 101 (HFT) /
by: Parker, F. W. (Engineer)
Published: (1974)

Micro-scale avionics thermal management /
by: Moran, Matthew E.
Published: (2001)

Application of SAE ARP4754A to flight critical systems /
by: Peterson, Eric M.
Published: (2015)

An analysis of the speed commands from an interval management algorithm during the ATD-1 flight test /
by: Watters, Christine, et al.
Published: (2017)

An approach for the assessment of system upset resilience /
by: Torres-Pomales, Wilfredo
Published: (2013)

FINDS : a fault inferring nonlinear detection system--programmer's manual /
by: Lancraft, Roy
Published: (1985)

Designing for maintainability and system availability /
by: Lalli, Vincent R., et al.
Published: (1997)

The full-scale process and design changes for elimination of insulation edge separations and voids in tang flap area : final report.
Published: (1991)

Pair-wise Trajectory Management-Oceanic (PTM-O), Concept of Operations--version 3.9 /
by: Jones, Kenneth M.
Published: (2014)

Avionics configuration assessment for flightdeck interval management : a comparison of avionics and notification methods /
by: Latorella, Kara A.
Published: (2015)

Certification rules and standards review /
by: Schlickenmaier, Herbert W., et al.
Published: (2019)

Monitoring distributed real-time systems : a survey and future directions /
by: Goodloe, Alwyn E.
Published: (2010)

Framework for small-scale experiments in software engineering : guidance and control software project : software engineering case study /
by: Hayhurst, Kelly J. (Kelly Jeanne), 1962-
Published: (1998)

Heavy Lift Vehicle (HLV) avionics flight computing architecture study /
Published: (2011)

SpaceWire Tiger Team findings and suggestions /
by: Ishac, Joseph
Published: (2011)

Spacelab system analysis : Marshall Avionics System Testbed (MAST) : final report /
by: Ingels, Franklin M.
Published: (1989)

An examination of commercial aviation accidents and incidents related to integrated vehicle health management /
Published: (2011)

COMPASS final report : Lunar Relay Satellite (LRS) /
by: Oleson, Steven R. (Steven Robert), 1964-
Published: (2012)

Advanced information processing system : Input/output system services /
by: Masotto, Thomas K.
Published: (1989)

Advanced information processing system : Input/output system services /
by: Masotto, Thomas K.
Published: (1989)

Failure-tolerant avionics for crewed space systems recommended best practices /
by: Hodson, Robert F.
Published: (2024)

Trends in transport aircraft avionics /
by: Berkstresser, Betty K.
Published: (1973)

Systematic destruction of electronic parts for aid in electronic failure analysis /
by: Decker, S. E., et al.
Published: (2012)

Analysis and simulation of the simplified aircraft-based paired approach concept with the ALAS alerting algorithm in conjunction with echelon and offset strategies /
by: Torres-Pomales, Wilfredo
Published: (2014)

Automation, supervisory control and workload in flight management /
by: Sheridan, Thomas B.
Published: (1983)

A criteria standard for conflict resolution : a vision for guaranteeing the safety of self-separation in NextGen /
Published: (2010)

An investigation of proposed techniques for quantifying confidence in assurance arguments /
by: Graydon, Patrick J., et al.
Published: (2016)

Streamlining software aspects of certification : report on the SSAC survey /
by: Hayhurst, Kelly J. (Kelly Jeanne), 1962-
Published: (1999)

NASA lunar lander reference design /
by: Kennedy, L. D.
Published: (2019)

Autonomous flight rules concept : user implementation costs and strategies /
by: Cotton, William B., et al.
Published: (2014)