Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors /
| Main Author: | Perez, Ivan (Research scientist) (Author) |
|---|---|
| Format: | Government Document eBook |
| Language: | English |
| Published: |
Moffett Field, CA :
National Aeronautics and Space Administration, Ames Research Center,
January 2022.
|
| Series: | NASA technical memorandum ;
20220000049. |
| Subjects: | |
| Online Access: | https://purl.fdlp.gov/GPO/gpo176311 |
Similar Items
Copilot : monitoring embedded systems /
by: Pike, Lee
Published: (2012)
by: Pike, Lee
Published: (2012)
Using FRET to create, analyze and monitor requirements for a lift plus cruise case study /
by: Pressburger, Thomas
Published: (2023)
by: Pressburger, Thomas
Published: (2023)
Evaluating NextGen closely spaced parallel operations concepts with validated human performance models : flight deck guidelines /
by: Hooey, Becky L.
Published: (2013)
by: Hooey, Becky L.
Published: (2013)
Causal factors and adverse conditions of aviation accidents and incidents related to integrated resilient aircraft control /
Published: (2010)
Published: (2010)
A validated task analysis of the single pilot operations concept /
by: Wolter, Cynthia A., et al.
Published: (2015)
by: Wolter, Cynthia A., et al.
Published: (2015)
Analysis of NLR configurations using OCM for pilot modeling.
by: Drajeske, M. H.
Published: (1987)
by: Drajeske, M. H.
Published: (1987)
Designing flightdeck procedures /
by: Barshi, Immanuel
Published: (2016)
by: Barshi, Immanuel
Published: (2016)
Analysis of NLR configurations using OCM for pilot modeling.
by: Drajeske, M. H.
Published: (1987)
by: Drajeske, M. H.
Published: (1987)
NASA pilot-engaged expert response using IBM Watson technology : prototype evaluation of knowledge retrieval system final report /
by: Katz, Graham, et al.
Published: (2018)
by: Katz, Graham, et al.
Published: (2018)
Development and flight test of an augmented thrust-only flight control system on an MD- 11 transport airplane /
by: Burcham, Frank W.
Published: (1996)
by: Burcham, Frank W.
Published: (1996)
Autonomous RPRV navigation, guidance and control /
by: Johnston, Donald E., et al.
Published: (1983)
by: Johnston, Donald E., et al.
Published: (1983)
Activity tracking for pilot error detection from flight data /
by: Callantine, Todd J.
Published: (2002)
by: Callantine, Todd J.
Published: (2002)
Evaluation of high-angle-of-attack handling qualities for the X-31A using standard evaluation maneuvers /
by: Stoliker, Patrick C., et al.
Published: (1996)
by: Stoliker, Patrick C., et al.
Published: (1996)
Preliminary human-in-the-loop assessment of procedures for very-closely-spaced parallel runaways /
Published: (2010)
Published: (2010)
A piloted simulator evaluation of transport aircraft rudder pedal force/feel characteristics /
by: Stewart, Eric C.
Published: (2008)
by: Stewart, Eric C.
Published: (2008)
Cognitive models of pilot categorization and prioritization of flight-deck information /
by: Jonsson, Jon E.
Published: (1995)
by: Jonsson, Jon E.
Published: (1995)
Synthesis from design requirements of a hybrid system for transport aircraft longitudinal control /
by: Hynes, Charles S., et al.
Published: (2007)
by: Hynes, Charles S., et al.
Published: (2007)
Optimal cooperative control synthesis of active displays /
by: Gary, Sanjay, et al.
Published: (1987)
by: Gary, Sanjay, et al.
Published: (1987)
Manned versus unmanned risk and complexity considerations for future midsized X-planes /
by: Lechniak, Jason A., et al.
Published: (2017)
by: Lechniak, Jason A., et al.
Published: (2017)
Reliability, safety, and performance for two aerospace revolutions : UAS/ODM and commercial deep space /
by: Bushnell, Dennis M., et al.
Published: (2019)
by: Bushnell, Dennis M., et al.
Published: (2019)
Investigation of piloting aids for manual control of hypersonic maneuvers /
by: Raney, David L.
Published: (1995)
by: Raney, David L.
Published: (1995)
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)
Logic programming with extensible types /
by: Perez, Ivan (Research scientist), et al.
Published: (2024)
by: Perez, Ivan (Research scientist), et al.
Published: (2024)
Avionics configuration assessment for flightdeck interval management : a comparison of avionics and notification methods /
by: Latorella, Kara A.
Published: (2015)
by: Latorella, Kara A.
Published: (2015)
Annualized TASAR benefit estimate for Virgin America operations /
by: Henderson, Jeffrey
Published: (2015)
by: Henderson, Jeffrey
Published: (2015)
Development, implementation, and pilot evaluation of a model-driven envelope protection system to mitigate the hazard of in-flight ice contamination on a twin-engine commuter aircraft /
by: Martos, Borja
Published: (2014)
by: Martos, Borja
Published: (2014)
Piloted simulation to evaluate the utility of a real time envelope protection system for mitigating in-flight icing hazards /
Published: (2011)
Published: (2011)
CASPEr : an approach to characterize the performance of onboard airplane energy state and automation mode prediction functions /
by: Torres-Pomales, Wilfredo
Published: (2019)
by: Torres-Pomales, Wilfredo
Published: (2019)
An examination of commercial aviation accidents and incidents related to integrated vehicle health management /
Published: (2011)
Published: (2011)
Automating the generation of heterogeneous aviation safety cases /
by: Denney, Ewen W., et al.
Published: (2011)
by: Denney, Ewen W., et al.
Published: (2011)
Development of integrated programs for aerospace-vehicle design (IPAD).
Published: (1977)
Published: (1977)
Assessment of NASA's aircraft noise prediction capability /
Published: (2012)
Published: (2012)
Automated collision avoidance (ACA) and automated return to course (ARTC) requirement and guidance review : final /
by: Scheff, Scott
Published: (2018)
by: Scheff, Scott
Published: (2018)
The design of sport and touring aircraft /
by: Eppler, R.
Published: (1984)
by: Eppler, R.
Published: (1984)
Examination of automation-induced complacency and individual difference variates /
Published: (2001)
Published: (2001)
Ice accretion prediction for a typical commercial transport aircraft /
by: Bidwell, Colin S.
Published: (1993)
by: Bidwell, Colin S.
Published: (1993)
A risk assessment architecture for enhanced engine operation /
by: Litt, Jonathan S.
Published: (2010)
by: Litt, Jonathan S.
Published: (2010)
N+2 supersonic concept development and systems integration /
Published: (2010)
Published: (2010)
Preliminary design of a long-endurance Mars aircraft /
by: Colozza, Anthony J.
Published: (1990)
by: Colozza, Anthony J.
Published: (1990)
Suppression of biodynamic interference in head-tracked teleoperation /
Published: (1991)
Published: (1991)