New Features and Changes in AutoFOCUS 2.18

Co-simulation

• AF3 is now a listed as an official FMI Tool https://fmi-standard.org/tools/
• A Co-simulation example is now included in AF3. AF3 FMI Example

DSE

• Reworked and unified synthesis view based on JavaFX
• Ability to launch a DSE synthesis from the command line

Kernel

• Modular Command Line Interface (CLI) support that is extensible by plugin contributions

UI Update

• AF3 2.18 includes a major UI update
• Most of the views have been updated with a new JavaFX-based UI

Detailed list of changes in 2.18

FAQ - Installation and Running

• On MacOS
  • You need to accept unknown developer certificates.
  • You need to move AutoFOCUS3 to your application folder.
  • If you get an error message on startup which says that AutoFOCUS3 is broken and cannot be started: open a terminal and use the following command:
    • sudo xattr -rd com.apple.quarantine /Applications/AutoFOCUS3.app
    • As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS
• 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.18.[...]\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".