-
Andreas Bayha authoredIssue-ref: 4338 Issue-URL: af3#4338 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>Andreas Bayha authoredIssue-ref: 4338 Issue-URL: af3#4338 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>
newFeatures_af3_fortissPage.html 7.99 KiB
<!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">
<title>New features and changes in AutoFOCUS 2.24</title>
<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>
<ul>
<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>
</ul>
<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>
<h3>Variability</h3>
<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>
</ul>
<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>
</ul>
<br>
<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>
<br>
<h3>
Detailed list of changes in 2.24:
</h3>
<ul>
<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>
<li>Adding new platform architecture elements for to be used within the reuse library (#4345)</li>
<li>Remove PresenceConditions before storing an element in a library (#4344)</li>
<li>Minor technical issues in AF3 help (#4343)</li>
<li>Investigate the crash of the DSE visualization (#4351)</li>
<li>Hardware Optimization: Meaningful Attributes & ECU and Task Lists (#4041)</li>
<li>Update the routes of a platform architecture on creation of the DSE model snapshot (#4353)</li>
<li>Categories in the Model Elements Navigator shall be collapsed by default (#4352)</li>
<li>Remove references to DataDictionary before storing an element in a library (#4346)</li>
<li>Variability: Constraints are not checked in variant configuration dialog (#4348)</li>
<li>PlatformArchitecture editor freezes (#4349)</li>
</ul>
</div>
</body>
</html>