Changelog

v0.3.12

Released: 2022/11/16

Ambiguities in the qualitative flow calculation are now displayed as a warning in the GUI
Added possibility to compare effort/flow values between ports
[Bug] Fixed operator AU in CTL verifier
[Bug] Fixed bug in qualitative flow calculation

v0.3.11

Released: 2021/08/16

Added State-based Minimal Cutset Generator
Added Next-Higher-Level Effects column to FMEA
Improved State-based Effect Finder
Improved CTL Verifier

v0.3.10

Released: 2021/04/07

Renamed Simulator to Unfolder, Simulation Result to Extended Transition System
Added experimental property-based Effect Finder
Internal restructuring

v0.3.9

Released: 2020/02/18

Filter FMEA result by component or component class
Added possibility to get component class and hash as value in FMEA
Always show all failure modes in FMEA
Added mapper between failure events and failure mode
Improved toolbar layout on small windows
Added button to switch between failure event and failure mode in CTL counterexamples

v0.3.8

Released: 2019/11/20

Added close options to tabs in Editor
Added scripting interface for FMEA
Indicate component with failure in Component View
Added file filters in Project Explorer
Enabled features on Enum instances
Improved FMEA performance
Added CSV as export format for FMEA
Close file in Editor if deleted
Update file in Editor if renamed
Editor syntax highlight support for XML
[Bug] Fixed bug that showed wrong Properties in Model Explorer after changing State Node

v0.3.7.1

Released: 2019/09/12

Remove trailing whitespaces in files on save
Added new default FMEA layout for debugging
[Bug] Restore Editor session
[Bug] Fixed wrong output of failure modes and local effects
[Bug] Fixed not reset FMEA result on project change

v0.3.7

Released: 2019/08/30

FMEA layout templates are supported
Reload system model on simulation start
Scroll to searched component in Model Explorer
Scroll to searched file in Project Explorer
Syntax error highlighting for Python in Editor
Improved performance of Editor
Improved performance of FMEA Generator
Updated compatibility to Java 11
Directly execute Python scripts
Export Project to Zip file
Save session information of FMEA Generator, CTL Verifier and Simulator
[Bug] FMEA Generator does not stop if cancelled
[Bug] Fixed replacement of previous found word, even if it is not the current searched word
[Bug] Show tab names in editors drop down button

v0.3.6

Released: 2019/06/07

Basic export support of FMEA as Excel Sheet
Option to show only variables tagged with “observe=true” in FMEA
Indicate observed variables in Model Explorer
Show license file content in About Window
Updated to JavaFX 12
Added syntax highlighting for Python
[Linux] Install and uninstall modules
[Bug] Updated to RichTextFX 0.10.1 with bug fixes
[Bug][Win] Drives expandable in Project Open Dialog
[Bug][Win] Returning directory after renaming or deleting it

v0.3.5

Released: 2019/04/12

New Project Open Dialog
Generate Python wrapper classes
Improved scripting interface
Added FMEA table configurable via XML and Python
Added new FMEA algorithm
Added first FMEA interpretation
Editor syntax highlight support for YAML
Editor checks if file exists or belongs to the Project before it reopens it
Better indication of no longer existing Projects
Notification is shown if invalid installed Modules found
Modules Management reachable via Welcome Window

v0.3.4

Released: 2019/01/31

Interface for scripting
Support of Python as scripting language
Show license information in About Window
Updated name convention for identifiers in CTL
Added find and replace in Editor
Highlight brackets in Editor
Project Open Dialog uses last opened directory as default location
When creating new package, name is checked within dialog
Show only possible options in context menu of Project Explorer
Copy component reference via Project Explorer
Implemented basic search for Project Explorer

v0.3.3

Released: 2018/11/30

Improved modularization
First FMEA implementation
Added buttons to minimize side panels
Added support for time-depending license files
Restored editor with syntax highlighting
Show in gutter if CTL formula is usable in verifier

v0.3.2

Released: 2018/07/19

Double click on hidden state node shows following branches
[Bug][Win7] Fixed multiple shown entries in Project Explorer

v0.3.1

Released: 2018/07/06

Project Explorer state saved in session file
Indicate main file in Project Explorer
Sets for Port and Variables Watchlist
Indicate loop in Variables and Ports Watchlist

v0.3.0

Released: 2018/05/04

Application is completely modularized
Show package name additionally within editor tab if two files are named equal
Indicator showing if a parser for a specific file type is available
CTL verifier as bottom pane
Editor session is saved

v0.2.7

Released: 2018/03/16

Show lexer errors in the editor
Increased drop area for ports
Updated State View Help
Show normal directory outside of project related directories
Move and delete action for directories and packages
Limitation of characters in description
[Bug] Wrongly saved project settings
[Bug][Linux] Exceeding file descriptors cause crash
[Bug] Zoom over maximum
[Bug] View switch if file is opened with default application
[Bug] OPSA export used OR instead of AND for conjunctions
[Bug] Wrong color for State 0 in Change History
[Bug] Keep position if indent with Shift + Tab
[Bug] Wrong window size on first startup

v0.2.6

Released: 2018/03/13

Extended parser of CTL expressions to indicate incorrect paths in relational expressions
Error messages caused by lexer are now shown in workbench
Minimal cut sets are now created by default
New CTL verification implementation including OMT extension for operators
Changed internal components communication to a service broker architecture
CTL definitions starting with a lower-case character are not shown in menu bar
Added export functionality from minimal cut sets to OPSA (input format of Arbre Analyste)
Selection of states via watchlist headers
Only open certain files with editor, others with their default application
Indicator at ports in component view show port direction
[Bug] Corrected reload/reset button
[Bug] Added workaround for editor with Java 9 or later
[Bug] Fixed port equality expression used in transitions
[Bug] Fixed bug in storage of already simulated states

v0.2.5

Released: 2018/01/22

Changeable font size via CTRL + Mouse Wheel
New indicator during simulation that indicates the amount of unprocessed states
Better format of simulation time in notification
Summary dialog for external events
Reimplementation of CTL verification; new operators: EU, AU<->
If closing parenthesis is pressed and caret is at bracket, skip it
Extended grammar of ETS/CTL: Existing formula can be reused in other formulas (declare before use!)
Performance optimisations
Timer indication for simulation and verification
[Bug] Fixed some bugs

v0.2.4

Released: 2017/11/18

Added support of direct comparison between variables in if-conditions
Added value-function to allow direct comparision between properties at different ports
Position information of components is stored in separate XML files for each class
Path of connections can be modified and saved
Ports can be placed on any side of the component block

v0.2.3

Released: 2017/10/06

Added export to Faultcat
[Bug] Fixed bug that crashed smartIflow Workbench if it is started for first time

v0.2.2

Released: 2017/10/06

Command line interface
Focus is no longer changed to menu bar when entering brackets
Drag & Drop variables and ports into watchlist

v0.2.1

Released: 2017/08/28

[Bug] Fixed problem with ALT on MacOS in editor perspective
[Bug] Fixed bug in flow direction determination

v0.2

Released: 2017/08/17

New project structure with separate folder for model and analysis
Moved definitions of Event Trigger Specifications into *.ets files
Moved definitions of CTL Specifications into *.ctl files
Added value-function to propagate the current value of variables to ports (set(output, {om = value(om)}})
Added support for if/else if
Extended export with project name and date
Minimal cutset generation
Simulation algorithm with delay/stable parameters in transitions
Flow direction determination now supports multiple sources
System model viewer: Improved connection visualization
Editor enhancements, e.g. auto close of parenthesis
Some minor syntax changes
Own thread for verification
[Bug] Bug fixes

v0.1

Released: 2017/05/15

Improved evaluation of event trigger specifications with a caching strategy
Integrated editor into workbench with multiple tabs
Welcome window
Project management
Service bus