Segway

Introduction

This entry documents the development of a model of a Osoyoo Segway robot. A full report is available.

A video of the robot in action can be seen below:

RoboChart models

There are four versions of the RoboChart model, as documented in the report, available for download below.

• Version1
• Version2
• Version3
• Version4

Parallel version

• Segway-Parallel

This is a modified version of the Segway RoboChart model, which we refer to as Segway-Parallel. Here, we define each PID operation by a state machine. We enable a parallel description of the Segway model by allowing each PID to operate in any order. Each PID, however, can still only operate on specific update cycles, as indicated by the constants.

Segway with ANN components

A version of the Segway RoboChart model that includes an artificial neural network component can be found in a repository. There, we also include artefacts related to the validation of the semantics of this version of the Segway model, and its verification with respect to the model(s) above. A report is available here.

Mutation testing resources

Projects for the generation of mutants with Wodel and the comparison of mutants with the original model for the production of test traces are available below.

• SegwayWodel
• SegwayComparison

RoboSim version

The automatically generated RoboSim model can be found in Segway-version4RC2RS.zip