Verification Futures 2019
|Conference:||Verification Futures 2019 (click here to see full programme)|
|Speaker:||Steve Wright, University of the West of England|
|Presentation Title:||Verification of Unmanned Aerial Vehicle Systems|
|Abstract:||The last 10 years has seen small UAVs break out into a massive range of commercial applications, which has attracted a lot of interest from regulatory authorities, usually for all the wrong reasons. In this talk, Steve Wright examines the issues of verifying UAVs as safe: how must safety have we got, and how much do we need?|
|Speaker Bio:||Dr Steve Wright is now an Associate Professor of Aerospace Engineering at the University of the West of England (UWE) after 25 years as a software, electronics and systems engineer at Rolls-Royce, ST Microelectronics, and Airbus. During his career, he has contributed to aircraft including the Airbus A320, A330, A340, A380, A400M, A350, and Boeing 747, 757, 767, and 777. His doctorate investigated the application of modern Formal Methods to microprocessor Instruction Set Architectures, and he now lectures and conducts research into Avionics and Aircraft Systems, particularly in the field of UAVs. He has now founded the Unmanned Flight Laboratory (UFL) at the UWE, developing UAV technologies for a variety of industrial customers.|
After a 25-year career in systems for conventional aerospace, Steve Wright is now an Associate Professor of Aerospace Engineering at the University of the West of England (UWE), where his primary focus is on developing novel UAVs (“drones”) for a variety of commercial customers.