Source files
Mapping profiles
TORINO grounded verification · testcase
VMMP conservative · requirement
Import history
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAFBC.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 102 | 16653504.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Controller ModesController Modes Raw{
"ID": "16653504.0",
"ASIL": " ",
"Text": "Controller Modes",
"Type": "Folder",
"Status": "",
"Summary": "Controller Modes",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287887.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 103 | 16653505.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Default ConditionDefault Condition Raw{
"ID": "16653505.0",
"ASIL": " ",
"Text": "Default Condition",
"Type": "Folder",
"Status": "",
"Summary": "Default Condition",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287879.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 104 | 16653506.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqDmdCtlPropPartDftRollBk = TqDeCtlRollBk * LOCAP_s_KpRollBkTqDmdCtlPropPartDftRollBk = TqDeCtlRollBk * LOCAP_s_KpRollBk Raw{
"ID": "16653506.0",
"ASIL": " QM",
"Text": "TqDmdCtlPropPartDftRollBk = TqDeCtlRollBk * LOCAP_s_KpRollBk",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287883.0",
"Description": "TqDmdCtlPropPartDftRollBk = TqDeCtlRollBk * LOCAP_s_KpRollBk",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 105 | 16653507.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Kp changeKp change Raw{
"ID": "16653507.0",
"ASIL": " ",
"Text": "Kp change",
"Type": "Folder",
"Status": "",
"Summary": "Kp change",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287891.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 106 | 16653508.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycleIF [1]: 1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycle THEN: TqKpChgRollBk = TqDeCtlRollBk* (LOCAP_s_KpRollBkn-1 - LOCAP_s_KpRollBkn) where n is the actual cycle number For n = 1: LOCAP_s_KpRollBkn-1= 0 ELSE: TqKpChgRollBk is equal to zero Raw{
"ID": "16653508.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycle\n\rTHEN:\n\rTqKpChgRollBk = TqDeCtlRollBk* (LOCAP_s_KpRollBkn-1 - LOCAP_s_KpRollBkn)\n\rwhere n is the actual cycle number \n\r \n\rFor n = 1: \n\rLOCAP_s_KpRollBkn-1= 0\n\rELSE:\n\rTqKpChgRollBk is equal to zero",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "Kp change: correction to keep control output unchanged Cluster 1-3",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287889.0",
"Description": "IF [1]:\n\r1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycle\n\rTHEN:\n\rTqKpChgRollBk = TqDeCtlRollBk* (LOCAP_s_KpRollBkn-1 - LOCAP_s_KpRollBkn)\n\rwhere n is the actual cycle number \n\r \n\rFor n = 1: \n\rLOCAP_s_KpRollBkn-1= 0\n\rELSE:\n\rTqKpChgRollBk is equal to zero",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 107 | 22003676.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2)]: 1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computatioIF [AND(1,2)]: 1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycle 2) VMMP_LOCAFBC_p_FlgIniKpChg is True THEN: TqKpChgRollBk = TqDeCtlRollBk* (LOCAP_s_KpRollBkn-1 - LOCAP_s_KpRollBkn) where n is the actual cycle number For n = 1: LOCAP_s_KpRollBkn-1= 0 ELSE: TqKpChgRollBk is equal to zero Raw{
"ID": "22003676.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]:\n\r1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycle\n\r2) VMMP_LOCAFBC_p_FlgIniKpChg is True\n\rTHEN:\n\rTqKpChgRollBk = TqDeCtlRollBk* (LOCAP_s_KpRollBkn-1 - LOCAP_s_KpRollBkn)\n\rwhere n is the actual cycle number \n\r \n\rFor n = 1: \n\rLOCAP_s_KpRollBkn-1= 0\n\rELSE:\n\rTqKpChgRollBk is equal to zero",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "Kp change: correction to keep control output unchanged",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [AND(1,2)]:\n\r1) LOCAP_s_KpRollBk at the current computation cycle is not equal to LOCAP_s_KpRollBk from the previous computation cycle\n\r2) VMMP_LOCAFBC_p_FlgIniKpChg is True\n\rTHEN:\n\rTqKpChgRollBk = TqDeCtlRollBk* (LOCAP_s_KpRollBkn-1 - LOCAP_s_KpRollBkn)\n\rwhere n is the actual cycle number \n\r \n\rFor n = 1: \n\rLOCAP_s_KpRollBkn-1= 0\n\rELSE:\n\rTqKpChgRollBk is equal to zero",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 108 | 16653509.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Intgl OffsetIntgl Offset Raw{
"ID": "16653509.0",
"ASIL": " ",
"Text": "Intgl Offset",
"Type": "Folder",
"Status": "",
"Summary": "Intgl Offset",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287893.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 109 | 16653510.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | OffsetRollBk is a variable, depending on multiple Inputs, as described in the following chapter Intgl Offset.OffsetRollBk is a variable, depending on multiple Inputs, as described in the following chapter Intgl Offset. Raw{
"ID": "16653510.0",
"ASIL": " ",
"Text": "OffsetRollBk is a variable, depending on multiple Inputs, as described in the following chapter Intgl Offset.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287897.0",
"Description": "OffsetRollBk is a variable, depending on multiple Inputs, as described in the following chapter Intgl Offset.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 110 | 16653511.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) LOCAD_s_FlgFrzRollBk has a falling edge THEN: OffsetRollBk is equal to - TqDmdCtlPropPartDftRollBk ELSE: OffsetRolIF [1]: 1) LOCAD_s_FlgFrzRollBk has a falling edge THEN: OffsetRollBk is equal to - TqDmdCtlPropPartDftRollBk ELSE: OffsetRollBk is equal to TqKpChgRollBk Raw{
"ID": "16653511.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) LOCAD_s_FlgFrzRollBk has a falling edge\n\rTHEN:\n\rOffsetRollBk is equal to - TqDmdCtlPropPartDftRollBk\n\rELSE:\n\rOffsetRollBk is equal to TqKpChgRollBk",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287895.0",
"Description": "IF [1]:\n\r1) LOCAD_s_FlgFrzRollBk has a falling edge\n\rTHEN:\n\rOffsetRollBk is equal to - TqDmdCtlPropPartDftRollBk\n\rELSE:\n\rOffsetRollBk is equal to TqKpChgRollBk",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 111 | 16653512.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqDmdCtlIntglPartDftRollBkn = (IntglPartRollBkn-1 + TqDeCtlRollBk * VMMP_c_TiSmpl * LOCAP_s_KiRollBk) + OffsetRollBk where n is tTqDmdCtlIntglPartDftRollBkn = (IntglPartRollBkn-1 + TqDeCtlRollBk * VMMP_c_TiSmpl * LOCAP_s_KiRollBk) + OffsetRollBk where n is the actual cycle number For n = 1: IntglPartRollBkn-1 = 0 Raw{
"ID": "16653512.0",
"ASIL": " QM",
"Text": "TqDmdCtlIntglPartDftRollBkn = (IntglPartRollBkn-1 + TqDeCtlRollBk * VMMP_c_TiSmpl * LOCAP_s_KiRollBk) + OffsetRollBk\n\rwhere n is the actual cycle number\n\rFor n = 1:\n\rIntglPartRollBkn-1 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287885.0",
"Description": "TqDmdCtlIntglPartDftRollBkn = (IntglPartRollBkn-1 + TqDeCtlRollBk * VMMP_c_TiSmpl * LOCAP_s_KiRollBk) + OffsetRollBk\n\rwhere n is the actual cycle number\n\rFor n = 1:\n\rIntglPartRollBkn-1 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 112 | 16653513.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Correction Torque Freeze and IntglPart InitialisationCorrection Torque Freeze and IntglPart Initialisation Raw{
"ID": "16653513.0",
"ASIL": " ",
"Text": "Correction Torque Freeze and IntglPart Initialisation",
"Type": "Folder",
"Status": "",
"Summary": "Correction Torque Freeze and IntglPart Initialisation",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287912.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 113 | 16653514.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqDmdCtlPropPartFrzRollBk = 0TqDmdCtlPropPartFrzRollBk = 0 Raw{
"ID": "16653514.0",
"ASIL": " QM",
"Text": "TqDmdCtlPropPartFrzRollBk = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287914.0",
"Description": "TqDmdCtlPropPartFrzRollBk = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 114 | 16653515.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqDmdCtlIntglPartFrzRollBkn = IntglPartRollBkn-1 + PropPartRollBkn-1 where n is the actual cycle number, if not required differenTqDmdCtlIntglPartFrzRollBkn = IntglPartRollBkn-1 + PropPartRollBkn-1 where n is the actual cycle number, if not required differently in this chapter. For n = 1: IntglPartRollBkn-1 = 0 PropPartRollBkn-1 = 0 Raw{
"ID": "16653515.0",
"ASIL": " QM",
"Text": "TqDmdCtlIntglPartFrzRollBkn = IntglPartRollBkn-1 + PropPartRollBkn-1\n\rwhere n is the actual cycle number, if not required differently in this chapter.\n\rFor n = 1: \n\rIntglPartRollBkn-1 = 0 \n\rPropPartRollBkn-1 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287908.0",
"Description": "TqDmdCtlIntglPartFrzRollBkn = IntglPartRollBkn-1 + PropPartRollBkn-1\n\rwhere n is the actual cycle number, if not required differently in this chapter.\n\rFor n = 1: \n\rIntglPartRollBkn-1 = 0 \n\rPropPartRollBkn-1 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 115 | 16653516.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Correction Torque ResetCorrection Torque Reset Raw{
"ID": "16653516.0",
"ASIL": " ",
"Text": "Correction Torque Reset",
"Type": "Folder",
"Status": "",
"Summary": "Correction Torque Reset",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287920.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 116 | 16653517.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqDmdCtlPropPartRstRollBk = 0TqDmdCtlPropPartRstRollBk = 0 Raw{
"ID": "16653517.0",
"ASIL": " QM",
"Text": "TqDmdCtlPropPartRstRollBk = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287916.0",
"Description": "TqDmdCtlPropPartRstRollBk = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 117 | 16653518.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqDmdCtlIntglPartRstRollBk = 0TqDmdCtlIntglPartRstRollBk = 0 Raw{
"ID": "16653518.0",
"ASIL": " QM",
"Text": "TqDmdCtlIntglPartRstRollBk = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287918.0",
"Description": "TqDmdCtlIntglPartRstRollBk = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 118 | 16653519.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Controller Mode SelectionController Mode Selection Raw{
"ID": "16653519.0",
"ASIL": " ",
"Text": "Controller Mode Selection",
"Type": "Folder",
"Status": "",
"Summary": "Controller Mode Selection",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287922.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 119 | 16653520.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2)] 1) LOCAD_s_FlgFrzRollBk is not true 2) LOCAA_s_LgtLimARollBk_FlgAcv is true THEN: PropPartRollBk = TqDmdCtlPropIF [AND(1,2)] 1) LOCAD_s_FlgFrzRollBk is not true 2) LOCAA_s_LgtLimARollBk_FlgAcv is true THEN: PropPartRollBk = TqDmdCtlPropPartDftRollBk IntglPartRollBk = TqDmdCtlIntglPartDftRollBk Raw{
"ID": "16653520.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1) LOCAD_s_FlgFrzRollBk is not true\n\r2) LOCAA_s_LgtLimARollBk_FlgAcv is true\n\rTHEN: \n\rPropPartRollBk = TqDmdCtlPropPartDftRollBk\n\rIntglPartRollBk = TqDmdCtlIntglPartDftRollBk",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287924.0",
"Description": "IF [AND(1,2)]\n\r1) LOCAD_s_FlgFrzRollBk is not true\n\r2) LOCAA_s_LgtLimARollBk_FlgAcv is true\n\rTHEN: \n\rPropPartRollBk = TqDmdCtlPropPartDftRollBk\n\rIntglPartRollBk = TqDmdCtlIntglPartDftRollBk",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 120 | 16653521.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2)] 1) LOCAD_s_FlgFrzRollBk is true 2) LOCAA_s_LgtLimARollBk_FlgAcv is true THEN: PropPartRollBk = TqDmdCtlPropPartIF [AND(1,2)] 1) LOCAD_s_FlgFrzRollBk is true 2) LOCAA_s_LgtLimARollBk_FlgAcv is true THEN: PropPartRollBk = TqDmdCtlPropPartFrzRollBk IntglPartRollBk = TqDmdCtlIntglPartFrzRollBk Raw{
"ID": "16653521.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1) LOCAD_s_FlgFrzRollBk is true\n\r2) LOCAA_s_LgtLimARollBk_FlgAcv is true\n\rTHEN: \n\rPropPartRollBk = TqDmdCtlPropPartFrzRollBk\n\rIntglPartRollBk = TqDmdCtlIntglPartFrzRollBk",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287926.0",
"Description": "IF [AND(1,2)]\n\r1) LOCAD_s_FlgFrzRollBk is true\n\r2) LOCAA_s_LgtLimARollBk_FlgAcv is true\n\rTHEN: \n\rPropPartRollBk = TqDmdCtlPropPartFrzRollBk\n\rIntglPartRollBk = TqDmdCtlIntglPartFrzRollBk",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 121 | 16653522.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [OR(AND(1,2),AND(NOT(1),2))] 1) LOCAD_s_FlgFrzRollBk is true 2) LOCAA_s_LgtLimARollBk_FlgAcv is not true THEN: PropPartRolIF [OR(AND(1,2),AND(NOT(1),2))] 1) LOCAD_s_FlgFrzRollBk is true 2) LOCAA_s_LgtLimARollBk_FlgAcv is not true THEN: PropPartRollBk = TqDmdCtlPropPartRstRollBk IntglPartRollBk = TqDmdCtlIntglPartRstRollBk Raw{
"ID": "16653522.0",
"ASIL": " QM",
"Text": "IF [OR(AND(1,2),AND(NOT(1),2))]\n\r1) LOCAD_s_FlgFrzRollBk is true\n\r2) LOCAA_s_LgtLimARollBk_FlgAcv is not true\n\rTHEN: \n\rPropPartRollBk = TqDmdCtlPropPartRstRollBk\n\rIntglPartRollBk = TqDmdCtlIntglPartRstRollBk",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287928.0",
"Description": "IF [OR(AND(1,2),AND(NOT(1),2))]\n\r1) LOCAD_s_FlgFrzRollBk is true\n\r2) LOCAA_s_LgtLimARollBk_FlgAcv is not true\n\rTHEN: \n\rPropPartRollBk = TqDmdCtlPropPartRstRollBk\n\rIntglPartRollBk = TqDmdCtlIntglPartRstRollBk",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 122 | 16653523.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1] 1) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly THEN: PropPartRollBk and IntglPartRollBk are faIF [1] 1) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly THEN: PropPartRollBk and IntglPartRollBk are faded out to zero within (1/VMMP_LOCAFBC_p_RateStTarLimAcceOnly) seconds ELSE: PropPartRollBk and IntglPartRollBk are not altered Raw{
"ID": "16653523.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\rTHEN: \n\rPropPartRollBk and IntglPartRollBk are faded out to zero within (1/VMMP_LOCAFBC_p_RateStTarLimAcceOnly) seconds\n\rELSE:\n\rPropPartRollBk and IntglPartRollBk are not altered",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287930.0",
"Description": "IF [1]\n\r1) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\rTHEN: \n\rPropPartRollBk and IntglPartRollBk are faded out to zero within (1/VMMP_LOCAFBC_p_RateStTarLimAcceOnly) seconds\n\rELSE:\n\rPropPartRollBk and IntglPartRollBk are not altered",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |