EFM-SYMBEX : Infrastructure

Object lyfe cycle / stage

Modeling

Compiled

Runtime

Elements

ModelingCompiledRuntime
SystemExecutableSystemExecution Context/Data
SystemExecutableFormRuntimeForm
MachineExecutableFormRuntimeForm
MachineInstanceOfMachineOptimized Runtime Process Access
StatemachineExecutableFormRuntimeForm
StatemachineInstanceOfMachineOptimized Runtime Process Access
StateExecutableForm?? RuntimeForm
StateInstanceOfMachine?? Optimized Runtime Process Access
ProcedureExecutableFormRuntimeForm
ProcedureInstanceOfMachineOptimized Runtime Process Access
InstanceInstanceOfMachineOptimized Runtime Process Access
InstanceInstanceOfMachineSpecific Primitive Routine Code
Primitive RoutineProgramOptimized
RoutineProgramOptimized
TransitionProgramOptimized
TransitionProgramOptimized
VariableInstanceOfDataOptimized Runtime [L/R] Value Access
BufferInstanceOfBufferOptimized Runtime Concrete Buffer Access
PortInstanceOfPortOptimized Runtime Routing Data Access
Signal/MessageMessage Data
ConnectorInstanceOfConnector
ExpressionBytecodeOptimized Bytecode
InstructionBytecodeOptimized Bytecode

Source code structure

Interfaces

Classes

  • System
  • Machine
  • Behavior
  • Routine
  • Procedure
  • Instance
  • Connector
  • Router
  • Message

Behavior

  • Statemachine
  • Region
  • State
  • Pseudstate
  • Transition

Statemachine Behavior

  • Statemachine
  • Region
  • State
  • Pseudstate
  • Transition

Factories