Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

Indicating limitations (StAcceLim/StDeceLim)

{
  "ID": "16655420.0",
  "ASIL": "  ",
  "Text": "Indicating limitations (StAcceLim/StDeceLim)",
  "Type": "Folder",
  "Status": "",
  "Summary": "Indicating limitations (StAcceLim/StDeceLim)",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212327.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_StAcceLim

{
  "ID": "16655421.0",
  "ASIL": "  ",
  "Text": "LOCTOP_s_StAcceLim",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCTOP_s_StAcceLim",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212282.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

priority of limitation values for LOCTOP_s_StAcceLim (highest priority in top)

VMMP_LOC_c_StLim_ExtLim

VMMP_LOC_c_StLim_StabLim

VMMP_LOC_c_StLim_IntnlLim

VMMP_LOC_c_StLim_NoLim

{
  "ID": "16655422.0",
  "ASIL": "  QM",
  "Text": "priority of limitation values for LOCTOP_s_StAcceLim (highest priority in top)\n\rVMMP_LOC_c_StLim_ExtLim\n\rVMMP_LOC_c_StLim_StabLim\n\rVMMP_LOC_c_StLim_IntnlLim\n\rVMMP_LOC_c_StLim_NoLim",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212322.0",
  "Description": "priority of limitation values for LOCTOP_s_StAcceLim (highest priority in top)\n\rVMMP_LOC_c_StLim_ExtLim\n\rVMMP_LOC_c_StLim_StabLim\n\rVMMP_LOC_c_StLim_IntnlLim\n\rVMMP_LOC_c_StLim_NoLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_StAcceLim shall show the value of LOCAFBC_s_StAcceLim, if not required differently in this chapter LOCTOP_s_StAcceLim

{
  "ID": "16655423.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_StAcceLim shall show the value of LOCAFBC_s_StAcceLim, if not required differently in this chapter LOCTOP_s_StAcceLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212288.0",
  "Description": "LOCTOP_s_StAcceLim shall show the value of LOCAFBC_s_StAcceLim, if not required differently in this chapter LOCTOP_s_StAcceLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1, OR(AND(2,3),4,5,6,7,AND(8, OR(9,10,11))))]

1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

2.) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

3.) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

4.) TqWhlReq_TqTlrHiDynCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

5.) TqWhlReq_TqTarPredCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

6.) TqWhlReq_TqTlrHiTarCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

7.) TqWhlReq_TqTlrLoTarCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

8.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly

9.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs

10.) TqWhlReq_TqTarPredCor is greater than VMMP_LOC_c_TqRstctOfs

11.) TqWhlReq_TqTlrLoTarCor is greater than VMMP_LOC_c_TqRstctOfs

THEN: 

LOCTOP_s_StAcceLim shall show the highest priority according to priority of limitation values (16655422 of the value of input signal LOCAFBC_s_StAcceLim and VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16655424.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1, OR(AND(2,3),4,5,6,7,AND(8, OR(9,10,11))))]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r3.) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r4.) TqWhlReq_TqTlrHiDynCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r5.) TqWhlReq_TqTarPredCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r6.) TqWhlReq_TqTlrHiTarCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r7.) TqWhlReq_TqTlrLoTarCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r8.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly\n\r9.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs\n\r10.) TqWhlReq_TqTarPredCor is greater than VMMP_LOC_c_TqRstctOfs\n\r11.) TqWhlReq_TqTlrLoTarCor is greater than VMMP_LOC_c_TqRstctOfs\n\rTHEN: \n\rLOCTOP_s_StAcceLim shall show the highest priority according to priority of limitation values (16655422No InterWiki reference defined in properties for 'integrity'of the value of input signal LOCAFBC_s_StAcceLim and VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212363.0",
  "Description": "IF [AND(1, OR(AND(2,3),4,5,6,7,AND(8, OR(9,10,11))))]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r3.) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r4.) TqWhlReq_TqTlrHiDynCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r5.) TqWhlReq_TqTarPredCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r6.) TqWhlReq_TqTlrHiTarCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r7.) TqWhlReq_TqTlrLoTarCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r8.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly\n\r9.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs\n\r10.) TqWhlReq_TqTarPredCor is greater than VMMP_LOC_c_TqRstctOfs\n\r11.) TqWhlReq_TqTlrLoTarCor is greater than VMMP_LOC_c_TqRstctOfs\n\rTHEN: \n\rLOCTOP_s_StAcceLim shall show the highest priority according to priority of limitation values (16655422No InterWiki reference defined in properties for 'integrity'of the value of input signal LOCAFBC_s_StAcceLim and VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCTOP_s_TqWhlReq_FlgAcv is true

2.) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter

THEN: 

LOCTOP_s_StAcceLim shall show the highest priority according to priority of limitation values  Item 16655422of the value of input signal LOCAFBC_s_StAcceLim and VMMP_LOC_c_StLim_ExtLim

{
  "ID": "16655425.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCTOP_s_TqWhlReq_FlgAcv is true\n\r2.) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\rTHEN: \n\rLOCTOP_s_StAcceLim shall show the highest priority according to priority of limitation values (No InterWiki reference defined in properties for 'integrity' Item 16655422of the value of input signal LOCAFBC_s_StAcceLim and VMMP_LOC_c_StLim_ExtLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1359227.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCTOP_s_TqWhlReq_FlgAcv is true\n\r2.) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\rTHEN: \n\rLOCTOP_s_StAcceLim shall show the highest priority according to priority of limitation values (No InterWiki reference defined in properties for 'integrity' Item 16655422of the value of input signal LOCAFBC_s_StAcceLim and VMMP_LOC_c_StLim_ExtLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_StDeceLim

{
  "ID": "16655426.0",
  "ASIL": "  ",
  "Text": "LOCTOP_s_StDeceLim",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCTOP_s_StDeceLim",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212284.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

priority of limitation values for LOCTOP_s_StDeceLim (highest priority in top)

VMMP_LOC_c_StLim_StabLim

VMMP_LOC_c_StLim_IntnlLim

VMMP_LOC_c_StLim_NoLim

{
  "ID": "16655427.0",
  "ASIL": "  QM",
  "Text": "priority of limitation values for LOCTOP_s_StDeceLim (highest priority in top)\n\rVMMP_LOC_c_StLim_StabLim\n\rVMMP_LOC_c_StLim_IntnlLim\n\rVMMP_LOC_c_StLim_NoLim",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1380191.0",
  "Description": "priority of limitation values for LOCTOP_s_StDeceLim (highest priority in top)\n\rVMMP_LOC_c_StLim_StabLim\n\rVMMP_LOC_c_StLim_IntnlLim\n\rVMMP_LOC_c_StLim_NoLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_StDeceLim shall show the value of

LOCAFBC_s_StDeceLim , if not required differently in this chapter LOCTOP_s_StDeceLim

{
  "ID": "16655428.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_StDeceLim shall show the value of\n\rLOCAFBC_s_StDeceLim , if not required differently in this chapter LOCTOP_s_StDeceLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212286.0",
  "Description": "LOCTOP_s_StDeceLim shall show the value of\n\rLOCAFBC_s_StDeceLim , if not required differently in this chapter LOCTOP_s_StDeceLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [OR(AND(1, OR(2,3,4,5,6)), AND(7, OR(8,9,10,11, AND(OR(12,13),OR(14,15,16,17)))))]

1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

2.) TqWhlReq_TqDmdCor is smaller then VMMP_LOCTOP_p_TqWhlReq_TqMin

3.) TqWhlReq_TqTlrHiDynCor is smaller Then VMMP_LOCTOP_p_TqWhlReq_TqMin

4.) TqWhlReq_TqTarPredCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin

5.) TqWhlReq_TqTlrLoTarCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin

6.) TqWhlReq_TqTlrHiTarCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin

7.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter

8.) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

9.) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

10.) TqWhlLim_TqTarPredCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

11.) TqWhlLim_TqTlrHiTarCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

12.) CRMSA_s_LgtLim_StTar is VMMP_CRMSA_c_LgtLimStTarLimAcceOnly

13.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true 

14.) TqWhlLim_TqDmdCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs 

15.) TqWhlLim_TqTlrHiDynCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs 

16.) TqWhlLim_TqTarPredCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs 

17.) TqWhlLim_TqTlrHiTarCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs

THEN: 

LOCTOP_s_StDeceLim shall show the highest priority according priority of limitation values EF_Component Requirement 1380191 of the value of input signal

LOCAFBC_s_StDeceLim and VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16655429.0",
  "ASIL": "  QM",
  "Text": "IF [OR(AND(1, OR(2,3,4,5,6)), AND(7, OR(8,9,10,11, AND(OR(12,13),OR(14,15,16,17)))))]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) TqWhlReq_TqDmdCor is smaller then VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r3.) TqWhlReq_TqTlrHiDynCor is smaller Then VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r4.) TqWhlReq_TqTarPredCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r5.) TqWhlReq_TqTlrLoTarCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r6.) TqWhlReq_TqTlrHiTarCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r \n\r \n\r7.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\r8.) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r9.) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r10.) TqWhlLim_TqTarPredCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r11.) TqWhlLim_TqTlrHiTarCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r \n\r \n\r12.) CRMSA_s_LgtLim_StTar is VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r13.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true \n\r14.) TqWhlLim_TqDmdCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs \n\r15.) TqWhlLim_TqTlrHiDynCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs \n\r16.) TqWhlLim_TqTarPredCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs \n\r17.) TqWhlLim_TqTlrHiTarCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs\n\r \n\r \n\rTHEN: \n\rLOCTOP_s_StDeceLim shall show the highest priority according priority of limitation values EF_Component Requirement 1380191 of the value of input signal\n\r\n\rLOCAFBC_s_StDeceLim and VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212291.0",
  "Description": "IF [OR(AND(1, OR(2,3,4,5,6)), AND(7, OR(8,9,10,11, AND(OR(12,13),OR(14,15,16,17)))))]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) TqWhlReq_TqDmdCor is smaller then VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r3.) TqWhlReq_TqTlrHiDynCor is smaller Then VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r4.) TqWhlReq_TqTarPredCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r5.) TqWhlReq_TqTlrLoTarCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r6.) TqWhlReq_TqTlrHiTarCor is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\r \n\r \n\r7.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\r8.) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r9.) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r10.) TqWhlLim_TqTarPredCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r11.) TqWhlLim_TqTlrHiTarCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r \n\r \n\r12.) CRMSA_s_LgtLim_StTar is VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r13.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true \n\r14.) TqWhlLim_TqDmdCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs \n\r15.) TqWhlLim_TqTlrHiDynCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs \n\r16.) TqWhlLim_TqTarPredCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs \n\r17.) TqWhlLim_TqTlrHiTarCor is smaller than the negativ value of VMMP_LOC_c_TqRstctOfs\n\r \n\r \n\rTHEN: \n\rLOCTOP_s_StDeceLim shall show the highest priority according priority of limitation values EF_Component Requirement 1380191 of the value of input signal\n\r\n\rLOCAFBC_s_StDeceLim and VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Offset calculation for safety limitation

{
  "ID": "16655430.0",
  "ASIL": "  ",
  "Text": "Offset calculation for safety limitation",
  "Type": "Folder",
  "Status": "",
  "Summary": "Offset calculation for safety limitation",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212389.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ADmdSafeOfs

{
  "ID": "16655431.0",
  "ASIL": "  ",
  "Text": "LOCTOP_s_LgtCtlA_ADmdSafeOfs",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCTOP_s_LgtCtlA_ADmdSafeOfs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212379.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtCtlA_ADmdSafeOfs

{
  "ID": "16655432.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtCtlA_ADmdSafeOfs",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212399.0",
  "Description": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtCtlA_ADmdSafeOfs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If

 LOCTOP_s_TqWhlReq_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtCtlA_ADmdSafeOfs shall be 0 (zero).

{
  "ID": "46647344.0",
  "ASIL": "  QM",
  "Text": "If\n\r LOCTOP_s_TqWhlReq_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtCtlA_ADmdSafeOfs shall be 0 (zero).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If\n\r LOCTOP_s_TqWhlReq_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtCtlA_ADmdSafeOfs shall be 0 (zero).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.

Requirement 16655434

Requirement 16655435

Requirement 16655436

Requirement 16655437

Note:

This requirement has a higher priority over the above mentioned requirements.

{
  "ID": "16655433.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.\n\rRequirement 16655434\n\rRequirement 16655435\n\rRequirement 16655436\n\rRequirement 16655437\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1342648.0",
  "Description": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.\n\rRequirement 16655434\n\rRequirement 16655435\n\rRequirement 16655436\n\rRequirement 16655437\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.

Requirement 16655434

Requirement 16655435

Requirement 16655436

Requirement 16655437

Requirement 37791860

Note:

This requirement has a higher priority over the above mentioned requirements.

{
  "ID": "39624578.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.\n\rRequirement 16655434\n\rRequirement 16655435\n\rRequirement 16655436\n\rRequirement 16655437\n\rRequirement 37791860\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.\n\rRequirement 16655434\n\rRequirement 16655435\n\rRequirement 16655436\n\rRequirement 16655437\n\rRequirement 37791860\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)]

1) TqWhlReq_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than the threshold VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show the difference (shall be negativ) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqDmdCor reduced byVMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "39624581.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than the threshold VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show the difference (shall be negativ) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqDmdCor reduced byVMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than the threshold VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show the difference (shall be negativ) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqDmdCor reduced byVMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMin by more than VMMP_LOC_c_TqRstctOfs

2) TqPotMaxSel is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin

THEN

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMin and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

ELSE IF [AND(1,2,3)]

1) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs

2) TqPotMaxSel is smaller than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMax

3) TqPotMaxSel is greater than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMin

THEN:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

ELSE IF [AND(1,2)]

1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax by more than VMMP_LOC_c_TqRstctOfs

2) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

THEN:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMax and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "39624584.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMin by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMin and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r3) TqPotMaxSel is greater than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMax and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMin by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMin and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r3) TqPotMaxSel is greater than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMax and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)] 

1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly 

2.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs by more than VMMP_LOC_c_TqRstctOfs 

3.) TqPotMaxSel is greater than VMMP_LOC_c_TqRstctOfs 

Then: 

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (2*VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

ELSE IF [AND(1,2,3)] 

1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly 

2.) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs 

3.) TqPotMaxSel is smaller VMMP_LOC_c_TqRstctOfs

THEN: 

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "39624586.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (2*VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is smaller VMMP_LOC_c_TqRstctOfs\n\rTHEN: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (2*VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is smaller VMMP_LOC_c_TqRstctOfs\n\rTHEN: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3))] 

1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly 

2.) LOCAFBC_s_FlgASafeOfs is true 

3.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs 

Then: 

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "39624589.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3))] \n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) LOCAFBC_s_FlgASafeOfs is true \n\r3.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2,3))] \n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) LOCAFBC_s_FlgASafeOfs is true \n\r3.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3))]

1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly

2.) LOCAFBC_s_FlgASafeOfs is true

3.) The sum of TqWhlReq_TqDmdCor and MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) is greater than VMMP_LOC_c_TqRstctOfs

Then:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between ((VMMP_LOC_c_TqRstctOfs + MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "39624591.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3))]\n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly\n\r2.) LOCAFBC_s_FlgASafeOfs is true\n\r3.) The sum of TqWhlReq_TqDmdCor and MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) is greater than VMMP_LOC_c_TqRstctOfs\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between ((VMMP_LOC_c_TqRstctOfs + MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2,3))]\n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly\n\r2.) LOCAFBC_s_FlgASafeOfs is true\n\r3.) The sum of TqWhlReq_TqDmdCor and MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) is greater than VMMP_LOC_c_TqRstctOfs\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between ((VMMP_LOC_c_TqRstctOfs + MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)]

1) TqWhlReq_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than the threshold VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show the difference (shall be negativ) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqDmdCor reduced byVMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "16655434.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than the threshold VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show the difference (shall be negativ) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqDmdCor reduced byVMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212397.0",
  "Description": "IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than the threshold VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show the difference (shall be negativ) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqDmdCor reduced byVMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMin by more than VMMP_LOC_c_TqRstctOfs

2) TqPotMaxSel is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin

THEN

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMin and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

ELSE IF [AND(1,2,3)]

1) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs

2) TqPotMaxSel is smaller than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMax

3) TqPotMaxSel is greater than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMin

THEN:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

ELSE IF [AND(1,2)]

1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax by more than VMMP_LOC_c_TqRstctOfs

2) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax

THEN:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMax and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "16655435.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMin by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMin and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r3) TqPotMaxSel is greater than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMax and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214381.0",
  "Description": "IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMin by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMin and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)]\n\r1) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is smaller than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMax\n\r3) TqPotMaxSel is greater than or equal to VMMP_LOCTOP_p_TqWhlReq_TqMin\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2)]\n\r1) TqWhlReq_TqDmdCor is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax by more than VMMP_LOC_c_TqRstctOfs\n\r2) TqPotMaxSel is greater than VMMP_LOCTOP_p_TqWhlReq_TqMax\n\rTHEN:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between VMMP_LOCTOP_p_TqWhlReq_TqMax and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)] 

1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly 

2.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs by more than VMMP_LOC_c_TqRstctOfs 

3.) TqPotMaxSel is greater than VMMP_LOC_c_TqRstctOfs 

Then: 

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (2*VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

ELSE IF [AND(1,2,3)] 

1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly 

2.) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs 

3.) TqPotMaxSel is smaller VMMP_LOC_c_TqRstctOfs

THEN: 

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "16655436.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (2*VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is smaller VMMP_LOC_c_TqRstctOfs\n\rTHEN: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1273044.0",
  "Description": "IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (2*VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).\n\rELSE IF [AND(1,2,3)] \n\r1.) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) TqWhlReq_TqDmdCor is greater than TqPotMaxSel by more than VMMP_LOC_c_TqRstctOfs \n\r3.) TqPotMaxSel is smaller VMMP_LOC_c_TqRstctOfs\n\rTHEN: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (TqPotMaxSel and (TqWhlReq_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3))] 

1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly 

2.) LOCAFBC_s_FlgASafeOfs is true 

3.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs 

Then: 

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "16655437.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3))] \n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) LOCAFBC_s_FlgASafeOfs is true \n\r3.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1510687.0",
  "Description": "IF [AND(1,2,3))] \n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly \n\r2.) LOCAFBC_s_FlgASafeOfs is true \n\r3.) TqWhlReq_TqDmdCor is greater than VMMP_LOC_c_TqRstctOfs \n\rThen: \n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between (VMMP_LOC_c_TqRstctOfs and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3))]

1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly

2.) LOCAFBC_s_FlgASafeOfs is true

3.) The difference of TqWhlReq_TqDmdCor and MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) is greater than VMMP_LOC_c_TqRstctOfs

Then:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between ((VMMP_LOC_c_TqRstctOfs + MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "37791860.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3))]\n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly\n\r2.) LOCAFBC_s_FlgASafeOfs is true\n\r3.) The difference of TqWhlReq_TqDmdCor and MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) is greater than VMMP_LOC_c_TqRstctOfs\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between ((VMMP_LOC_c_TqRstctOfs + MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2,3))]\n\r1) CRMSA_s_LgtReq_StTar is equal to VMMP_CRMSA_c_LgtReqStTarDeceOnly\n\r2.) LOCAFBC_s_FlgASafeOfs is true\n\r3.) The difference of TqWhlReq_TqDmdCor and MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) is greater than VMMP_LOC_c_TqRstctOfs\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be negative) between ((VMMP_LOC_c_TqRstctOfs + MIN(0, LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC) and TqWhlReq_TqDmdCor) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.

EF_Component Requirement 16655439

EF_Component Requirement 16655440

{
  "ID": "16655438.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.\n\rEF_Component Requirement 16655439\n\rEF_Component Requirement 16655440",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214383.0",
  "Description": "LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show minimum of values which result of the following requirements.\n\rEF_Component Requirement 16655439\n\rEF_Component Requirement 16655440",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF [AND(1,2,3,4)]

1) TqWhlReq_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3.) DSOPRE_s_FlgBrkMScaAcv is true

4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs) ) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)

{
  "ID": "16655439.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3,4)]\n\r1) TqWhlReq_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is true\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs) ) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212395.0",
  "Description": "IF [AND(1,2,3,4)]\n\r1) TqWhlReq_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is true\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs) ) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3,4)]

1) TqWhlReq_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3.) DSOPRE_s_FlgBrkMScaAcv is false

4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller then or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqDmdCor raised by

VMMP_LOC_c_TqRstctOfs ) ) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655440.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3,4)]\n\r1) TqWhlReq_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is false\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller then or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqDmdCor raised by\n\rVMMP_LOC_c_TqRstctOfs ) ) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1248917.0",
  "Description": "IF [AND(1,2,3,4)]\n\r1) TqWhlReq_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is false\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller then or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqDmdCor raised by\n\rVMMP_LOC_c_TqRstctOfs ) ) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs

{
  "ID": "16655441.0",
  "ASIL": "  ",
  "Text": "LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212381.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs

{
  "ID": "16655442.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212411.0",
  "Description": "LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If

 LOCTOP_s_TqWhlReq_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall be 0 (zero)

.

{
  "ID": "46647359.0",
  "ASIL": "  QM",
  "Text": "If\n\r LOCTOP_s_TqWhlReq_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall be 0 (zero)\n\r.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If\n\r LOCTOP_s_TqWhlReq_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall be 0 (zero)\n\r.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)]

1) TqWhlReq_TqTlrHiDynCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3.) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqTlrHiDynCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655443.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)]\n\r1) TqWhlReq_TqTlrHiDynCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqTlrHiDynCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212407.0",
  "Description": "IF [AND(1,2,3)]\n\r1) TqWhlReq_TqTlrHiDynCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC and (TqWhlReq_TqTlrHiDynCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3,4)]

1) TqWhlReq_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3.) DSOPRE_s_FlgBrkMScaAcv is true

4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be positiv ) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)

{
  "ID": "16655444.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3,4)]\n\r1) TqWhlReq_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is true\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be positiv ) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212409.0",
  "Description": "IF [AND(1,2,3,4)]\n\r1) TqWhlReq_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is true\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be positiv ) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,OR(3,4)]

1) TqWhlReq_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3.) DSOPRE_s_FlgBrkMScaAcv is false

4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655445.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,OR(3,4)]\n\r1) TqWhlReq_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is false\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1248915.0",
  "Description": "IF [AND(1,2,OR(3,4)]\n\r1) TqWhlReq_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinReqLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3.) DSOPRE_s_FlgBrkMScaAcv is false\n\r4.) LOCCOP_s_TqWhlSafeFb_TqMinReqLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtCtlA_ATlrHiDynSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinReqLOC and (TqWhlReq_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtLimA_ADmdSafeOfs

{
  "ID": "16655446.0",
  "ASIL": "  ",
  "Text": "LOCTOP_s_LgtLimA_ADmdSafeOfs",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCTOP_s_LgtLimA_ADmdSafeOfs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212383.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtLimA_ADmdSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtLimA_ADmdSafeOfs

{
  "ID": "16655447.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtLimA_ADmdSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtLimA_ADmdSafeOfs",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212422.0",
  "Description": "LOCTOP_s_LgtLimA_ADmdSafeOfs shall be 0 (zero) if not required differently in this chapter LOCTOP_s_LgtLimA_ADmdSafeOfs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If

 LOCTOP_s_TqWhlLim_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtLimA_ADmdSafeOfs shall be 0 (zero)

.

{
  "ID": "46647361.0",
  "ASIL": "  QM",
  "Text": "If\n\r LOCTOP_s_TqWhlLim_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtLimA_ADmdSafeOfs shall be 0 (zero)\n\r.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If\n\r LOCTOP_s_TqWhlLim_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtLimA_ADmdSafeOfs shall be 0 (zero)\n\r.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)]

1) TqWhlLim_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3) LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC is greater than or equal to 0

Then:

LOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC and (TqWhlLim_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655448.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)]\n\r1) TqWhlLim_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC is greater than or equal to 0\n\rThen:\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC and (TqWhlLim_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212418.0",
  "Description": "IF [AND(1,2,3)]\n\r1) TqWhlLim_TqDmdCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC is greater than or equal to 0\n\rThen:\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC and (TqWhlLim_TqDmdCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtLimA_ADmdSafeOfs shall show maximum of values which result of the following requirements:

16655450

16655451 

16655452

16655453

Note:

This requirement has a higher priority over the above mentioned requirements.

{
  "ID": "16655449.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtLimA_ADmdSafeOfs shall show maximum of values which result of the following requirements:\n\r16655450\n\r16655451 \n\r16655452\n\r16655453\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1273048.0",
  "Description": "LOCTOP_s_LgtLimA_ADmdSafeOfs shall show maximum of values which result of the following requirements:\n\r16655450\n\r16655451 \n\r16655452\n\r16655453\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,OR(2,3),4,5]

1) TqWhlLim_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

4) DSOPRE_s_FlgBrkMScaAcv is true

5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)

{
  "ID": "16655450.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,OR(2,3),4,5]\n\r1) TqWhlLim_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r4) DSOPRE_s_FlgBrkMScaAcv is true\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212420.0",
  "Description": "IF [AND(1,OR(2,3),4,5]\n\r1) TqWhlLim_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r4) DSOPRE_s_FlgBrkMScaAcv is true\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,OR(2,3),4,5]

1) TqWhlLim_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

4) DSOPRE_s_FlgBrkMScaAcv is false

5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be positiv ) between (LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655451.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,OR(2,3),4,5]\n\r1) TqWhlLim_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r4) DSOPRE_s_FlgBrkMScaAcv is false\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be positiv ) between (LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1248913.0",
  "Description": "IF [AND(1,OR(2,3),4,5]\n\r1) TqWhlLim_TqDmdCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) TqWhlLim_TqDmdCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r4) DSOPRE_s_FlgBrkMScaAcv is false\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall show (the difference (shall be positiv ) between (LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(OR(1,2),3,4)]

1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly

2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true

3.) TqWhlLim_TqDmdCor is smaller than -VMMP_LOC_c_TqRstctOfs

4.) DSOPRE_s_FlgBrkMScaAcv is false

THEN

LOCTOP_s_LgtLimA_ADmdSafeOfs shall be the maximum of (0 and the difference between zero and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "16655452.0",
  "ASIL": "  QM",
  "Text": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqDmdCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is false\n\rTHEN\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall be the maximum of (0 and the difference between zero and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1273046.0",
  "Description": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqDmdCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is false\n\rTHEN\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall be the maximum of (0 and the difference between zero and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(OR(1,2),3,4)]

1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly

2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true

3.) TqWhlLim_TqDmdCor is smaller than -VMMP_LOC_c_TqRstctOfs

4.) DSOPRE_s_FlgBrkMScaAcv is true

THEN

LOCTOP_s_LgtLimA_ADmdSafeOfs shall be the maximum of (0 and the difference between zero and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk).

{
  "ID": "16655453.0",
  "ASIL": "  QM",
  "Text": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqDmdCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is true\n\rTHEN\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall be the maximum of (0 and the difference between zero and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1510698.0",
  "Description": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqDmdCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is true\n\rTHEN\n\rLOCTOP_s_LgtLimA_ADmdSafeOfs shall be the maximum of (0 and the difference between zero and (TqWhlLim_TqDmdCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs

{
  "ID": "16655454.0",
  "ASIL": "  ",
  "Text": "LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1212385.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be 0 (zero) if not required differently in this chapter

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs

{
  "ID": "16655455.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be 0 (zero) if not required differently in this chapter\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212429.0",
  "Description": "LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be 0 (zero) if not required differently in this chapter\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If

 LOCTOP_s_TqWhlLim_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be 0 (zero)

.

{
  "ID": "46647366.0",
  "ASIL": "  QM",
  "Text": "If\n\r LOCTOP_s_TqWhlLim_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be 0 (zero)\n\r.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If\n\r LOCTOP_s_TqWhlLim_FlgAcv is false or was false one timestep before, LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be 0 (zero)\n\r.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)]

1) TqWhlLim_TqTlrHiDynCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC by more than VMMP_LOC_c_TqRstctOfs

2) LOCAFBC_s_FlgASafeOfs is true

3) LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC is greater than or equal to 0 (zero)

Then:

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC and (TqWhlLim_TqTlrHiDynCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655456.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)]\n\r1) TqWhlLim_TqTlrHiDynCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC and (TqWhlLim_TqTlrHiDynCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212425.0",
  "Description": "IF [AND(1,2,3)]\n\r1) TqWhlLim_TqTlrHiDynCor is greater than LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) LOCAFBC_s_FlgASafeOfs is true\n\r3) LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC is greater than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall show (the difference (shall be negative) between (LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC and (TqWhlLim_TqTlrHiDynCor reduced by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall show maximum of values which result of the following requirements.

16655461

16655460

16655459

16655458

Note:

This requirement has a higher priority over the above mentioned requirements.

{
  "ID": "16655457.0",
  "ASIL": "  QM",
  "Text": "LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall show maximum of values which result of the following requirements.\n\r16655461\n\r16655460\n\r16655459\n\r16655458\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1273052.0",
  "Description": "LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall show maximum of values which result of the following requirements.\n\r16655461\n\r16655460\n\r16655459\n\r16655458\n\r \n\rNote:\n\rThis requirement has a higher priority over the above mentioned requirements.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,OR(3,4),5)]

1) TqWhlLim_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs

2) DSOPRE_s_FlgBrkMScaAcv is true

3) LOCAFBC_s_FlgASafeOfs is true

4) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtLimA_ATlrHDynSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)

{
  "ID": "16655458.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,OR(3,4),5)]\n\r1) TqWhlLim_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) DSOPRE_s_FlgBrkMScaAcv is true\n\r3) LOCAFBC_s_FlgASafeOfs is true\n\r4) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ATlrHDynSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212427.0",
  "Description": "IF [AND(1,2,OR(3,4),5)]\n\r1) TqWhlLim_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) DSOPRE_s_FlgBrkMScaAcv is true\n\r3) LOCAFBC_s_FlgASafeOfs is true\n\r4) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ATlrHDynSafeOfs shall show (the difference (shall be positiv) between LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,OR(3,4),5)]

1) TqWhlLim_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs

2) DSOPRE_s_FlgBrkMScaAcv is false

3) LOCAFBC_s_FlgASafeOfs is true

4) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin

5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)

Then:

LOCTOP_s_LgtLimA_ATlrHDynSafeOfs shall show (the difference (shall be positiv) between (LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)

{
  "ID": "16655459.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,OR(3,4),5)]\n\r1) TqWhlLim_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) DSOPRE_s_FlgBrkMScaAcv is false\n\r3) LOCAFBC_s_FlgASafeOfs is true\n\r4) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ATlrHDynSafeOfs shall show (the difference (shall be positiv) between (LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1248909.0",
  "Description": "IF [AND(1,2,OR(3,4),5)]\n\r1) TqWhlLim_TqTlrHiDynCor is smaller than LOCCOP_s_TqWhlSafeFb_TqMinLimLOC by more than VMMP_LOC_c_TqRstctOfs\n\r2) DSOPRE_s_FlgBrkMScaAcv is false\n\r3) LOCAFBC_s_FlgASafeOfs is true\n\r4) TqWhlLim_TqTlrHiDynCor is smaller than VMMP_LOCTOP_p_TqWhlLim_TqMin\n\r5) LOCCOP_s_TqWhlSafeFb_TqMinLimLOC is smaller than or equal to 0 (zero)\n\rThen:\n\rLOCTOP_s_LgtLimA_ATlrHDynSafeOfs shall show (the difference (shall be positiv) between (LOCCOP_s_TqWhlSafeFb_TqMinLimLOC and (TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)) divided by the product of (VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(OR(1,2),3,4)]

1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly

2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true

3.) TqWhlLim_TqTlrHiDynCor is smaller than -VMMP_LOC_c_TqRstctOfs

4.) DSOPRE_s_FlgBrkMScaAcv is false

THEN

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be the maximum of (0 and the difference between zero and

(TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).

{
  "ID": "16655460.0",
  "ASIL": "  QM",
  "Text": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqTlrHiDynCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is false\n\rTHEN\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be the maximum of (0 and the difference between zero and\n\r(TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1273050.0",
  "Description": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqTlrHiDynCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is false\n\rTHEN\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be the maximum of (0 and the difference between zero and\n\r(TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(OR(1,2),3,4)]

1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly

2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true

3.) TqWhlLim_TqTlrHiDynCor is smaller than -VMMP_LOC_c_TqRstctOfs

4.) DSOPRE_s_FlgBrkMScaAcv is true

THEN

LOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be the maximum of (0 and the difference between zero and

(TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk).

{
  "ID": "16655461.0",
  "ASIL": "  QM",
  "Text": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqTlrHiDynCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is true\n\rTHEN\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be the maximum of (0 and the difference between zero and\n\r(TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1510701.0",
  "Description": "IF[AND(OR(1,2),3,4)]\n\r1.) CRMSA_s_LgtLim_StTar is equal to VMMP_CRMSA_c_LgtLimStTarLimAcceOnly\n\r2.) LOCSGC_s_TqWhlLim_FlgAcceOnly is true\n\r3.) TqWhlLim_TqTlrHiDynCor is smaller than -VMMP_LOC_c_TqRstctOfs\n\r4.) DSOPRE_s_FlgBrkMScaAcv is true\n\rTHEN\n\rLOCTOP_s_LgtLimA_ATlrHiDynSafeOfs shall be the maximum of (0 and the difference between zero and\n\r(TqWhlLim_TqTlrHiDynCor raised by VMMP_LOC_c_TqRstctOfs)), divided by (the product of VSOVD_s_MVehVirtJ and VSOVD_s_RdDynCor and VSOVD_s_FacMVehBrk).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}