Installing Fault Tree Analysis Solver (SFY_RP)

The Fault Tree Analysis solver (SFY_RP) installs the Hypervisor service which manages the computation jobs and the communication with the client.

See Also
Installation Roadmap
  1. In the list, select SFY_RP.
  2. In the control panel, define the properties:
    OptionDescription
    Hypervisor WebSocket Port This port is the main WebSocket communication port with your Internet navigator.

    By default, the webSocket port number is 2097.

    User WebSocket Starting and Ending Port This interval is a continuous port range. The number of open ports limits the number of users or jobs number in parallel.
    Hypervisor Socket Port This port enables you to administrate Hypervisor.

    By default, the socket port number is 57000.

    SSL files .key and .cer Contact your technical support to get the following files:
    • Private key of SSL certificate (.key file)
    • SSL certificate (.cer file)
      Warning: This SSL certificate must be generated through a valid trust chain by a trusted root CA (Certificate Authority).
    Warning: These files are mandatory to secure the communication with the Fault Tree Analysis solver. If they are missing or invalid, the communication will not be established.

    Important: The communication should be defined as follows:

    The computation service is composed of:

    • EKHypervisor
    • EKNode: a computation node launched by Hypervisor

    wss: WebSocket Secured

  3. In a shell, execute the following command lines. You can also insert these commands in executable scripts.
    ActionCommand
    To start the computation service on the server
    $InstallDir/SystemsSafetyAnalysis/linux_a64/code/bin/CATSTART 
    -env Env -dirEnv $InstallDir/SystemsSafetyAnalysis/CATEnv 
    -run "EKHypervisor start $SFYPath/linux_a64/config/SFY_config.json 
    -listenOnWebSocket" > $SFYPath/Log/SFY.log 2>&1 &
    To stop the computation service on the server
    $InstallDir/SystemsSafetyAnalysis/linux_a64/code/bin/CATSTART 
    -env Env -dirEnv $InstallDir/SystemsSafetyAnalysis/CATEnv 
    -run "EKHypervisor stop 57000"
    Tip: 57000 is the default socket port. It can be customized in $InstallDir/SystemsSafetyAnalysis/linux_a64/config/SFY_config.json
    To get the help of the computation service
    $InstallDir/SystemsSafetyAnalysis/linux_a64/code/bin/CATSTART 
    -env Env -dirEnv $InstallDir/SystemsSafetyAnalysis/CATEnv 
    -run "EKHypervisor help"
    
Before starting a computation, the user must:
  • Launch Hypervisor.
  • In the widget preferences, in the Compute Service URL box, enter the address of the computation server where the Fault Tree Analysis solver is installed.

    For more information, see Fault Tree Analysis User's Guide: Customizing Preferences.

Tip: If a user cannot compute in the Fault Tree Analysis app and receives an error message, check the following locations:
  • standard output (stdout): Displays the result when launching the script to start the computation service. Example of errors: invalid configuration file, invalid SSL certificate...
  • SFY_config.json
  • Navigation console, Network tab