Search results
Run-Time Assurance (RTA) is a control architecture wherein a complex or nondeterministic controller operates freely under the supervision of a monitor that may.
April 2020 NASA/CR–2020-220586. Run Time Assurance as an Alternate Concept to Contemporary Development Assurance Processes. Eric M. Peterson Electron International II Inc., Phoenix, Arizona
11 paź 2020 · This paper proposes a unique framework utilizing a run-time assurance (RTA) architecture to successfully prevent both CFIT and LOC-I during concurrent and conflicting activation in general aviation aircraft.
NASA is conducting research to demonstrate and evaluate the application of Run Time Assurance (RTA) as a means to assure safety in Electric Vertical Takeoff and Landing (eVTOL) aircraft with highly automated or autonomous flight capability supervised by a single onboard pilot.
Runtime Verification. Attempt to bridge the gap between formal methods and ad-hoc testing. A program is monitored while it is running and checked against properties of interest. Properties are specified in a formal notation (LTL, RegEx, etc.). Dealing only with finite traces.
11 paź 2020 · This paper proposes a unique framework utilizing a run-time assurance (RTA) architecture to successfully prevent both CFIT and LOC-I during concurrent and conflicting activation in general ...
Software assurance (SwA) is a critical process in software development that ensures the reliability, safety, and security of software products. [1] It involves a variety of activities, including requirements analysis, design reviews, code inspections, testing, and formal verification.
