FDR verification of a system involving a robot climbing stairs

Abstract

Information technology has been advancing in many countries. In their daily lives, people encounter computerized systems in many situations and often take their operation for granted. If a system failure occurs temporarily, it is disadvantageous for the system operator and the user. The use of distributed and parallel processing systems has increased the prevalence of software failures due to resource sharing among processes. The purpose of this study is to verify the presence or absence of deadlock by using the validator called FDR for the processes of the LEGO® MINDSTORMS® EV3 robot while it climbs stairs.