Systems Engineer shines at INCOSE Symposium with UAV breakthrough

In the ever-evolving landscape of engineering innovation, Ibukun Phillips emerges as a beacon of ingenuity, pioneering advancements in the verification and validation of unmanned aerial vehicles (UAVs).

Recognised for his thought-provoking research, Phillips received the prestigious Brian Marr Best Student Paper Award at the esteemed INCOSE International Symposium in Honolulu, Hawaii.

His visionary approach to ensuring the reliability and performance of complex AI-enabled systems has garnered widespread acclaim, propelling him to the forefront of the field.

In his award-winning paper titled ‘System Verification via Model-Checking: A Case Study of an Autonomous Multi-differential Drive Robot,’ Phillips delves deep into the intricate realm of UAVs, exploring the challenges and opportunities inherent in their design and operation.

“UAVs play a pivotal role in numerous industries, from surveillance and monitoring to commercial delivery and beyond,” explains Phillips. “However, their effectiveness hinges on robust design and thorough verification processes to mitigate potential failures.”

Employing a systematic approach to formal verification, Phillips leverages model-based systems engineering (MBSE) principles to translate theoretical models into practical operational specifications.

Through symbolic model checking, he identifies and rectifies design flaws, ensuring UAV systems meet stringent operational requirements.

“The INCOSE International Symposium provided an invaluable platform to share and collaborate on groundbreaking research,” reflects Phillips.

“Receiving the Brian Marr Best Student Paper Award is not just a personal achievement but a testament to the importance of advancing system verification methodologies.”

As the demand for UAV technology continues to soar, Phillips’ contributions underscore the critical need for rigorous verification processes to safeguard against potential risks.