2 papers
cs.RO2024
Integrating Vision Systems and STPA for Robust Landing and Take-Off in VTOL Aircraft
Sandeep Banik, Jinrae Kim, Naira Hovakimyan +3
Vertical take-off and landing (VTOL) unmanned aerial vehicles (UAVs) are versatile platforms widely used in applications such as surveillance, search and rescue, and urban air mobi…
cs.SE2016
A comprehensive safety engineering approach for software-intensive systems based on STPA
Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson
Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of…