Libraries for the analysis of IEC61131-3 code
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.circleci
.idea
aps-rvt
asdl
casestudies
flycheck
gradle/wrapper
iec-modularization
iec-run
iec-symbex
iec-xml
iec61131lang
share
smv-model
.gitignore
LICENSE
README.md
build.gradle
gradlew
gradlew.bat
old.tar.bz2
settings.gradle
verifaps-lib.iml
verifaps-lib.ipr

README.md

verifaps-lib

Library and programs for the verification of software for automated production systems.

How to build

Create all programs:

$ ./gradlew :casestudies:installDist

You can find the programs in ./casestudies/build/install/casestudies/bin.

Test project:

$ ./gradlew check

Project overview

  • iec61131-lang -- Parser and AST for StructuredText and Sequential Function Chart.
  • geteta -- Framework for generalized Test Tables.
  • casestudies -- contains generic programs and programs for specific case studies.
  • flycheck -- interface for syntax and type checking of Structured Text files.
  • iec-modularization -- Modularized regression verification.
  • iec-run -- Interpreter for Structured Text
  • iec-xml -- Loading and Parsing of PCLOpenXML projects.
  • smv-model -- Model and parser for SMV. Also includes nuXmv interface.
  • web-backend -- Backend for the web frontend. (upcoming)