Verification for Automated Production Systems

VerifAPS is library and a set of programs for the formal verification of software for automated production systems (programmable logic controller, PLC).

VerifAPS can be used as a library. For this several facades are exposed, for e.g. parsing Structured Text, PLCOpenXML or symbolic execution , or by the several exposed programs.

Applications

rvt-aps – Regression Verification
geteta – Genteralized Test Tables for functional verification
Editor - A simple editor with support of IEC61131 and test tables
stvs – A graphical user interface for Generalized Test Tables.

Demonstrations

Final Event of SPP1953

Getting Started

VerifAPS is available on github. You can compile your own executables with:

$ git clone https://github.com/verifaps/verifaps-lib
$ ./gradlew :exec:installDist

For compiliation, the only requirement is a recent version of Java. The rest is bootstrapped. For development IntelliJ IDEA is recommended. For the latest development version you should checkout the develop branch.

You find the executables after a successfully assembly under <project-path>/exec/build/install/exec/bin/. The generated BAT files have problems on Windows due to long arguments, please use the exe files.

Maven Repository

You can find versions of VerifAPS here:

<repositories>
  ...
  <repository>
    <id>github</id>
    <name>GitHub VERIFAPS Maven Packages</name>
    <url>https://maven.pkg.github.com/verifaps/verifaps-lib</url>
  </repository>
</repositories>

Publications

Funded by IMPROVE APS