How to Install Modality

# For Linux

  1. If you haven't already, request a trial version of Modality. (opens new window) Auxon will email you a Modality license key.

  2. Download Modality for Linux. (opens new window)

  3. Go to your download folder in the terminal and run
    sudo apt install ./modality_0.8.4_amd64.deb.

    • After reading the EULA, press tab and then enter twice to accept and install Modality.
  4. Run modality config --license-key <license-key> --email <email-address>, where <license-key> is the Modality license key emailed to you by Auxon, and <email-address> is the email address where you received that license key.

  5. To confirm that Modality installed correctly, run modality sut list and then modality session list. You should see the following results.

$ modality sut list
  NAME         COMPONENTS  SESSIONS
  example-sut  4           1

  $ modality session list
  NAME             SUT          STATUS
  example-session  example-sut  CLOSED
  1. If the above commands do not work, check the status of the Modality daemon with sudo systemctl status modalityd.

  2. Completing these steps has done the following:

    1. Commands: Installed the modality and modality-probe commands.
    2. Service: Started the modalityd systemd service, Modality's planning and analysis daemon.
    3. Database: Installed data in the Modality database for an example system under test.
    4. Example system: Installed the source code for the example system under test at directory /usr/share/doc/modality/examples/c-example
    5. Configuration: Created a Modality configuration file at /home/$USER/.config/Modality.toml.
  3. Next steps:

    1. Most users move straight to analysis and troubleshooting; see How to Collect Session Data and Using Modality.
    2. To instrument your embedded system, see How to Instrument Your System.

# For Windows

  1. If you haven't already, request a trial version of Modality. (opens new window) Auxon will email you a Modality license key.

  2. Download Modality for Windows. (opens new window)

  3. Go to your download folder and run modality-0.8.4-x86_64.msi

    • Read and then accept the EULA to install Modality.
  4. Run modality config --license-key <license-key> --email <email-address>, where <license-key> is the Modality license key emailed to you by Auxon, and <email-address> is the email address where you received that license key.

  5. To confirm that Modality installed correctly, open up PowerShell. Run modality sut list and then modality session list. You should see the following results.

PS C:\> modality sut list
  NAME         COMPONENTS  SESSIONS
  example-sut  4           1

  PS C:\> modality session list
  NAME             SUT          STATUS
  example-session  example-sut  CLOSED
  1. Completing these steps has done the following:

    1. Commands: Installed the modality and modality-probe commands.
    2. Service: Started the modalityd service, Modality's planning and analysis daemon.
    3. Database: Installed data in the Modality database for an example system under test.
    4. Example system: Installed the source code for the example system under test.
    5. Configuration: Created a Modality configuration file at C:\Users\$USER\AppData\Roaming\Modality.toml.
  2. Next steps:

    1. Most users move straight to analysis and troubleshooting; see How to Collect Session Data and Using Modality.
    2. To instrument your embedded system, see How to Instrument Your System.

# Updating Modality

  1. Visit the download page for Modality. (opens new window)

  2. If there's a new version, download it.

  3. Go to your download folder and install the new Modality package:

    • Call sudo apt install ./modality_0.8.4_amd64.deb for Linux.
    • Run modality-0.8.4-x86_64.msi for Windows.
  4. There's no need to uninstall previous versions of Modality between updates.