AutoFOCUS 3

AutoFOCUS 3

AutoFOCUS 3 - Release Notes

New Features and Changes in AutoFOCUS 2.20

 

Co-simulation

  • The generated configuration file was extended to provide information on which exported ports belong to the same complex data structure
  • Various bug fixes and robustness improvements.

DSE

  • It is now possible to allocate logical component (input/port) ports to more than one task (input/output) port.
  • The DSE perspective is now able to import and handle partition architectures.
  • Various improvements of the usability.

Kernel

  • The DynamictableTreeViewer was enhanced to enable reference lists to model elements.

UI Update

  • The zoom level in diagram editors can now also be adjusted via the toolbar.
  • Various improvements of usability, performance and responsiveness in all parts of the tool.

 

FAQ - Installation and Running

  • On MacOS
    • You need to accept unknown developer certificates.
    • You need to move AutoFOCUS3 to your application folder.
    • 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:
      • sudo xattr -rd com.apple.quarantine /Applications/AutoFOCUS3.app
      • As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS
  • 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.20:

  • Avoid exceptions/hangs when loading/importing models (#4166)
  • Allocation View: Avoid mouse pointer movement, improve performance (#4165)
  • [FMI] Do not assume task ports are named like the allocated component ports (#4155)
  • DSE Synthesis View: Remember currently selected synthesis type (#4154)
  • Enable to allocate logical component (input/port) ports to more than one task (input/output) port (#4148)
  • Improve performance of project deletion (#4145)
  • [FMI] Provide information on which exported ports belong to the same complex data structure (#4142)
  • Avoid concurrent modification exception in Action service (#4141)
  • Fix export of solutions that contain schedules and improve visualization UI (#4139)
  • MIRA: Show element icons in requirements overview editor (#4135)
  • MIRA: Status cells are also editable where they should not (#4133)
  • [DSE] Enable import of partition architectures (#4127)
  • Implement a JFX controller for the creation and visualization of reference lists (#4092)
  • LibraryView to JavaFX (#4019)
  • Introduce Zoom control (#3843)
  • Fix: icons in requirement editor do not vanish correctly when collapsing row items (#4166)
  • [Allocation] Exclude parameter tables when traversing allocation tables (#4158)
  • [FMU Export] Do not fail silently if no sampling time is specified (#4166)
  • [DSE] Switch to partition scheduling only if partitions are used (#4131)
  • Install exception handler for command stack showing errors to user (#4169)
  • Enable to unset annotation value by entering the empty string (#4170)
  • Assume infinite runtime for tasks where no WCET as been specified (#4171)