Newer
Older
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- html page to use on fortiss website https://www.fortiss.org/veroeffentlichungen/software/autofocus-3 for the release notes link. -->
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<style>
.mBlock { margin-left: 62px; }
h2 { color: black; }
table, th, td {border: 1px solid black; border-collapse: collapse;}
tr:nth-child(even) {background: #DDD; }
tr:nth-child(odd) {background: #FFF; }
tr:first-child {background: #AAA; }
</style>
</head>
<body>
<div class="mBlock">
<h2>New Features and Changes in AutoFOCUS 2.24</h2>
<h3>Model Metrics and Quality</h3>
<ul>
<li>Completely new mechanism to calculate, collect and display metrics for models.</li>
<li>There are warnings displayed for quality issues in names used in the data dictionary.</li>
</ul>
<h3>SysML Export</h3>
<li>New export feature from AF3 to SysML models for Papyrus, MagicDraw or Enterprise Architect.</li>
</ul>
<h3>Design Space Exploration</h3>
<ul>
<li>Added functionality to edit DSE projects in the DSE perspective (e.g. delete constraints, objectives and rule sets).</li>
<li>Improved and simplified the user interface in the DSE perspective to ease usage, especially for new users.</li>
<li>Added a feasibility check for manual deployments from Tasks to Execution Units.</li>
<h3>Reuse</h3>
<ul>
<li>Improved representation of reusable elements in the graphical user interface.</li>
<li>Improved handling of library elements for correctness checks.</li>
</ul>
<li>New Product-line Analysis feature has been added to the Component Architecture to check for variability related model issues.</li>
<li>Tooltips were added to the Feature Model editor to make editing more intuitive.</li>
<li>New refactoring between alternative and compositional features to ease the editing and maintenance of Feature Models.</li>
<li>New checks for Feature Names to prevent problematic feature names.</li>
<h3>General</h3>
<ul>
<li>Support for comments in Code Specifications to improve documentation.</li>
<li>New z3 version is used for design space exploration and product-line analysis to improve performance and stability.</li>
<li>More functionalities can be triggered via context menus in diagram editors that were previously only available in the Navigator view.</li>
<li>Several quality of live improvements to the graphical user interface.</li>
<h3>FAQ - Installation and Running</h3>
<ul>
<li> On MacOS
<ul>
<li>You need to accept unknown developer certificates.</li>
<li>You need to move AutoFOCUS3 to your application folder.</li>
<li>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:
<ul>
<li>sudo xattr -rd com.apple.quarantine /Applications/AutoFOCUS3.app</li>
<li>As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS</li>
</ul>
</li>
</ul>
</li>
<li> On Windows: DSE does not execute and throws exception
<ul>
<li> If you encounter the following exception when running a DSE you might be missing required libraries:
<br>
<i>java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.20.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries</i>
<br>
Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
</ul>
</li>
<li> AF3 does not start
<ul>
<li> Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
<li> 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
</ul>
</li>
<li> Unpacking of AF3 zip file fails with 'Path too long' on Windows
<ul>
<li> Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
</ul>
</li>
<li> Menu icons are not displayed on KDE
<ul>
<li> Go to "System settings - Application Style - GNOME Application Style".
<li> Select "Show symbols of GTK buttons".
<li> Select "Show symbols in GTK menus".
</ul>
</li>
</ul>
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
<li>Bug: Property section for FeatureModel is not correctly initialized (#4329)</li>
<li>Product-line Analysis: Remove deprecated old analysis (#4328)</li>
<li>Enable Product Line Analysis to run in background without blocking the constraint checker (#4309)</li>
<li>Feature Model: Add tooltip to editor (#4288)</li>
<li>Feature Model: Only one FeatureModel can be opened at a time (#4285)</li>
<li>FeatureModel: Add a check for unique feature names (#4278)</li>
<li>Check FeatureNames not to be empty (#4257)</li>
<li>Variability: Add product-line analysis to tooling kernel (#4240)</li>
<li>Add product-line analysis for logical architecture (#4146)</li>
<li>Add refactoring CompositionalFeature <-> AlternativeFeature (#4256)</li>
<li>Variant Configuration: Selection of "None" Alternative for AlternativeFeatures causes an Exception (#4272)</li>
<li>Improve translation of models to SMT for product-line analysis (#4315)</li>
<li>Update Z3 to version 4.12.2 (#4172)</li>
<li>Add missing .settings files/repo in reuse plugins (#4325)</li>
<li>Marker View: Add automatic line break for explanation (#4283)</li>
<li>LWFXEF: Disable Background Grid by Default (#4319)</li>
<li>Allow comments in code segments (#4299)</li>
<li>Diagram Editors: Display context menu entries from the ContextMenuService (#4290)</li>
<li>SysML Exporter (#4223)</li>
<li>Integration of SysML Exporter Plugins into AF3 git (#4316) </li>
<li>Setting up Metric extraction Plugin (#4310)</li>
<li>Create a mechanism to enable sorting the prototypes (categories) in model elements view aside of the standard lexicographical one (#4221)</li>
<li>Fix bad display of element choices in the in-editor context menu ("New ..." selection) (#4323)</li>
<li>[Reuse] Broken data dictionary references clutter the Marker View (#4324)</li>
<li>LWFXEF: Hide the Editor's Context Menu after Opening the Re-Use Dialog (#4321)</li>
<li>Enable deleting constraints, objectives, rulesets (#4322)</li>
<li>DSE Perspective: Enable Scheduling Synthesis only in Expert Mode (#4320)</li>
<li>DSE Perspective: UNSAT cores are highlighted only after another DSE is triggered (#4317)</li>
<li>Implement a feasibility check for task-to-hardware allocation tables (#4314)</li>
<li>Enable editing DSE projects in the DSE navigator (#3797)</li>
<li>Avoid ConcurrentModificationException in MarkerService::UIJob (#4339)</li>
<li>Avoid erroneous function/constant naming convention warnings (#4340)</li>
<li>Change samplingTime Parameter used for FMU Generation into uppercase version to handle the new naming convention warning for it (#4341)</li>
</div>
</body>
</html>