Apply Model-Based Systems Engineering (MBSE) using SysML to formally define complex systems.
Use an MBSE tool (like Cameo or Capella) to model the requirements and block definition diagram of an autonomous drone.