Source files
Mapping profiles
TORINO grounded verification · testcase
VMMP conservative · requirement
Import history
| File | Kind | Rows | Checksum |
|---|---|---|---|
| VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsx | requirement | 96 | 6c313a49d7cf |
| VME-PROD-VehicleMotionManagement - VMMP.xlsx | requirement | 297 | dcdcc7aa02b4 |
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCDC.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 202 | 16654271.0 | Functional | Released | yes | True | IF [1] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl THEN: LOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtlIF [1] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl THEN: LOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtl_APredTar Raw{
"ID": "16654271.0",
"ASIL": " QM",
"Text": "IF [1] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtl_APredTar",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1272927.0",
"Description": "IF [1] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtl_APredTar",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 203 | 16654272.0 | Functional | Released | yes | True | IF [OR(1,2)] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl 2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcIF [OR(1,2)] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl 2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff THEN: LOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc Raw{
"ID": "16654272.0",
"ASIL": " QM",
"Text": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1272929.0",
"Description": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 204 | 22440608.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF [OR(1,2)] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl 2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcIF [OR(1,2)] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl 2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff THEN: LOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc Raw{
"ID": "22440608.0",
"ASIL": " QM",
"Text": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 205 | 16654273.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_LgtCtlV_StDeceCritMaxLOCDC_s_LgtCtlV_StDeceCritMax Raw{
"ID": "16654273.0",
"ASIL": " ",
"Text": "LOCDC_s_LgtCtlV_StDeceCritMax",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_LgtCtlV_StDeceCritMax",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1272933.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 206 | 16654274.0 | Functional | Released | yes | True | If not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQMIf not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQM Raw{
"ID": "16654274.0",
"ASIL": " QM",
"Text": "If not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQM",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1272935.0",
"Description": "If not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQM",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 207 | 16654275.0 | Functional | Released | yes | True | IF [OR(1,2,3)] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl 2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_IF [OR(1,2,3)] 1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl 2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl 3) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff THEN: LOCDC_s_LgtCtlV_StDeceCritMax is equal to ARBLLCSC_s_LgtCtl_StDeceCritMax Raw{
"ID": "16654275.0",
"ASIL": " QM",
"Text": "IF [OR(1,2,3)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r3) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_StDeceCritMax is equal to ARBLLCSC_s_LgtCtl_StDeceCritMax",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1272939.0",
"Description": "IF [OR(1,2,3)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r3) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_StDeceCritMax is equal to ARBLLCSC_s_LgtCtl_StDeceCritMax",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 208 | 16654276.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_DRemArbSatLOCDC_s_DRemArbSat Raw{
"ID": "16654276.0",
"ASIL": " ",
"Text": "LOCDC_s_DRemArbSat",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_DRemArbSat",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1247357.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 209 | 16654277.0 | Functional | Released | yes | True | IF [1] 1) TVCOP_s_LgtCtlD_FlgAcv is true THEN: LOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44IF [1] 1) TVCOP_s_LgtCtlD_FlgAcv is true THEN: LOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44 and to the minimum value 0 ELSE: LOCDC_s_DRemArbSat is equal to LOCDL_s_DRem limited to the maximum value 20.44 and to the minimum value 0 Raw{
"ID": "16654277.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\rTHEN:\n\rLOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44 and to the minimum value 0 \n\rELSE:\n\rLOCDC_s_DRemArbSat is equal to LOCDL_s_DRem limited to the maximum value 20.44 and to the minimum value 0",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1247361.0",
"Description": "IF [1]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\rTHEN:\n\rLOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44 and to the minimum value 0 \n\rELSE:\n\rLOCDC_s_DRemArbSat is equal to LOCDL_s_DRem limited to the maximum value 20.44 and to the minimum value 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 210 | 16654278.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_StVldDRemArbSatLOCDC_s_StVldDRemArbSat Raw{
"ID": "16654278.0",
"ASIL": " ",
"Text": "LOCDC_s_StVldDRemArbSat",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_StVldDRemArbSat",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1247359.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 211 | 16654279.0 | Functional | Released | yes | True | LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter.LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter. Raw{
"ID": "16654279.0",
"ASIL": " QM",
"Text": "LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1247376.0",
"Description": "LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 212 | 16654280.0 | Functional | Released | yes | True | IF [AND(1,2)] 1) TVCOP_s_LgtCtlD_FlgAcv is true 2) LgtCtlD_DRem is greater than 20.44 THEN: LOCDC_s_StVldDRemArbSat is equaIF [AND(1,2)] 1) TVCOP_s_LgtCtlD_FlgAcv is true 2) LgtCtlD_DRem is greater than 20.44 THEN: LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut Raw{
"ID": "16654280.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\r2) LgtCtlD_DRem \n\ris greater than 20.44\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1247366.0",
"Description": "IF [AND(1,2)]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\r2) LgtCtlD_DRem \n\ris greater than 20.44\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 213 | 16654281.0 | Functional | Released | yes | True | IF [AND(1,OR(2,3))] 1) TVCOP_s_LgtCtlD_FlgAcv is not true 2) LOCDL_s_DRem is greater than 20.44 3) LOCDL_s_StVldDRem is equalIF [AND(1,OR(2,3))] 1) TVCOP_s_LgtCtlD_FlgAcv is not true 2) LOCDL_s_DRem is greater than 20.44 3) LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut THEN: LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut Raw{
"ID": "16654281.0",
"ASIL": " QM",
"Text": "IF [AND(1,OR(2,3))]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is not true\n\r2) LOCDL_s_DRem\n\ris greater than 20.44 \n\r3) LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1247378.0",
"Description": "IF [AND(1,OR(2,3))]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is not true\n\r2) LOCDL_s_DRem\n\ris greater than 20.44 \n\r3) LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 214 | 16654282.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_LgtCtlV_LoVLOCDC_s_LgtCtlV_LoV Raw{
"ID": "16654282.0",
"ASIL": " ",
"Text": "LOCDC_s_LgtCtlV_LoV",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_LgtCtlV_LoV",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1356199.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 215 | 16654284.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3,4)] 1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true 2.) TVCOP_s_LgtCtlD_FlgAcv is true 3.) DRem is smaller than the sum ofIF[AND(1,2,3,4)] 1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true 2.) TVCOP_s_LgtCtlD_FlgAcv is true 3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table Input: VSOEM_s_VLgtVehCor Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh Parameter Output-Axis: VMMP_LOCDC_p1_AMin 4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01 THEN: FlgTrigLoV is true ELSE: FlgTrigLoV is false Threshold for Protected Division = 0.001 Raw{
"ID": "16654284.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1356211.0",
"Description": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 216 | 16654285.0 | Functional | Released | yes | True | IF[1] 1.) FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall beIF[1] 1.) FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false Raw{
"ID": "16654285.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1356203.0",
"Description": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 217 | 22442244.0 | Functional | Released | yes | True | IF[1] 1.) LgtCtlV_FlgAcvStopLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV must be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoIF[1] 1.) LgtCtlV_FlgAcvStopLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV must be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoV must be false Raw{
"ID": "22442244.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 218 | 16654286.0 | Functional | Released | yes | True | IF[1] FlgTrigLoV is true THEN: IF [3] 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi THEN:IF[1] FlgTrigLoV is true THEN: IF [3] 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi THEN: LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi ELSE: LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1 ELSE: LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft Raw{
"ID": "16654286.0",
"ASIL": " QM",
"Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1356205.0",
"Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 219 | 22444238.0 | Functional | Released | yes | True | LOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDecLOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDec Raw{
"ID": "22444238.0",
"ASIL": " QM",
"Text": "LOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDec",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "LOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDec",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 220 | 16654287.0 | Functional | Released | yes | True | IF[1] FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table Input: VSOEM_s_VLgtVehCor ParamIF[1] FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table Input: VSOEM_s_VLgtVehCor Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh Parameter Output-axis: VMMP_LOCDC_p1_AMin Raw{
"ID": "16654287.0",
"ASIL": " QM",
"Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1356207.0",
"Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 221 | 22442274.0 | Functional | Released | yes | True | IF[1] LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd ELSE: LOCDC_s_LgtCtIF[1] LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd ELSE: LOCDC_s_LgtCtlV_ADmdLoV must be equal to VMMP_LOC_c_LimA_ADft Raw{
"ID": "22442274.0",
"ASIL": " QM",
"Text": "IF[1]\n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to VMMP_LOC_c_LimA_ADft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to VMMP_LOC_c_LimA_ADft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 222 | 36618905.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_LgtCtlV_DCtlLOCDC_s_LgtCtlV_DCtl Raw{
"ID": "36618905.0",
"ASIL": " ",
"Text": "LOCDC_s_LgtCtlV_DCtl",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_LgtCtlV_DCtl",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 223 | 36618906.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF[AND(1,2,3,4)] 1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true 2.) TVCOP_s_LgtCtlD_FlgAcv is true 3.) DRem is smaller than the sum ofIF[AND(1,2,3,4)] 1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true 2.) TVCOP_s_LgtCtlD_FlgAcv is true 3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table Input: VSOEM_s_VLgtVehCor Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh Parameter Output-Axis: VMMP_LOCDC_p1_AMin 4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01 THEN: FlgTrigLoV is true ELSE: FlgTrigLoV is false Threshold for Protected Division = 0.001 Raw{
"ID": "36618906.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 224 | 36618907.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[1] 1.) FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall beIF[1] 1.) FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false Raw{
"ID": "36618907.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 225 | 36618908.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[1] 1.) LgtCtlV_FlgAcvStopLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV must be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoIF[1] 1.) LgtCtlV_FlgAcvStopLoV is true THEN: LOCDC_s_LgtCtlV_FlgAcvStopLoV must be true ELSE: LOCDC_s_LgtCtlV_FlgAcvStopLoV must be false Raw{
"ID": "36618908.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 226 | 36618909.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[1] FlgTrigLoV is true THEN: IF [3] 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi THEN:IF[1] FlgTrigLoV is true THEN: IF [3] 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi THEN: LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi ELSE: LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1 ELSE: LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft Raw{
"ID": "36618909.0",
"ASIL": " QM",
"Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 227 | 36618911.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[1] FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table Input: VSOEM_s_VLgtVehCor ParamIF[1] FlgTrigLoV is true THEN: LOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table Input: VSOEM_s_VLgtVehCor Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh Parameter Output-axis: VMMP_LOCDC_p1_AMin Raw{
"ID": "36618911.0",
"ASIL": " QM",
"Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 228 | 36618912.0 | Functional | Released | yes | True | IF[1] 1)LgtCtlV_FlgAcvStopDCtl is true THEN: LOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd ELSE: LOCDC_s_LgtCtlV_AIF[1] 1)LgtCtlV_FlgAcvStopDCtl is true THEN: LOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd ELSE: LOCDC_s_LgtCtlV_ADmdDCtl must be equal to VMMP_LOC_c_LimA_ADft Raw{
"ID": "36618912.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1)LgtCtlV_FlgAcvStopDCtl is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to VMMP_LOC_c_LimA_ADft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1)LgtCtlV_FlgAcvStopDCtl is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to VMMP_LOC_c_LimA_ADft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 229 | 16654288.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_LgtCtlV_FlgCnclDrvOffLOCDC_s_LgtCtlV_FlgCnclDrvOff Raw{
"ID": "16654288.0",
"ASIL": " QM",
"Text": "LOCDC_s_LgtCtlV_FlgCnclDrvOff",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_LgtCtlV_FlgCnclDrvOff",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1510639.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 230 | 16654289.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF AND [1, 2, 3, OR (4, 5)] 1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. 2) TVCOP_s_LgtCtlD_FlgAcv is true. 3) LgtCtlD_DRemIF AND [1, 2, 3, OR (4, 5)] 1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. 2) TVCOP_s_LgtCtlD_FlgAcv is true. 3) LgtCtlD_DRem is smaller than or equal to MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) 4) the by one computation cycle delayed signal VSOEM_s_StSdsl is equal to VMMP_VSOEM_c_StSdslSdsl. 5) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_LgtCtlD_VThSdslCnclDrvOff. THEN: FlgCnclDrvOffSet is true. ELSE: FlgCnclDrvOffSet is false. Raw{
"ID": "16654289.0",
"ASIL": " QM",
"Text": "IF AND [1, 2, 3, OR (4, 5)]\n\r1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. \n\r2) TVCOP_s_LgtCtlD_FlgAcv is true. \n\r3) LgtCtlD_DRem is smaller than or equal to MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r4) the by one computation cycle delayed signal VSOEM_s_StSdsl is equal to VMMP_VSOEM_c_StSdslSdsl. \n\r5) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_LgtCtlD_VThSdslCnclDrvOff.\n\rTHEN:\n\rFlgCnclDrvOffSet is true.\n\rELSE:\n\rFlgCnclDrvOffSet is false.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1511285.0",
"Description": "IF AND [1, 2, 3, OR (4, 5)]\n\r1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. \n\r2) TVCOP_s_LgtCtlD_FlgAcv is true. \n\r3) LgtCtlD_DRem is smaller than or equal to MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r4) the by one computation cycle delayed signal VSOEM_s_StSdsl is equal to VMMP_VSOEM_c_StSdslSdsl. \n\r5) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_LgtCtlD_VThSdslCnclDrvOff.\n\rTHEN:\n\rFlgCnclDrvOffSet is true.\n\rELSE:\n\rFlgCnclDrvOffSet is false.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 231 | 16654290.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF OR [1, AND(2, 3), 4, 5] 1) TVCOP_s_LgtCtlD_FlgAcv is false. 2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMIF OR [1, AND(2, 3), 4, 5] 1) TVCOP_s_LgtCtlD_FlgAcv is false. 2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) 3) TVCOP_s_LgtCtlD_FlgUpd is true. 4) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true. 5) LgtCtlD_FlgChg is true. THEN: FlgCnclDrvOffRst is true. ELSE: FlgCnclDrvOffRst is false. Raw{
"ID": "16654290.0",
"ASIL": " QM",
"Text": "IF OR [1, AND(2, 3), 4, 5]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true. \n\r5) LgtCtlD_FlgChg is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1511287.0",
"Description": "IF OR [1, AND(2, 3), 4, 5]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true. \n\r5) LgtCtlD_FlgChg is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 232 | 36738075.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF OR [1, AND(2, 3), 4] 1) TVCOP_s_LgtCtlD_FlgAcv is false. 2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LIF OR [1, AND(2, 3), 4] 1) TVCOP_s_LgtCtlD_FlgAcv is false. 2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) 3) TVCOP_s_LgtCtlD_FlgUpd is true. 4) LgtCtlV_FlgAcvStopDCtl is true. THEN: FlgCnclDrvOffRst is true. ELSE: FlgCnclDrvOffRst is false. Raw{
"ID": "36738075.0",
"ASIL": " QM",
"Text": "IF OR [1, AND(2, 3), 4]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LgtCtlV_FlgAcvStopDCtl is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF OR [1, AND(2, 3), 4]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LgtCtlV_FlgAcvStopDCtl is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 233 | 16654291.0 | Functional | Released | yes | True | IF OR[AND(1,2), AND(2,3)] 1)FlgCnclDrvOffSet is true. 2)FlgCnclDrvOffRst is false. 3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true inIF OR[AND(1,2), AND(2,3)] 1)FlgCnclDrvOffSet is true. 2)FlgCnclDrvOffRst is false. 3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true in the previous computation cycle. THEN: LOCDC_s_LgtCtlV_FlgCnclDrvOff is true. ELSE: LOCDC_s_LgtCtlV_FlgCnclDrvOff is false. Raw{
"ID": "16654291.0",
"ASIL": " QM",
"Text": "IF OR[AND(1,2), AND(2,3)]\n\r1)FlgCnclDrvOffSet is true.\n\r2)FlgCnclDrvOffRst is false.\n\r3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true in the previous computation cycle.\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is true.\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is false.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1511313.0",
"Description": "IF OR[AND(1,2), AND(2,3)]\n\r1)FlgCnclDrvOffSet is true.\n\r2)FlgCnclDrvOffRst is false.\n\r3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true in the previous computation cycle.\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is true.\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is false.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 234 | 36590821.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCDC_s_LgtCtlV_AGrdMaxDecDCtlLOCDC_s_LgtCtlV_AGrdMaxDecDCtl Raw{
"ID": "36590821.0",
"ASIL": " ",
"Text": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl",
"Type": "Folder",
"Status": "",
"Summary": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": ""
} | |
| 235 | 55468010.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1]: 1)LgtCtlD_FlgUpd is true THEN: AGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)IF[1]: 1)LgtCtlD_FlgUpd is true THEN: AGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0) ELSE: AGrdMaxDecDyn is equal to ((LgtCtlD_ADmd - LgtCtlD_ADmdDly)*VMMP_c_FrqSmpl + VMMP_LOCDC_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDC_p_LgtCtlD_FacAGrdDecDyn Raw{
"ID": "55468010.0",
"ASIL": " QM",
"Text": "IF[1]:\n\r1)LgtCtlD_FlgUpd is true\n\rTHEN:\n\rAGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)\n\rELSE:\n\rAGrdMaxDecDyn is equal to ((LgtCtlD_ADmd - LgtCtlD_ADmdDly)*VMMP_c_FrqSmpl + VMMP_LOCDC_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDC_p_LgtCtlD_FacAGrdDecDyn",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]:\n\r1)LgtCtlD_FlgUpd is true\n\rTHEN:\n\rAGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)\n\rELSE:\n\rAGrdMaxDecDyn is equal to ((LgtCtlD_ADmd - LgtCtlD_ADmdDly)*VMMP_c_FrqSmpl + VMMP_LOCDC_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDC_p_LgtCtlD_FacAGrdDecDyn",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 236 | 36618910.0 | Functional | Released | yes | True | LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn) Raw{
"ID": "36618910.0",
"ASIL": " QM",
"Text": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 237 | 36590911.0 | Functional | Released | yes | True | LOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties Input: (x-axis) LgtCtlD_ADmdDly on VMLOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties Input: (x-axis) LgtCtlD_ADmdDly on VMMP_LOCDC_px_ADmdAGrdMaxDec Output: (y-axis) VMMP_LOCDC_p1_AGrdMaxDec Raw{
"ID": "36590911.0",
"ASIL": " QM",
"Text": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties\n\rInput: (x-axis) LgtCtlD_ADmdDly on VMMP_LOCDC_px_ADmdAGrdMaxDec\n\rOutput: (y-axis) VMMP_LOCDC_p1_AGrdMaxDec",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties\n\rInput: (x-axis) LgtCtlD_ADmdDly on VMMP_LOCDC_px_ADmdAGrdMaxDec\n\rOutput: (y-axis) VMMP_LOCDC_p1_AGrdMaxDec",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 238 | 22425561.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF[AND(OR(1,2),3] 1) DRem is smaller than or equal to DToStop 2) LOCDL_FlgAcvLimD was true in the previous computation cycle 3IF[AND(OR(1,2),3] 1) DRem is smaller than or equal to DToStop 2) LOCDL_FlgAcvLimD was true in the previous computation cycle 3) FlgReqAcv is true in den current computation cycle THEN: LOCDL_FlgAcvLimD is true ELSE: LOCDL_FlgAcvLimD is not true Raw{
"ID": "22425561.0",
"ASIL": " QM",
"Text": "IF[AND(OR(1,2),3] \n\r1) DRem is smaller than or equal to DToStop\n\r2) LOCDL_FlgAcvLimD was true in the previous computation cycle\n\r3) FlgReqAcv is true in den current computation cycle\n\rTHEN:\n\rLOCDL_FlgAcvLimD is true\n\rELSE:\n\rLOCDL_FlgAcvLimD is not true",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[AND(OR(1,2),3] \n\r1) DRem is smaller than or equal to DToStop\n\r2) LOCDL_FlgAcvLimD was true in the previous computation cycle\n\r3) FlgReqAcv is true in den current computation cycle\n\rTHEN:\n\rLOCDL_FlgAcvLimD is true\n\rELSE:\n\rLOCDL_FlgAcvLimD is not true",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |