Defining and reasoning about model-based safety analysis : a review /
| Main Authors: | Sun, Minghui (Author), Fleming, Cody H. (Author), Milich, Milena (Author) |
|---|---|
| Format: | Government Document eBook |
| Language: | English |
| Published: |
Hampton, Virginia :
National Aeronautics and Space Administration, Langley Research Center,
March 2021.
|
| Series: | NASA contractor report ;
20205009755. |
| Subjects: | |
| Online Access: | https://purl.fdlp.gov/GPO/gpo158561 |
Similar Items
User-defined material model for progressive failure analysis /
by: Knight, Norman F.
Published: (2006)
by: Knight, Norman F.
Published: (2006)
Hierarchical safety cases /
by: Denney, Ewen W., et al.
Published: (2012)
by: Denney, Ewen W., et al.
Published: (2012)
Large male anthropomorphic test device (ATD) finite element model (FEM) correlation improvement /
by: Kelly, Michael J.
Published: (2019)
by: Kelly, Michael J.
Published: (2019)
Hazards analysis and failure modes and effects criticality analysis (FMECA) of four concept vehicle propulsion systems /
by: Darmstadt, Patrick R.
Published: (2019)
by: Darmstadt, Patrick R.
Published: (2019)
Development and execution of the RUNSAFE runway safety Bayesian Belief Network model /
by: Green, Lawrence L.
Published: (2015)
by: Green, Lawrence L.
Published: (2015)
Systems analysis of NASA aviation safety program, final report /
by: Jones, Sharon Monica
Published: (2013)
by: Jones, Sharon Monica
Published: (2013)
Model-based diagnosis in a power distribution test-bed /
by: Scarl, E., et al.
Published: (1998)
by: Scarl, E., et al.
Published: (1998)
Prospective safety analysis and the complex aviation system /
by: Smith, Brian Ernest
Published: (2013)
by: Smith, Brian Ernest
Published: (2013)
Model based mission assurance in a model based systems engineering (MBSE) framework : state-of-the-art assessment /
by: Cornford, Steven L., et al.
Published: (2016)
by: Cornford, Steven L., et al.
Published: (2016)
Interrelation between safety factors and reliability : [final report] /
by: Elishakoff, Isaac
Published: (2001)
by: Elishakoff, Isaac
Published: (2001)
Comparison of in-situ, model and ground based in-flight icing severity /
Published: (2011)
Published: (2011)
Integrated risk/cost planning models for the U.S. air traffic system /
by: Mulvey, J. M. (John M.)
Published: (1985)
by: Mulvey, J. M. (John M.)
Published: (1985)
Overview of risk mitigation for safety-critical computer-based systems /
by: Torres-Pomales, Wilfredo
Published: (2015)
by: Torres-Pomales, Wilfredo
Published: (2015)
Analysis of aviation safety reporting system incident data associated with the technical challenges of the vehicle systems safety technology project /
by: Withrow, Colleen A., et al.
Published: (2014)
by: Withrow, Colleen A., et al.
Published: (2014)
Defining Baconian probability for use in assurance argumentation /
by: Graydon, Patrick J.
Published: (2016)
by: Graydon, Patrick J.
Published: (2016)
Automating the generation of heterogeneous aviation safety cases /
by: Denney, Ewen W., et al.
Published: (2011)
by: Denney, Ewen W., et al.
Published: (2011)
Improved turbulence models based on large eddy simulation of homogenous, incompressible, turbulent flows /
by: Bardina, Jorge E., et al.
Published: (1983)
by: Bardina, Jorge E., et al.
Published: (1983)
Model-based self-tuning multiscale method for combustion control /
Published: (2006)
Published: (2006)
COLD-SAT feasibility study safety analysis /
by: McHenry, Steven T.
Published: (1991)
by: McHenry, Steven T.
Published: (1991)
Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? /
by: Torres-Pomales, Wilfredo
Published: (2014)
by: Torres-Pomales, Wilfredo
Published: (2014)
Qualitative future safety risk identification an update /
by: Barr, Lawrence C.
Published: (2017)
by: Barr, Lawrence C.
Published: (2017)
Comprehensive lifecycle for assuring system safety /
by: Knight, John C., et al.
Published: (2017)
by: Knight, John C., et al.
Published: (2017)
Geodynamics branch data base for main magnetic field analysis /
by: Langel, R. A.
Published: (1991)
by: Langel, R. A.
Published: (1991)
Parametric modeling of the safety effects of NextGen terminal maneuvering area conflict scenarios /
by: Rogers, William H.
Published: (2011)
by: Rogers, William H.
Published: (2011)
State-based implicit coordination and applications /
by: Narkawicz, Anthony Joseph, 1982-
Published: (2011)
by: Narkawicz, Anthony Joseph, 1982-
Published: (2011)
A guide to laser safety /
by: Henderson, A. Roy
Published: (1997)
by: Henderson, A. Roy
Published: (1997)
Modeling of vortex-induced oscillations based on indicial response approach /
by: Truong, Khiem Van
Published: (1990)
by: Truong, Khiem Van
Published: (1990)
Analysis of aviation safety reporting system incident data associated with the technical challenges of the atmospheric environment safety technology project /
by: Withrow, Colleen A., et al.
Published: (2014)
by: Withrow, Colleen A., et al.
Published: (2014)
A simple, analytical, axisymmetric microburst model for downdraft estimation /
by: Vicroy, Dan D.
Published: (1991)
by: Vicroy, Dan D.
Published: (1991)
Modification of a macromechanical finite-element based model for impact analysis of triaxially-braided composites /
by: Goldberg, Robert K.
Published: (2010)
by: Goldberg, Robert K.
Published: (2010)
Aviation trends related to atmospheric environment safety technologies project technical challenges /
by: Reveley, Mary S.
Published: (2014)
by: Reveley, Mary S.
Published: (2014)
Projected impact of compositional verification on current and future aviation safety risk /
by: Reveley, Mary S.
Published: (2014)
by: Reveley, Mary S.
Published: (2014)
Bayesian safety risk modeling of human-flightdeck automation interaction /
by: Ancel, Ersin, et al.
Published: (2015)
by: Ancel, Ersin, et al.
Published: (2015)
Work practice simulation of complex human-automation systems in safety critical situations : the Brahms Generalized Überlingen Model /
by: Clancey, William J.
Published: (2013)
by: Clancey, William J.
Published: (2013)
The modeling of the solar upper photosphere and lower chromosphere based upon ATM data : final technical report /
by: Heasley, James N.
Published: (1982)
by: Heasley, James N.
Published: (1982)
The modelling of the solar upper photosphere and lower chromosphere based upon ATM data /
by: Heasley, James N.
Published: (1983)
by: Heasley, James N.
Published: (1983)
Analysis of aviation safety reporting system incident data associated with the technical challenges of the system-wide safety and assurance technologies project /
by: Withrow, Colleen A., et al.
Published: (2015)
by: Withrow, Colleen A., et al.
Published: (2015)
Calculating factors of safety and margins of safety from interaction equations /
by: Ramsey, John K.
Published: (2019)
by: Ramsey, John K.
Published: (2019)
Real-time monitoring and prediction of airspace safety /
by: Roychoudhury, Indranil
Published: (2015)
by: Roychoudhury, Indranil
Published: (2015)
Microfabricated chemical sensors for safety and emission control applications /
by: Hunter, G. W. (Gary W.)
Published: (1998)
by: Hunter, G. W. (Gary W.)
Published: (1998)