New Features and Changes in AutoFOCUS 2.28

General

• Upgraded RCP platform to Eclipse 2025-03
• Various improvements and bug fixes to improve the maintainability and usability of the user interface

Consistency Check (C4)

• Improved adapter and viewtype collections for Asset Administration Shells
• Various improvements wrt the configuration of the checking environment and the resource folder
• Added runtime performance monitoring to the consistency check
• Added support for recursive consistency checks
• Several bug fixes

Variability

• Added modelling support for variability in the platform architecture
• Added UI functionalities and automated check to avoid optional ports within behavioral specifications

Allocations / DSE

• Improved user interface for generating allocation tables and fixed issue when importing them in the DSE perspective

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.28:

• AF3 help does not open (#4481)
• Let the user decide where a new component-task allocation should be placed (#4461)
• Model Elements View: Wrong default explansion state and icons of categories (#4497)
• IllegalStateException when saving FileProject (#4484)
• Crash when importing allocation table with empty source or target view (#4493)
• Remove native CSS styles for JavaFX (#4394)
• IllegalArgumentException registering global model element categories (#4494)
• [CCCC] Change BaSys identifiers to BaSyx (#4480)
• Issue Variability in Platform Architecture (#4137)
• Issue [CCCC] Check if the provided resource folder is as needed for the consistency environment (#4457)
• Issue [CCCC] Add logging times of consistency checks (#4471)
• Issue [CCCC] Implement the res path decision also at startup of the AF3 consistency adapter (#4467)
• Issue [CCCC] Prevent (failed) rule evaluations of rules needing more than one element but on elements that have no linked elements (#4464)
• Issue [CCCC] Combine several work in progress branches for an AF3 Consistency Build for the Practical Course (#4463)
• Issue [CCCC] Merge 4420 into 4456 to have a better test environment for 4456 (#4458)
• Issue [CCCC] Enable choosing the resource folder (path) when starting the C4 from within AF3 (#4456)
• Issue [CCCC] Additional consistency rules and therefore additional consistency providers in AF3 (#4420)
• Issue [CCCC] Execute all consistency rules for the selected element and all contained elements (#4388)
• Issue [CCCC] Improve the configuration of the C4 (#4407)
• Issue [CCCC] Extending the viewtype collection for the BaSys Consistency Adapter (#4442)
• Issue [CCCC] Fix OCL SemanticException for consistency rules after update to Java 21 (#4478)
• Variability: Ports of components with behavioral specification shall never be optional (#4483)