pml_analyzer

The PML analyzer is an open source API providing a simple DSL to build a description of the architecture of your chip based on the PHYLOG Model Language (PML). From this representation a set of safety and interference model templates can be generated to perfom safety and interference analyses of your platform.

The only dependencies of the PML analyzer are:

  • The Java Runtime Environment version 8 JRE 1.8 or newer.
  • The Simple Build Tool SBT

Table of Contents