Cover Image

Using FRET to create, analyze and monitor requirements for a lift plus cruise case study /

Bibliographic Details
Main Author:	Pressburger, Thomas (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, April 2023.
Series:	NASA technical memorandum ; 20220017032.
Subjects:	Mathematics. Natural language (computers)
Online Access:	https://purl.fdlp.gov/GPO/gpo219088

Similar Items

Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors /
by: Perez, Ivan (Research scientist)
Published: (2022)

Preliminary study on fatigue strengths of fretted Ti-48Al-2Cr-2Nb /
by: Miyoshi, Kazuhisa, et al.
Published: (2002)

Evaluation of Ti-48Al-2Cr-2Nb under fretting conditions /
Published: (2001)

Investigation of a macromechanical approach to analyzing triaxially-braided polymer composites /
by: Goldberg, Robert K.
Published: (2010)

Influence of lift offset on rotorcraft performance /
by: Johnson, Wayne, 1946-
Published: (2009)

Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study /
by: Bourbouh, Hamza
Published: (2020)

A model of security monitoring /
by: Bishop, Matt (Matthew A.)
Published: (1989)

Refined AFC-enabled high-lift system integration study /
by: Hartwich, Peter M.
Published: (2016)

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

Implementation of a battery health monitor and vertical lift aircraft testbed for the application of an electrochemistry-based state of charge estimator /
by: Timothy R. Potteiger, et al.
Published: (2017)

AFC-enabled simplified high-lift system integration study /
by: Hartwich, Peter M.
Published: (2014)

Compressible flows with periodic vortical disturbances around lifting airfoils /
by: Scott, James R.
Published: (1991)

A far ultraviolet polarization analyzer for rocket use /
by: Heath, D. F.
Published: (1967)

Aerodynamic lift and moment calculations using a closed-form solution of the Possio equation /
by: Lin, Jensen, et al.
Published: (2000)

Technology assessment for large vertical-lift transport tiltrotors /
by: Germanowski, Peter J.
Published: (2010)

RETScreen® plus software tutorial /
by: Ganoe, Rene E.
Published: (2014)

Measurements of shear lift force on a bubble in channel flow in microgravity /
by: Nahra, Henry K., et al.
Published: (2003)

Measurements of shear lift force on a bubble in channel flow in microgravity /
by: Nahra, Henry K.
Published: (2003)

Procedure for utilizing the lift and thrust forces of ornithopters /
by: Bezard, C.
Published: (1985)

Integrated composite analyzer (ICAN) : users and programmers manual /
by: Murthy, P. L. N., et al.
Published: (1986)

Supersonic cruise technology /
by: McLean, F. Edward
Published: (1985)

Results of the integration of a transonic full-potential analysis program with a free-wake lifting-line program for hovering rotors /
by: Chung, Song-Young
Published: (1987)

Prediction of wing aeroelastic effects on aircraft lift and pitching moment characteristics /
by: Eckstrom, Clinton V.
Published: (1986)

Initiation of long-wave instability of vortex pairs at cruise altitudes /
by: Rossow, Vernon J.
Published: (2011)

Optimal control of lift/drag ratios on a rotating cylinder /
by: Ou, Yuh-Roung
Published: (1991)

4D dynamic required navigation performance final report /
Published: (2011)

Evaluation of organic carbon analyzers for space application : final report.
Published: (1984)

Hierarchical safety cases /
by: Denney, Ewen W., et al.
Published: (2012)

Assessment of microphone phased array for measuring launch vehicle lift-off acoustics /
by: García, Roberto
Published: (2012)

Least squares methods of analyzing spectroscopic data /
by: Shaw, J. H.
Published: (1984)

Scaling of lift degradation due to anti-icing fluids based upon the aerodynamic acceptance test /
by: Broeren, Andy P., et al.
Published: (2012)

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

Definition of avionics concepts for a heavy lift cargo vehicle : appendix A, final report.
Published: (1989)

Boundary force method for analyzing two-dimensional cracked bodies /
by: Tan, P. W., et al.
Published: (1986)

Aerodynamic characteristics and control effectiveness of the HL-20 lifting body configuration at Mach 10 in air /
by: Scallion, William I.
Published: (1999)

One Engine Inoperative (OEI) and autorotation for heavy lift rotorcraft system /
by: Wood, Tom
Published: (2012)

The interaction of the solar wind with Solar Probe Plus-3D hybrid simulation /
Published: (2010)

Mars ascent vehicle gross lift-off mass sensitivities for robotic mars sample return /
Published: (2011)

FORTRAN program for analyzing ground-based radar data : usage and derivations, version 6.2 /
by: Haering, Edward A., et al.
Published: (1995)

Cruise-Efficient Short Takeoff and Landing (CESTOL) : potential impact on air traffic operations /
by: Couluris, George John
Published: (2010)