Results 21 to 30 of about 43,894 (296)
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
, 2020 We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems.
Chiu, Johnathan +4 more
core +1 more source
Formal Verification of the NASA Runway Safety Monitor
Electronic Notes in Theoretical Computer Science, 2005 AbstractThe Runway Safety Monitor (RSM) designed by Lockheed Martin is part of NASA's effort to reduce aviation accidents. We developed a Petri net model of the RSM protocol and used the model checking functions of our tool SMART to investigate behaviors that can be classified as missed alarm scenarios in RSM.
Siminiceanu, Radu I., Ciardo, Gianfranco
openaire +1 more source
Modelling of Evenness of Runways as an Element of Sustainable Airport Maintenance
Applied Sciences, 2021 The elevation of airport runways is specified in the operations manuals and in globally accepted design guidelines. Airport runways are constantly exposed to various physical and weather factors.
Drago Sever +2 more
doaj +1 more source
Automatic Groove Measurement and Evaluation with High Resolution Laser Profiling Data
Sensors, 2018 Grooving is widely used to improve airport runway pavement skid resistance during wet weather. However, runway grooves deteriorate over time due to the combined effects of traffic loading, climate, and weather, which brings about a potential safety risk ...
Lin Li +4 more
doaj +1 more source
MATEC Web of Conferences, 2016 A-SMGCS is a modular system defined in the ICAO (International Civil Aviation Organization) Manual on Advanced Surface Movement Guidance and Control System (A-SMGCS) .One of A-SMGCS goals is to provide enhanced safety and protection of the runway.
Li Jing +4 more
doaj +1 more source
Airport Pavement Snow and Ice State Perception Based on Improved YOLOX-s
Shanghai Jiaotong Daxue xuebao, 2023 Aimed at the lack of awarness of safety and airworthiness state perception ability of airport ice runway and the new demand of interaction of runway surface condition report, a multi-scale feature fusion based ice and snow state perception model of ...
XING Zhiwei, KAN Ben, LIU Zishuo, LI Biao, LUO Qian
doaj +1 more source
WiFi-based PCL for monitoring private airfields [PDF]
, 2017 In this article, the potential exploitation of WiFi-based PCL systems is investigated with reference to a real-world civil application in which these sensors are expected to nicely complement the existing technologies adopted for monitoring purposes ...
BONGIOANNI, CARLO +4 more
core +1 more source
Construction of airport digital runway based on in-situ sensing data
International Journal of Transportation Science and TechnologyPerformance evaluation of facilities in flight area is a key factor affecting the safety of airport, and monitoring the infrastructures in real time and reporting the performance of the airport runway are critical for ensuring the airport in safe ...
Jianming Ling +4 more
doaj +1 more source
Improving safety of runway overrun through the correct numerical evaluation of rutting in Cleared and Graded Areas [PDF]
, 2014 Aircraft overrun is potentially very dangerous to human life. Statistics show that overrun is mainly due to human errors causing loss of control in wheel alignment, high approach speed, and long touchdown.
Benedetto, Andrea +2 more
core +1 more source
Applied SciencesRunway skid resistance is crucial for the safety of aircrafts. Despite being internationally regulated, investigation reports published by the Australian Transport Safety Bureau and the US National Transportation Safety Board indicate that 4.9–22% of ...
Gadel Baimukhametov, Greg White
doaj +1 more source