# How to Install Modality

# For Linux

  1. If you haven't already, contact us for a trial version of Modality. (opens new window)

  2. Download the Modality for Debian Linux package from your private link.

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

  4. 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 comands do not work, check the status of the Modality daemon with sudo systemctl status modalityd

  2. Installing this package has done the following:

    1. Installed the modality command.
    2. Started the modalityd systemd service, Modality's planning and analysis daemon.
    3. Installed data in the Modality database for an example system under test.
    4. Installed the source code for the example system under test at directory /usr/share/doc/modality/examples/c-example
  3. Next steps:

    1. Most users move straight to analysis and troubleshooting; see How to Analyze Sessions.
    2. To instrument your embedded system, see How to Instrument Your System.

# For Windows

  1. If you haven't already, contact us for a trial version of Modality. (opens new window)

  2. Download the Modality for Windows package from your private link.

  3. Run the Modality MSI installer.

  4. 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. Installing this package has done the following:

    1. Installed the modality command.
    2. Started the modalityd service, Modality's planning and analysis daemon.
    3. Installed data in the Modality database for an example system under test.
    4. Installed the source code for the example system under test.
  2. Next steps:

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