};
knot MPC80_11_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MPC80| Dis_MPC80_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot GROUP1
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup1 ;
};
knot GROUPMKPS1
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroupMKPS1 ;
};
knot GROUP2
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup2 ;
};
knot GROUP3
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup3 ;
};
knot GROUP4
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup4 ;
};
knot GROUP5
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup5 ;
};
knot GROUP6
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup6 ;
};
knot GROUPMKPS2
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroupMKPS2 ;
};
knot GROUP7
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup7 ;
};
knot GROUP8
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup8 ;
};
knot GROUP9
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup9 ;
};
knot GROUP10
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup10 ;
};
knot GROUP11
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup11 ;
};
knot GROUP0
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctGroup0 ;
};
general knot REA
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unFunction;
tableStateChange:
Normal
Work |FunctREA ;
};
switch_Event MPS_A_FAIL (->MPS_A:Fail)
{
set_state(MM_A:Fail);
set_state(MMX8_A:Fail);
set_state(MKPS1_A:Fail);
set_state(MUP2_1_A:Fail);
set_state(MPT32_1_A:Fail);
set_state(MUP2_2_A:Fail);
set_state(MPT32_2_A:Fail);
set_state(MUP2_3_A:Fail);
set_state(MPT32_3_A:Fail);
set_state(MUP2_4_A:Fail);
set_state(MPC80_4_A:Fail);
set_state(MUP2_5_A:Fail);
set_state(MPC80_5_A:Fail);
set_state(MUP2_6_A:Fail);
set_state(MPN32_6_A:Fail);
set_state(MKPS2_A:Fail);
set_state(MUP2_7_A:Fail);
set_state(MPT32_7_A:Fail);
set_state(MUP2_8_A:Fail);
set_state(MPT32_8_A:Fail);
set_state(MUP2_9_A:Fail);
set_state(MPA64_9_A:Fail);
set_state(MUP2_10_A:Fail);
set_state(MPC80_10_A:Fail);
set_state(MUP2_11_A:Fail);
set_state(MPC80_11_A:Fail);
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MUP2_1_B:Normal);
set_mode(MPT32_1_B:Normal);
set_mode(MUP2_2_B:Normal);
set_mode(MPT32_2_B:Normal);
set_mode(MUP2_3_B:Normal);
set_mode(MPT32_3_B:Normal);
set_mode(MUP2_4_B:Normal);
set_mode(MPC80_4_B:Normal);
set_mode(MUP2_5_B:Normal);
set_mode(MPC80_5_B:Normal);
set_mode(MUP2_6_B:Normal);
set_mode(MPN32_6_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_7_B:Normal);
set_mode(MPT32_7_B:Normal);
set_mode(MUP2_8_B:Normal);
set_mode(MPT32_8_B:Normal);
set_mode(MUP2_9_B:Normal);
set_mode(MPA64_9_B:Normal);
set_mode(MUP2_10_B:Normal);
set_mode(MPC80_10_B:Normal);
set_mode(MUP2_11_B:Normal);
set_mode(MPC80_11_B:Normal);
} ;
switch_Event MM_A_FAIL (->MM_A:Fail|->MMX8_A:Fail)
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MUP2_1_B:Normal);
set_mode(MPT32_1_B:Normal);
set_mode(MUP2_2_B:Normal);
set_mode(MPT32_2_B:Normal);
set_mode(MUP2_3_B:Normal);
set_mode(MPT32_3_B:Normal);
set_mode(MUP2_4_B:Normal);
set_mode(MPC80_4_B:Normal);
set_mode(MUP2_5_B:Normal);
set_mode(MPC80_5_B:Normal);
set_mode(MUP2_6_B:Normal);
set_mode(MPN32_6_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_7_B:Normal);
set_mode(MPT32_7_B:Normal);
set_mode(MUP2_8_B:Normal);
set_mode(MPT32_8_B:Normal);
set_mode(MUP2_9_B:Normal);
set_mode(MPA64_9_B:Normal);
set_mode(MUP2_10_B:Normal);
set_mode(MPC80_10_B:Normal);
set_mode(MUP2_11_B:Normal);
set_mode(MPC80_11_B:Normal);
} ;
switch_Event MKPS1_A_FAIL (->MKPS1_A:Fail)
{
set_state(MUP2_1_A:Fail);
set_state(MPT32_1_A:Fail);
set_state(MUP2_2_A:Fail);
set_state(MPT32_2_A:Fail);
set_state(MUP2_3_A:Fail);
set_state(MPT32_3_A:Fail);
set_state(MUP2_4_A:Fail);
set_state(MPC80_4_A:Fail);
set_state(MUP2_5_A:Fail);
set_state(MPC80_5_A:Fail);
set_state(MUP2_6_A:Fail);
set_state(MPN32_6_A:Fail);
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MUP2_1_B:Normal);
set_mode(MPT32_1_B:Normal);
set_mode(MUP2_2_B:Normal);
set_mode(MPT32_2_B:Normal);
set_mode(MUP2_3_B:Normal);
set_mode(MPT32_3_B:Normal);
set_mode(MUP2_4_B:Normal);
set_mode(MPC80_4_B:Normal);
set_mode(MUP2_5_B:Normal);
set_mode(MPC80_5_B:Normal);
set_mode(MUP2_6_B:Normal);
set_mode(MPN32_6_B:Normal);
set_mode(MKPS2_B:Normal);
} ;
switch_Event MKPS2_A_FAIL (->MKPS2_A:Fail)
{
set_state(MUP2_7_A:Fail);
set_state(MPT32_7_A:Fail);
set_state(MUP2_8_A:Fail);
set_state(MPT32_8_A:Fail);
set_state(MUP2_9_A:Fail);
set_state(MPA64_9_A:Fail);
set_state(MUP2_10_A:Fail);
set_state(MPC80_10_A:Fail);
set_state(MUP2_11_A:Fail);
set_state(MPC80_11_A:Fail);
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_7_B:Normal);
set_mode(MPT32_7_B:Normal);
set_mode(MUP2_8_B:Normal);
set_mode(MPT32_8_B:Normal);
set_mode(MUP2_9_B:Normal);
set_mode(MPA64_9_B:Normal);
set_mode(MUP2_10_B:Normal);
set_mode(MPC80_10_B:Normal);
set_mode(MUP2_11_B:Normal);
set_mode(MPC80_11_B:Normal);
} ;
switch_Event MUP_6_A_FAIL (->MUP2_6_A:Fail | ->MPN32_6_A:Fail )
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_6_B:Normal);
set_mode(MPN32_6_B:Normal);
} ;
switch_Event MUP_5_A_FAIL (->MUP2_5_A:Fail | ->MPC80_5_A:Fail )
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_5_B:Normal);
set_mode(MPC80_5_B:Normal);
} ;
switch_Event MUP_4_A_FAIL (->MUP2_4_A:Fail | ->MPC80_4_A:Fail )
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_4_B:Normal);
set_mode(MPC80_4_B:Normal);
} ;
switch_Event MUP_3_A_FAIL (->MUP2_3_A:Fail | ->MPT32_3_A:Fail )
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_3_B:Normal);
set_mode(MPT32_3_B:Normal);
} ;
switch_Event MUP_2_A_FAIL (->MUP2_2_A:Fail | ->MPT32_2_A:Fail )
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_2_B:Normal);
set_mode(MPT32_2_B:Normal);
} ;
switch_Event MUP_1_A_FAIL (->MUP2_1_A:Fail|->MPT32_1_A:Fail)
{
set_mode (MPS_B:Normal);
set_mode(MM_B:Normal);
set_mode(MMX8_B:Normal);
set_mode(MKPS1_B:Normal);
set_mode(MKPS2_B:Normal);
set_mode(MUP2_1_B:Normal);
set_mode(MPT32_1_B:Normal);
} ;
function FunctREA
{
return GROUP0 & GROUPMKPS1 & GROUP1 & GROUP2 & GROUP3 & GROUP4 & GROUP5 & GROUP6& GROUPMKPS2& GROUP7& GROUP8& GROUP9& GROUP10& GROUP11;
};
function FunctGroup0
{
return (MPS_A&MM_A&MMX8_A)|( MPS_B&MM_B&MMX8_B);
};
function FunctGroupMKPS1
{
return (MPS_A&MKPS1_A)|( MPS_B&MKPS1_B);
};
function FunctGroup1
{
return (MPS_A&MUP2_1_A &MPT32_1_A)|( MPS_B&MUP2_1_B&MPT32_1_B);
};
function FunctGroup2
{
return (MPS_A&MUP2_2_A &MPT32_2_A)|( MPS_B&MUP2_2_B&MPT32_2_B);
};
function FunctGroup3
{
return (MPS_A&MUP2_3_A &MPT32_3_A)|( MPS_B&MUP2_3_B&MPT32_3_B);
};
function FunctGroup4
{
return (MPS_A&MUP2_4_A &MPC80_4_A)|( MPS_B&MUP2_4_B&MPC80_4_B);
};
function FunctGroup5
{
return (MPS_A&MUP2_5_A&MPC80_5_A)|( MPS_B&MUP2_5_B&MPC80_5_B);
};
function FunctGroup6
{
return (MPS_A&MUP2_6_A&MPN32_6_A)|( MPS_B&MUP2_6_B&MPN32_6_B);
};
function FunctGroupMKPS2
{
return (MPS_A&MKPS2_A)|( MPS_B&MKPS2_B);
};
function FunctGroup7
{
return (MPS_A&MUP2_7_A &MPT32_7_A)|( MPS_B&MUP2_7_B&MPT32_7_B);
};
function FunctGroup8
{
return (MPS_A&MUP2_8_A &MPT32_8_A)|( MPS_B&MUP2_8_B&MPT32_8_B);
};
function FunctGroup9
{
return (MPS_A&MUP2_9_A &MPA64_9_A)|( MPS_B&MUP2_9_B&MPA64_9_B);
};
function FunctGroup10
{
return (MPS_A&MUP2_10_A &MPC80_10_A)|( MPS_B&MUP2_10_B&MPC80_10_B);
};
function FunctGroup11
{
return (MPS_A&MUP2_11_A&MPC80_11_A)|( MPS_B&MUP2_11_B&MPC80_11_B);
};
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 |
