Skip to content
Snippets Groups Projects
Commit b17921e6 authored by Simon Barner's avatar Simon Barner
Browse files

What's new page for AF3 2.16 

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: default avatarSimon Barner <barner@fortiss.org>
parent aaddd2d7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
org.fortiss.af3.rcp.application/intro/newFeatures.html
+ 161
− 2
View file @ b17921e6
......@@ -6,15 +6,174 @@
<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.16</h3>
<h3>Assurance Cases</h3>
<ul>
<li>TBD</li>
<li>Quantitative confidence assessment: We implemented the approach proposed by Duan et al.
(L. Duan, S. Rayadurgam, M. Heimdahl, O. Sokolsky, and I. Lee, &quot;Representation of confidence in
assurance cases using the beta distribution&quot; in <i>Proceedings of 17th Conference on
High Assurance Systems Engineering Symposium - HASE</i>. IEEE Computer Society, 2016, pp. 170-171.
DOI: <a href="https://doi.org/10.1109/HASE.2016.52">10.1109/HASE.2016.52</a>),
which computes the belief, disbelief and uncertainty of a GSN-argument based on the safety defeaters.
A safety defeater is anything that can reduce the confidence on the argument, such as, a software bug.</li>
<li>Generation of assurance case reports: We implemented a new feature within our tool that allows the
user to export an assurance case or an argumentation module
diagram into svg, pdf and png, and jpeg files.</li>
</ul>
</div>
<h3>Design Space Exploration (DSE)</h3>
<ul>
<li>Consolidated editor for constraint pattern definition.</li>
<li> Implementation of a procedure to minimize the estimated energy consumption in the (deployment +)
schedule synthesis. The approach optimizes the selection of the cores' clock setting from the
set of supported frequencies.</li>
</ul>
<h3>Tooling Infrastructure and Maintenance</h3>
<ul>
<li>Platform update to Eclipse 2019-06</li>
<li>Update online help and Eclipse Welcome page.</li>
<li>Repair example models</li>
<li>Further stability fixes and improvements</li>
</ul>
<h3>Detailed list of changes</h3>
<table border="1">
<tr><th><b>Issue</b></th><th><b>Description</b></th></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3854">3854</a></td><td>[safety-docu] Split documentation for safety cases on multiple pages</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3847">3847</a></td><td>Co-Simulation does not work in binary product</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3845">3845</a></td><td>Fix welcome page</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3841">3841</a></td><td>NPE in joint synthesis</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3840">3840</a></td><td>Create a new Constraint/Objective Set button not visible</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3839">3839</a></td><td>Requirements documentation check</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3835">3835</a></td><td>Move user documentation to dedicated plugin</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3833">3833</a></td><td>MCDC documentation</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3830">3830</a></td><td>Transitive calculation of allocation targets starts from the wrong allocation table</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3829">3829</a></td><td>User documentation for new features of deployment/schedule synthesis</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3828">3828</a></td><td>Online help does not work</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3827">3827</a></td><td>Binaries are not ignored in the af3-tests repository</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3826">3826</a></td><td>ArithmeticException thrown when scaling a core's frequency</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3825">3825</a></td><td>NPE when exporting PlatformArchitectures from the DSE</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3824">3824</a></td><td>Bugs when trying to save when closing AF3 from DSE perspective</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3823">3823</a></td><td>AnnotationTable causes Exception if AF3 is executed on Unixoids</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3822">3822</a></td><td>Fix NPE in the Annotation Table of the Task Architecture</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3821">3821</a></td><td>MessageSize value provider refers to the derived size value and not to the max size value</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3820">3820</a></td><td>Remove InternalComponent</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3818">3818</a></td><td>Avoid NPE in ModelEditorBindingService</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3817">3817</a></td><td>Frequency information is not transferred correctly when a system schedule is exported</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3816">3816</a></td><td>Adding a platform architecture results into an NPE</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3813">3813</a></td><td>Context menu contributors: Fix class cast exception</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3812">3812</a></td><td>Improve naming of coupling/decoupling constraints</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3811">3811</a></td><td>Models present in the runtime workspace during AF3 startup cannot be saved any more</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3810">3810</a></td><td>Create a model snapshot for the TaskWcet and MemoryTable</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3808">3808</a></td><td>Enable importing Requirements (Safety) to the DSE</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3807">3807</a></td><td>Mismerge in 3608 causes undesired API revert</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3806">3806</a></td><td>Cleanup the migration service</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3804">3804</a></td><td>Schedule generation works only if launched twice / SMT solution transformation returns invalid set types</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3801">3801</a></td><td>The period marker in Gantt chart views is not displayed correctly even if period values are present</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3800">3800</a></td><td>No context menus can be opened anywhere in the model navigator</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3796">3796</a></td><td>Selecting / Exporting multiple solutions is no longer possible</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3792">3792</a></td><td>Selection of rule sets is not consistent with the checkbox when switching view</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3788">3788</a></td><td>[Project Import] DashboardWizard imports every selected element</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3780">3780</a></td><td>Scheduling synthesis fails if preceded by a another successful synthesis</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3779">3779</a></td><td>Missing per-quantifier unfolding for scheduling-related constraints</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3773">3773</a></td><td>Create JUnit test suite covering the generation, translation and exploration of design spaces</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3771">3771</a></td><td>Translation from DSEML to SMT crashes as it encounters the same expression twice</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3770">3770</a></td><td>Allocation tables not classified as relevant in DSE import</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3768">3768</a></td><td>Extraction of routes between ECUs does not take into account alternatives</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3766">3766</a></td><td>Constraints contained within an SMTObjective are overwritten during the translation to SMT</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3764">3764</a></td><td>Allocation functions not registered within the transformation service upon creation with a non-quantified constraint</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3763">3763</a></td><td>Annotations of a task are not considered in the translation to SMT</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3762">3762</a></td><td>Contained targets are overwritten during the translation to SMT</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3760">3760</a></td><td>Annotations are not translated to SMT expressions</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3758">3758</a></td><td>Update developer platform to 2019-06</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3756">3756</a></td><td>[DSML Transformator] Clear the Expression holder for repetetive transform() calls</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3755">3755</a></td><td>Z3: Update to version 4.8.5</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3752">3752</a></td><td>Creation of Safety Patterns fails, causes an NPE</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3751">3751</a></td><td>[safety] Exporter documentation</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3750">3750</a></td><td>Simplify the annotation retrieval</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3749">3749</a></td><td>Import MemoryUnits into the DSE project</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3746">3746</a></td><td>Enable the specification of data type sizes and temporal interferences on the platform level</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3743">3743</a></td><td>Render the route calculation in the schedule skeleton genertaion optional</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3742">3742</a></td><td>Model corruption when back-exporting DSE solution models</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3741">3741</a></td><td>Improve DSML to SMT transformation performance for repeated calls</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3740">3740</a></td><td>Use the non-Optimizing Z3 solver if no objectives are defined</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3739">3739</a></td><td>Erroneous causality constraints</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3738">3738</a></td><td>SMT solver may create a NPE if timeout is reached and no solution was found</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3735">3735</a></td><td>Partition Architecture: Introduce memory areas</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3730">3730</a></td><td>Make Progress Monitors optional for the Z3 backend</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3728">3728</a></td><td>[safety] Bugs ExplicitCase</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3727">3727</a></td><td>Base the EcoreUtil methods on Predicates</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3726">3726</a></td><td>Platform Update to version 2019-03</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3710">3710</a></td><td>Migrate EcorUtils and KernelModelElementUtils to a functional programming style</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3699">3699</a></td><td>[safety] Color details of the exporter</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3698">3698</a></td><td>[Z3] Rebase Quantifier unfolding based on a per-quantifier basis</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3696">3696</a></td><td>Mapping of memory requirements to platform</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3692">3692</a></td><td>Integrate Z3 test in the default set of AF3 JUnit tests</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3688">3688</a></td><td>[DevDoc - exploration] Describe the project model</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3687">3687</a></td><td>[Dev-doc exploration] Describe root model elements and the dimension + solution package</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3686">3686</a></td><td>Create developer documentation for the source code of the exploration plugin</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3685">3685</a></td><td>Create developer documentation for the exploration plugin</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3684">3684</a></td><td>Create developer documentation for the exploration.smt plugin</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3682">3682</a></td><td>Create documentation for the SMT ecore</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3681">3681</a></td><td>Create ecore documentation for the dseml model</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3680">3680</a></td><td>Document the exploration plugins</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3677">3677</a></td><td>Move expression generation to util class</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3676">3676</a></td><td>Remove deprecated metamodels and migrators</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3672">3672</a></td><td>Clean up AF3 toolbar layout</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3651">3651</a></td><td>Several exception in constraints / transformation</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3644">3644</a></td><td>[Outputs not overwritten constraint] check that the transition return by the check is enabled</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3640">3640</a></td><td>Erroneous folder selection for nested paths</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3636">3636</a></td><td>[safety] Reference values of input/output ports in assumption/context</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3612">3612</a></td><td>MCDC - toZ3 cannot handle unary operators</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3608">3608</a></td><td>Support minimization of energy consumption (based on frequency setting) in deployment and scheduling synthesis</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3596">3596</a></td><td>MCDC: GUI Implementation</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3583">3583</a></td><td>Make the distillery operational again...</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3577">3577</a></td><td>Connection of AF3 to PTC Integrity Modeler</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3573">3573</a></td><td>In the Component Structure of Mode, Forward button of ports not enabled if it is selected and connected to a successor port</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3572">3572</a></td><td>Propagation of Ports From Component structure after creation of Mode Switch Component Structure</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3564">3564</a></td><td>Add APACHE 2.0 license to repos.</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3544">3544</a></td><td>[Openhouse] Merge Security Simulator</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3538">3538</a></td><td>Transition to Eclipse Photon</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3534">3534</a></td><td>[documentation] Add developer documentation for af3.platform.hierarchic</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3533">3533</a></td><td>[documentation] Add developer documentation for af3.platform</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3523">3523</a></td><td>Check why copyComponentIntoNewProject may be called with a non-project contained Component</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3521">3521</a></td><td>Superclass for Safety Solutions</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3466">3466</a></td><td>NPE when addign Assest and Parameter Definition Aspect</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3463">3463</a></td><td>[JavaFX] Add a constructor in the base class for single controller views.</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3460">3460</a></td><td>Quantitative Valuation for Safety</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3415">3415</a></td><td>Test Suite editor closes unintentionally</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3380">3380</a></td><td>NPE for security aspects</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3358">3358</a></td><td>Support the definition of basic objectives in SMT scheduling</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3285">3285</a></td><td>Reintegrate the MOEA-DSE-Transformation framework</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3279">3279</a></td><td>Exploration.alg cleanup</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3271">3271</a></td><td>Reintegrate Task allocation constraint towards HW targets (MOEA)</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3264">3264</a></td><td>Reintegrate the instantiation of interface Components in the MOEA-DSE</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3254">3254</a></td><td>Base the MOEA-DSE's input layer on SuperSets</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3246">3246</a></td><td>missing null pointer check missing in class CurrentObjectiveContributionItem</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3235">3235</a></td><td>[Wiki] Start page of AF3 Developers wiki contains many broken links</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3224">3224</a></td><td>constraint for non-NoVal ports</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3221">3221</a></td><td>[Documentation] Signal Report Generation</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3197">3197</a></td><td>traces up to date constraint</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/3048">3048</a></td><td>Adding element in the "Model Navigator" that does not have a dedicated editor triggers "Project Configuration" editor</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/2807">2807</a></td><td>[FMI] Force user to define initial values for top-level outputs</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/2777">2777</a></td><td>[State automata] not possible to copy paste a state while it is selected</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/2775">2775</a></td><td>[safety] Improve instructions to the user(text)</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/2548">2548</a></td><td>Cannot read .jpeg extension</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/1882">1882</a></td><td>Pack existing component structure in new component</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/1821">1821</a></td><td>C Code for data state variables is not generated correctly</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/1622">1622</a></td><td>Delivered parent ports of a new Component Architecture in Mode Switch Specification bug</td></tr>
<tr><td><a href="https://af3-developer.fortiss.org/issues/1514">1514</a></td><td>Elements not found in second data dictionary</td></tr>
</table>
</body>
</html>
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment