悪用防止プロセッサによるオープンソースソフトウェアで制御されたUAVの強制軟着陸の基礎検証

抄録

In recent years, Open Source Software (OSS) has played an essential role in the development of Unmanned Aerial Vehicles (UAVs) and other robots. However, there is a risk that robots developed using OSS may be used for inhumane purposes, such as terrorist acts unintended by OSS developers. This paper describes verifying the functionality at the processor level to prevent the abuse of UAVs by seizing control. In this paper, a prototype of a secure processor is developed by using FPGAs, that cannot be modified by the user. Besides, this paper demonstrates fundamental verification to assess the processor’s ability to detect intrusions into restricted areas and to execute forced soft-landing procedures.