SimpleKeystoneLibraryConfigurationFull

onera.pmlanalyzer.pml.examples.simpleKeystone.SimpleKeystoneLibraryConfigurationFull

All transaction are used

Attributes

Graph
Supertypes
Known subtypes
Self type

Members list

Concise view

transaction_def

t11: SimpleSoftwareAllocation.app1 begins by reading the interrupt code from SimpleKeystonePlatform.mpic

t11: SimpleSoftwareAllocation.app1 begins by reading the interrupt code from SimpleKeystonePlatform.mpic

Attributes

Inherited from:
SimpleKeystoneTransactionLibrary

t212: SimpleSoftwareAllocation.app21 makes some input treatments on the message, and makes it available for SimpleSoftwareAllocation.app1 in SimpleKeystonePlatform.ddr

t212: SimpleSoftwareAllocation.app21 makes some input treatments on the message, and makes it available for SimpleSoftwareAllocation.app1 in SimpleKeystonePlatform.ddr

Attributes

Inherited from:
SimpleKeystoneTransactionLibrary

t41: Each time an SimpleKeystonePlatform.eth frame arrives, it transfers the payload of the frame to SimpleKeystonePlatform.MemorySubsystem.sram

t41: Each time an SimpleKeystonePlatform.eth frame arrives, it transfers the payload of the frame to SimpleKeystonePlatform.MemorySubsystem.sram

Attributes

Inherited from:
SimpleKeystoneTransactionLibrary

utilFun

final def checkLibrary(tMap: Map[PhysicalTransactionId, Set[UserTransactionId]], sMap: Map[Set[PhysicalTransactionId], Set[UserScenarioId]]): Unit

Check the transaction and scenario libraries w.r.t. the transactions computed with the actual the ideal (but not requested situation) is one-to-one libraries definition of the platform

Check the transaction and scenario libraries w.r.t. the transactions computed with the actual the ideal (but not requested situation) is one-to-one libraries definition of the platform

Attributes

sMap

the scenario library to check

tMap

the transaction library to check

Inherited from:
TransactionLibrary

user_transaction_relation

Map from the user defined transaction to the physical transaction id this map does not contain user transactions with multi-path (contained in ...) WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the user defined transaction to the physical transaction id this map does not contain user transactions with multi-path (contained in ...) WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary

Map from the physical transaction id to the user defined id(s) It is possible that a physical transaction is linked to several (or none) user defined transactions WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the physical transaction id to the user defined id(s) It is possible that a physical transaction is linked to several (or none) user defined transactions WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary

transaction_class

final class Transaction extends ScenarioLike

Class encoding the used defined transactions (not already used)

Class encoding the used defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the transaction (not evaluated during the object initialisation)

sw

the application that can use this transaction

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any

Builder of platform Transaction

Builder of platform Transaction

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
final class UsedTransaction extends PMLNode

Class encoding the user defined transactions used in the configuration

Class encoding the user defined transactions used in the configuration

Attributes

iniTgt

the origin-destination services couples

sw

the application that can use this transaction

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any

Builder of platform UsedTransaction

Builder of platform UsedTransaction

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any

transaction_operation

final implicit class UserTransactionOps(x: UserTransactionId)

Transaction extension method

Transaction extension method

Attributes

x

id of the user transaction

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any

Transaction extension method

Transaction extension method

Attributes

x

id of the user transaction

Inherited from:
TransactionLibrary

user_scenario_relation

Map from the user defined scenario to the physical transaction id WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the user defined scenario to the physical transaction id WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary
final lazy val scenarioSW: Map[UserScenarioId, Set[Application]]

Map from the used scenario and the application involved in these scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the used scenario and the application involved in these scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary
final lazy val scenarioUserName: Map[Set[PhysicalTransactionId], Set[UserScenarioId]]

Map from the physical scenario id (set of transaction id) to the user defined scenario(s) It is possible that a scenario is linked to several (or none) user defined scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the physical scenario id (set of transaction id) to the user defined scenario(s) It is possible that a scenario is linked to several (or none) user defined scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary

scenario_class

final class Scenario extends ScenarioLike

Class encoding the defined transactions (not already used)

Class encoding the defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the scenario (not evaluated during the object initialisation)

sw

the application that can use this scenario

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any

Builder of platform Scenario

Builder of platform Scenario

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
sealed abstract class ScenarioLike(val name: Symbol) extends PMLNode

Encode node that are either transactions or scenarios

Encode node that are either transactions or scenarios

Attributes

name

the name of the transaction or scenario

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
Known subtypes
final class UsedScenario extends PMLNode

Class encoding the user defined scenarios used in the configuration

Class encoding the user defined scenarios used in the configuration

Attributes

iniTgt

the origin-destination services couples

sw

the application that can use this scenario

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any

Builder of platform UsedScenario

Builder of platform UsedScenario

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any

application

app1 is an asynchronous applicative activated each time a external interrupt arrives

app1 is an asynchronous applicative activated each time a external interrupt arrives

Attributes

Inherited from:
SimpleSoftwareAllocation

At each period app21 reads the last Ethernet message from SimpleKeystonePlatform.MemorySubsystem.sram, makes some input treatments on the message, and makes it available for app1 in SimpleKeystonePlatform.ddr.

At each period app21 reads the last Ethernet message from SimpleKeystonePlatform.MemorySubsystem.sram, makes some input treatments on the message, and makes it available for app1 in SimpleKeystonePlatform.ddr.

Attributes

Inherited from:
SimpleSoftwareAllocation

At each period app22 reads output data of app1 from SimpleKeystonePlatform.ddr. It transforms them into SimpleKeystonePlatform.spi frames. The frames are then store in SimpleKeystonePlatform.MemorySubsystem.sram. And finally app22 wakes up app3 by writing the address of the SimpleKeystonePlatform.spi frames into SimpleKeystonePlatform.dma_reg.

At each period app22 reads output data of app1 from SimpleKeystonePlatform.ddr. It transforms them into SimpleKeystonePlatform.spi frames. The frames are then store in SimpleKeystonePlatform.MemorySubsystem.sram. And finally app22 wakes up app3 by writing the address of the SimpleKeystonePlatform.spi frames into SimpleKeystonePlatform.dma_reg.

Attributes

Inherited from:
SimpleSoftwareAllocation

app3 is a microcode running on SimpleKeystonePlatform.dma. When woke up, app3 reads the SimpleKeystonePlatform.spi frame from SimpleKeystonePlatform.MemorySubsystem.sram and transfers it to SimpleKeystonePlatform.spi

app3 is a microcode running on SimpleKeystonePlatform.dma. When woke up, app3 reads the SimpleKeystonePlatform.spi frame from SimpleKeystonePlatform.MemorySubsystem.sram and transfers it to SimpleKeystonePlatform.spi

Attributes

Inherited from:
SimpleSoftwareAllocation

app4 is an asynchronous microcode running on the SimpleKeystonePlatform.eth component. Each time an SimpleKeystonePlatform.eth frame arrives, it transfers the payload of the frame to SimpleKeystonePlatform.MemorySubsystem.sram.

app4 is an asynchronous microcode running on the SimpleKeystonePlatform.eth component. Each time an SimpleKeystonePlatform.eth frame arrives, it transfers the payload of the frame to SimpleKeystonePlatform.MemorySubsystem.sram.

Attributes

Inherited from:
SimpleSoftwareAllocation

scenario_operation

final implicit class ScenarioOps(x: UserScenarioId)

Scenario extension method

Scenario extension method

Attributes

x

id of the user scenario

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
final implicit def ScenarioOps(x: UserScenarioId): ScenarioOps

Scenario extension method

Scenario extension method

Attributes

x

id of the user scenario

Inherited from:
TransactionLibrary

data

val d1: Data

Data written by app21 in SimpleKeystonePlatform.ddr and read by app1

Data written by app21 in SimpleKeystonePlatform.ddr and read by app1

Attributes

Inherited from:
SimpleSoftwareAllocation
val d2: Data

Data written by app1 in SimpleKeystonePlatform.ddr and read by app22

Data written by app1 in SimpleKeystonePlatform.ddr and read by app22

Attributes

Inherited from:
SimpleSoftwareAllocation

Register value written by app21 in SimpleKeystonePlatform.dma_reg

Register value written by app21 in SimpleKeystonePlatform.dma_reg

Attributes

Inherited from:
SimpleSoftwareAllocation

Interrupt read by app1

Interrupt read by app1

Attributes

Inherited from:
SimpleSoftwareAllocation