Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAFBC.xlsx · source records

Controller Modes

{
  "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"
}

Default Condition

{
  "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"
}

TqDmdCtlPropPartDftRollBk = TqDeCtlRollBk * LOCAP_s_KpRollBk

{
  "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"
}

Kp change

{
  "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"
}

IF [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

{
  "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"
}

IF [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

{
  "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"
}

Intgl Offset

{
  "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"
}

OffsetRollBk is a variable, depending on multiple Inputs, as described in the following chapter Intgl Offset.

{
  "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"
}

IF [1]:

1) LOCAD_s_FlgFrzRollBk has a falling edge

THEN:

OffsetRollBk is equal to - TqDmdCtlPropPartDftRollBk

ELSE:

OffsetRollBk is equal to TqKpChgRollBk

{
  "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"
}

TqDmdCtlIntglPartDftRollBkn = (IntglPartRollBkn-1 + TqDeCtlRollBk * VMMP_c_TiSmpl * LOCAP_s_KiRollBk) + OffsetRollBk

where n is the actual cycle number

For n = 1:

IntglPartRollBkn-1 = 0

{
  "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"
}

Correction Torque Freeze and IntglPart Initialisation

{
  "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"
}

TqDmdCtlPropPartFrzRollBk = 0

{
  "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"
}

TqDmdCtlIntglPartFrzRollBkn = 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

{
  "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"
}

Correction Torque Reset

{
  "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"
}

TqDmdCtlPropPartRstRollBk = 0

{
  "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"
}

TqDmdCtlIntglPartRstRollBk = 0

{
  "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"
}

Controller Mode Selection

{
  "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"
}

IF [AND(1,2)]

1) LOCAD_s_FlgFrzRollBk is not true

2) LOCAA_s_LgtLimARollBk_FlgAcv is true

THEN: 

PropPartRollBk = TqDmdCtlPropPartDftRollBk

IntglPartRollBk = TqDmdCtlIntglPartDftRollBk

{
  "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"
}

IF [AND(1,2)]

1) LOCAD_s_FlgFrzRollBk is true

2) LOCAA_s_LgtLimARollBk_FlgAcv is true

THEN: 

PropPartRollBk = TqDmdCtlPropPartFrzRollBk

IntglPartRollBk = TqDmdCtlIntglPartFrzRollBk

{
  "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"
}

IF [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

{
  "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"
}

IF [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

{
  "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"
}