Verification for Automated Production Systems

VerifAPS is a software project that consists out of multiple subprojects for the verification of automated production plants, i.e. programmable logic controller software.

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

Or you can use the exposed programs.

• Library Projects
• aps-rvt – Regression Verification for APS
• geteta — Generalized Test Tables
  • Getting Started
  • Download
  • Getting started
  • Command Line Arguments
• XML-Format of Generalized Test tables
  • What is a test table?
  • Semantics
  • Input format
• STVS – A GUI for Geteta
  • Features
  • Getting Started
  • Downloads
  • Documentation Material
• Demonstration from the Final Workshop
  • Introduction
  • Regression Verification
  • ST Verification Studio

Applications

• rvt-aps – Regression Verification
• geteta – Genteralized Test Tables for functional verification
• stvs – A graphical user interface for Generalized Test Tables.

Getting Started

You can obtain the library via github. Please follow the instruction on the README.md.

Maven Repository

You can find old versions of VerifAPS here:

<repositories>
  <repository>
    <id>formal-iti-kit</id>
    <url>https://formal.iti.kit.edu/maven2/</url>
  </repository>
</repositories>

New repository in planning.

Funded within IMPROVE APS