Manual

A recent version of the manual can be found under Download. An easy way to get everything running is to use the Docker setup.

Examples

The YAP package available under Download contains several examples.

  1. A risk model for autonomous driving, see examples/autodrv. Please, have a look into Section 2.3 of the PDF manual to learn about the command line calls to make.
  2. A risk model for the human-robot collaboration setting discussed in our ICECCS’20 paper, see examples/hrc. On Linux, you can carry out the experiment, part of the paper evaluation package, with ./run.sh. Consider the README.md for further instructions.
  3. A YAP model for the synthesis of deployable safety controllers in human-robot collaboration as discussed in our recent working paper, see examples/hrc2. On Linux, you can carry out the experiment, part of the paper evaluation package, with ./run.sh. Consider the README.md for further instructions.
  4. A set of patterns of how to encode dynamic fault trees in YAP, see examples/dfta. Use this example in analogy to Section 2.3 of the manual.

On Linux and when not using the Docker setup, these examples are installed in the folder /usr/share/yapp/examples. In order to assure write access to the examples, copy them with

mkdir -p ~/yap-examples
cp -r /usr/share/yapp/examples/* ~/yap-examples

into your home directory. Then you can mess around with it and, if getting stuck, revert your copy to the original files.

Tutorial 1

Accompanying examples/hrc, shipped with the YAP package, here is a mini-tutorial, or a hands-on guide, on using YAP and external tools (particularly PRISM) to synthesise a safety controller for a human-robot collaboration setting in manufacturing.

Further examples and a more detailed tutorial are on my agenda.