public class ASME2SSME_Simulate_Dispatch extends ASME2SSME_Simulate_Common
ALARM_ID, COMPLETE_ID, COMPLETION_ID, CTL1_ID, CTL2_ID, DEADLINE_ID, DISPATCH_ID, ERROR_ID, NameList, RESUME_ID, START_ID, TIME1_ID, TIME2_ID, TOP_ID, TREAD_ID, TRESET_ID, TWRITE_ID
Constructor and Description |
---|
ASME2SSME_Simulate_Dispatch()
Class constructor
|
Modifier and Type | Method and Description |
---|---|
SignalsDefinitionImpl |
ASME2SSME_Call_Affine(java.lang.String x)
Makes a process call of affine_sample: dx := affine_sample{1, px}(top)
|
SignalsDefinitionImpl |
ASME2SSME_Call_SimDispatch_Aperiodic(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Aperiodic process: Sim_Dispatch_Aperiodic{}
|
SignalsDefinitionImpl |
ASME2SSME_Call_SimDispatch_Background(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Background process: Sim_Dispatch_Background{}
|
SignalsDefinitionImpl |
ASME2SSME_Call_SimDispatch_Hybrid(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Hybrid process: Sim_Dispatch_Hybrid{}
|
SignalsDefinitionImpl |
ASME2SSME_Call_SimDispatch_Periodic(java.util.ArrayList<org.osate.aadl2.IntegerLiteral> plist,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call equation that calls the Sim_Dispatch process
|
SignalsDefinitionImpl |
ASME2SSME_Call_SimDispatch_Sporadic(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Sporadic process: Sim_Dispatch_Sporadic{}
|
SignalsDefinitionImpl |
ASME2SSME_Call_SimDispatch_Timed(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Timed process: Sim_Dispatch_Timed{}
|
SignalsDefinitionImpl |
ASME2SSME_mkSimDispatch_Aperiodic_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
ProcessModelImpl |
ASME2SSME_mkSimDispatch_Aperiodic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of aperiodic threads
|
SignalsDefinitionImpl |
ASME2SSME_mkSimDispatch_Background_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
ProcessModelImpl |
ASME2SSME_mkSimDispatch_Background(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Background threads
|
SignalsDefinitionImpl |
ASME2SSME_mkSimDispatch_Hybrid_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
ProcessModelImpl |
ASME2SSME_mkSimDispatch_Hybrid(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Hybrid threads
|
ProcessModelImpl |
ASME2SSME_mkSimDispatch_Periodic(java.lang.Integer n)
Make a Signal process that simulates the generation of Dispatch signals.
|
SignalsDefinitionImpl |
ASME2SSME_mkSimDispatch_Sporadic_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
ProcessModelImpl |
ASME2SSME_mkSimDispatch_Sporadic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of sporadic threads
|
SignalsDefinitionImpl |
ASME2SSME_mkSimDispatch_Timed_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
ProcessModelImpl |
ASME2SSME_mkSimDispatch_Timed(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Timed threads
|
java.util.ArrayList<java.lang.Integer> |
Calcule_Int_SameUnit(java.util.ArrayList<org.osate.aadl2.IntegerLiteral> list)
Converts a list of periods (value, unit) to the same unit,
and returns the final integer period values
|
int |
Calcule_PPCM(java.util.ArrayList<java.lang.Integer> plist)
Calcules ppcm of a list of integers
|
org.osate.aadl2.UnitLiteral |
Get_Small_TimeUnit(org.osate.aadl2.UnitLiteral u1,
org.osate.aadl2.UnitLiteral u2)
Returns the smaller time unit: ps, ns, us,ms,sec,min,hr
|
int |
PPCM(int x,
int y)
Calculates ppcm of two integers
|
Trace
Generate_Process_Instance_comment, Get_top_sname, getSname, Name_of_Bus, Name_of_Connection, Name_of_CTL1_type, Name_of_CTL2_type, Name_of_Data, Name_of_DataBundle, Name_of_DataReadTime, Name_of_DataReset, Name_of_DataType, Name_of_DataWriteTime, Name_of_Device, Name_of_FeatureGroup, Name_of_FeatureGroupType, Name_of_Flow, Name_of_Local_Signal, Name_of_Memory, Name_of_ParameterConnection, Name_of_PortGroup, Name_of_PortGroupType, Name_of_Process, Name_of_Processor, Name_of_Subprogram_Struct_In, Name_of_Subprogram_Struct_Out, Name_of_Subprogram, Name_of_SubprogramCall, Name_of_System, Name_of_Thread, Name_of_ThreadDataPort, Name_of_ThreadEventDataPort, Name_of_ThreadEventPort, Name_of_ThreadTimeBundle, Name_of_TriggerDispatch_Event, Name_of_Type_Process
public ASME2SSME_Simulate_Dispatch()
public ProcessModelImpl ASME2SSME_mkSimDispatch_Periodic(java.lang.Integer n)
n
- public SignalsDefinitionImpl ASME2SSME_Call_Affine(java.lang.String x)
x
- public int PPCM(int x, int y)
x
- y
- public int Calcule_PPCM(java.util.ArrayList<java.lang.Integer> plist)
plist
- public java.util.ArrayList<java.lang.Integer> Calcule_Int_SameUnit(java.util.ArrayList<org.osate.aadl2.IntegerLiteral> list)
list
- public org.osate.aadl2.UnitLiteral Get_Small_TimeUnit(org.osate.aadl2.UnitLiteral u1, org.osate.aadl2.UnitLiteral u2)
u1
- u2
- public SignalsDefinitionImpl ASME2SSME_Call_SimDispatch_Periodic(java.util.ArrayList<org.osate.aadl2.IntegerLiteral> plist, java.util.ArrayList<ExprSignal> lins, java.util.ArrayList<ExprSignal> louts)
plist
- lins
- louts
- public ProcessModelImpl ASME2SSME_mkSimDispatch_Aperiodic(org.osate.aadl2.ProcessorSubcomponent subp, ProcessModelImpl bprocess, org.osate.aadl2.SystemImplementation sysimpl)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_mkSimDispatch_Aperiodic_definition(org.osate.aadl2.ProcessSubcomponent sub1, org.osate.aadl2.ThreadSubcomponent sub2)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_Call_SimDispatch_Aperiodic(java.util.ArrayList<ExprParam> lps, java.util.ArrayList<ExprSignal> lins, java.util.ArrayList<ExprSignal> louts)
plist
- lins
- louts
- public ProcessModelImpl ASME2SSME_mkSimDispatch_Sporadic(org.osate.aadl2.ProcessorSubcomponent subp, ProcessModelImpl bprocess, org.osate.aadl2.SystemImplementation sysimpl)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_mkSimDispatch_Sporadic_definition(org.osate.aadl2.ProcessSubcomponent sub1, org.osate.aadl2.ThreadSubcomponent sub2)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_Call_SimDispatch_Sporadic(java.util.ArrayList<ExprParam> lps, java.util.ArrayList<ExprSignal> lins, java.util.ArrayList<ExprSignal> louts)
public ProcessModelImpl ASME2SSME_mkSimDispatch_Timed(org.osate.aadl2.ProcessorSubcomponent subp, ProcessModelImpl bprocess, org.osate.aadl2.SystemImplementation sysimpl)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_mkSimDispatch_Timed_definition(org.osate.aadl2.ProcessSubcomponent sub1, org.osate.aadl2.ThreadSubcomponent sub2)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_Call_SimDispatch_Timed(java.util.ArrayList<ExprParam> lps, java.util.ArrayList<ExprSignal> lins, java.util.ArrayList<ExprSignal> louts)
public ProcessModelImpl ASME2SSME_mkSimDispatch_Hybrid(org.osate.aadl2.ProcessorSubcomponent subp, ProcessModelImpl bprocess, org.osate.aadl2.SystemImplementation sysimpl)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_mkSimDispatch_Hybrid_definition(org.osate.aadl2.ProcessSubcomponent sub1, org.osate.aadl2.ThreadSubcomponent sub2)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_Call_SimDispatch_Hybrid(java.util.ArrayList<ExprParam> lps, java.util.ArrayList<ExprSignal> lins, java.util.ArrayList<ExprSignal> louts)
public ProcessModelImpl ASME2SSME_mkSimDispatch_Background(org.osate.aadl2.ProcessorSubcomponent subp, ProcessModelImpl bprocess, org.osate.aadl2.SystemImplementation sysimpl)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_mkSimDispatch_Background_definition(org.osate.aadl2.ProcessSubcomponent sub1, org.osate.aadl2.ThreadSubcomponent sub2)
subp
- a processor subcomponentbprocess
- a Signal process that represents the behavior part of a processorsysimpl
- a system implementation which contains subppublic SignalsDefinitionImpl ASME2SSME_Call_SimDispatch_Background(java.util.ArrayList<ExprParam> lps, java.util.ArrayList<ExprSignal> lins, java.util.ArrayList<ExprSignal> louts)