New Features and Changes in AutoFOCUS 2.27

Model Consistency

• Added support to connect the AF3 consistency Check (C4) to OPC UA servers for checking consistency with runtime data.

Variability

• Added support for DEFAULT keyword in presence conditions to product-line analysis.

fortissimo

• Added option to start model on fortissimo rovers without re-deplyoing it.

FAQ - Installation and Running

• On Windows: DSE does not execute and throws exception
  • If you encounter the following exception when running a DSE you might be missing required libraries: 
    java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.20.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries 
    Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
• AF3 does not start
  • Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
  • If the product does not start because the Java Virtual Machine (JVM) could not be created: Please update your Java installation to Java 11.0.7
• Unpacking of AF3 zip file fails with 'Path too long' on Windows
  • Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
• Menu icons are not displayed on KDE
  • Go to "System settings - Application Style - GNOME Application Style".
  • Select "Show symbols of GTK buttons".
  • Select "Show symbols in GTK menus".

Detailed list of changes in 2.27:

• [CCCC] Register OCUPA adapter at the central consistency checker (#4443)
• Add Start-Only without Deployment (#4432)
• PLA: Exception in models with DEFAULT presence condion (#4419)