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)