Cover Image

Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? /

Bibliographic Details
Main Author:	Torres-Pomales, Wilfredo (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, December 2014.
Series:	NASA technical memorandum ; 2014-218670.
Subjects:	Flight safety. Software engineering. Computer systems design. Software development tools. Air transportation.
Online Access:	https://purl.fdlp.gov/GPO/gpo59320 http://purl.fdlp.gov/GPO/gpo59320

Similar Items

Selecting an architecture for a safety-critical distributed computer system with power, weight and cost considerations /
by: Torres-Pomales, Wilfredo
Published: (2014)

Overview of design, lifecycle, and safety for computer-based systems /
by: Torres-Pomales, Wilfredo, et al.
Published: (2015)

Conformance monitoring in air traffic control /
by: Torres-Pomales, Wilfredo
Published: (2020)

Models and metrics for software management and engineering /
by: Basili, Victor R., 1940-
Published: (1988)

Final report for an expert system based software sizing tool, phase II /
by: Friedlander, David
Published: (1990)

User's guide for flight simulation data visualization workstation /
by: Kaplan, Joseph A., 1902-1991
Published: (1996)

Overview of risk mitigation for safety-critical computer-based systems /
by: Torres-Pomales, Wilfredo
Published: (2015)

Assess/mitigate risk through the use of computer-aided software engineering (CASE) tools /
by: Aguilar, Michael L.
Published: (2013)

Ground software maintenance facility (GSMF) system manual : final report /
by: Derrig, D.
Published: (1986)

Annotated bibliography of Software Engineering Laboratory literature.
Published: (1990)

Stochastic-strength-based damage simulation tool for ceramic matrix and polymer matrix composite structures /
by: Nemeth, Noel N.
Published: (2016)

Cubic spline function interpolation in atmosphere models for the software development laboratory : formulation and data /
by: Kirkpatrick, James C.
Published: (1976)

A distributed program composition system /
by: Brown, Robert L.
Published: (1989)

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

Fast causal multicast /
by: Birman, Kenneth
Published: (1990)

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)

Software design improvements /
by: Lalli, Vincent R., et al.
Published: (1997)

Fault injection and monitoring capability for a fault-tolerant distributed computation system /
by: Torres-Pomales, Wilfredo
Published: (2010)

Overview of threats and failure models for safety-relevant computer-based systems /
by: Torres-Pomales, Wilfredo
Published: (2015)

Transformational derivation of programs using the Focus system /
by: Reddy, Uday S.
Published: (1988)

Economical graphics display system for flight simulation avionics : final report with recommendations.
Published: (1990)

Automated ground station software development /
by: Rodgers, John C.
Published: (1967)

An introduction to requirements capture using PVS : specification of a simple autopilot /
by: Butler, Ricky W.
Published: (1996)

Work practice simulation of complex human-automation systems in safety critical situations : the Brahms Generalized Überlingen Model /
by: Clancey, William J.
Published: (2013)

Planning the unplanned experiment : assessing the efficacy of standards for safety critical software /
by: Graydon, Patrick J., et al.
Published: (2015)

Development of complexity science and technology tools for NextGen airspace research and applications /
Published: (2012)

Results of a flight simulation software methods survey /
by: Jackson, E. Bruce
Published: (1995)

Extracting damping ratio from dynamic data and numerical solutions /
by: Casiano, M. J.
Published: (2016)

Verification testing : meet user needs figure of merit /
by: Kelly, Bryan W., et al.
Published: (2017)

LabVIEW interface concepts used in NASA scientific investigations and virtual instruments /
by: Roth, Don J.
Published: (2001)

LabVIEW interface concepts used in NASA scientific investigations and virtual instruments /
Published: (2001)

Small aircraft transportation system, higher volume operations concept : off-nominal operations /
Published: (2005)

Safety assurance in NextGen /
Published: (2012)

Prospective safety analysis and the complex aviation system /
by: Smith, Brian Ernest
Published: (2013)

Buckets, aggregative, intelligent agents for publishing /
by: Nelson, Michael L.
Published: (1998)

Development of a twin-spool turbofan engine simulation using the toolbox for the modeling and analysis of thermodynamic systems (T-MATS) /
by: Zinnecker, Alicia M.
Published: (2014)

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

Analysis of operational hazards and safety requirements for Traffic Aware Strategic Aircrew Requests (TASAR) /
by: Koczo, Stefan
Published: (2013)

An empirical study of flight control software reliability /
by: Dunham, Janet R.
Published: (1986)

IMCS reflight certification requirements and design specifications.
Published: (1984)