pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.interference.examples.simpleKeystone

onera.pmlanalyzer.views.interference.examples.simpleKeystone

package onera.pmlanalyzer.views.interference.examples.simpleKeystone

Package containing an example on a simplification of a TI Keystone platform

Attributes

See also:

SimpleKeystonePhysicalTableBasedInterferenceSpecification provides an example of hardware interference assumption modelling

SimpleKeystoneApplicativeTableBasedInterferenceSpecification provides an example of application interference assumption modelling

SimpleKeystoneInterferenceGeneration provides an example of interference analysis for the simplified Keystone platform

Members list

Concise view

Type members

Classlikes

trait SimpleKeystoneApplicativeTableBasedInterferenceSpecification extends ApplicativeTableBasedInterferenceSpecification

The interference calculus assumptions for the SimpleKeystone's applications are gathered here. For instance app22 and app3 cannot execute simultaneously so

The interference calculus assumptions for the SimpleKeystone's applications are gathered here. For instance app22 and app3 cannot execute simultaneously so

app22 exclusiveWith app3

The app3 transfer transaction does not significantly impact the TeraNet

app3_transfer notInterfereWith TeraNet.periph_bus.loads

Attributes

See also:

views.interference.operators.Exclusive.Ops for interfere operator definition

Graph
Supertypes
trait Instances
trait Instances
trait Instances
trait Instances
class Object
trait Matchable
class Any
Known subtypes
Self type
object SimpleKeystoneInterferenceGeneration extends App

Compute the interference of the SimpleKeystone defined in pml.examples.simpleKeystone.SimpleKeystoneExport

Compute the interference of the SimpleKeystone defined in pml.examples.simpleKeystone.SimpleKeystoneExport

Attributes

Graph
Supertypes
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Self type
trait SimpleKeystonePhysicalTableBasedInterferenceSpecification extends PhysicalTableBasedInterferenceSpecification

The interference calculus assumptions for the hardware components of the SimpleKeystone are gathered here. For instance to specify that two service l and r interfere with each other if

The interference calculus assumptions for the hardware components of the SimpleKeystone are gathered here. For instance to specify that two service l and r interfere with each other if

for {
 l <- services
 r <- services
 if l != r
 if (l.hardwareOwnerIs(dma) && r.hardwareOwnerIs(dma_reg)) ||
  (l.hardwareOwner == r.hardwareOwner && !l.hardwareOwnerIs(TeraNet.periph_bus)
   && !l.hardwareOwnerIs(axi_bus) && !l.hardwareOwnerIs(MemorySubsystem.msmc))
} yield {
 l interfereWith r
}

Attributes

Graph
Supertypes
trait Instances
trait Instances
trait Instances
trait Instances
class Object
trait Matchable
class Any
Known subtypes
Self type
Generated with