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_LOCAA.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 102 | 16651828.0 | Functional | Released | yes | True | LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax.LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax. Raw{
"ID": "16651828.0",
"ASIL": " QM",
"Text": "LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1082108.0",
"Description": "LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 103 | 16651829.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StAcceLimLOCAA_s_StAcceLim Raw{
"ID": "16651829.0",
"ASIL": " ",
"Text": "LOCAA_s_StAcceLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StAcceLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214740.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 104 | 16651830.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the follSince in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top): 1. VMMP_LOC_c_StLim_ExtLim 2. VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651830.0",
"ASIL": " QM",
"Text": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313184.0",
"Description": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 105 | 16651831.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StAcceLimIntlLimLOCAA_s_StAcceLimIntlLim Raw{
"ID": "16651831.0",
"ASIL": " ",
"Text": "LOCAA_s_StAcceLimIntlLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StAcceLimIntlLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313180.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 106 | 16651832.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is validIF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is valid Raw{
"ID": "16651832.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313182.0",
"Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 107 | 16651833.0 | Functional | Released | yes | True | IF[OR(1,2,3,4,5)] 1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) ARBLGCSC_s_LgtCtlA_APredTar is greater thanIF[OR(1,2,3,4,5)] 1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax 3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax 4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax 5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651833.0",
"ASIL": " QM",
"Text": "IF[OR(1,2,3,4,5)]\n\r1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax \n\r4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax \n\r5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1313186.0",
"Description": "IF[OR(1,2,3,4,5)]\n\r1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax \n\r4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax \n\r5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 108 | 16651834.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StAcceLimExtLimLOCAA_s_StAcceLimExtLim Raw{
"ID": "16651834.0",
"ASIL": " ",
"Text": "LOCAA_s_StAcceLimExtLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StAcceLimExtLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313178.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 109 | 16651835.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest 2.) LOCDL_s_LgtLimA_FlgAcv is true 3.) VMMP_LOCAIF[AND(1,2,3)] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest 2.) LOCDL_s_LgtLimA_FlgAcv is true 3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: this chapter LOCAA_s_StAcceLimExtLim is valid Raw{
"ID": "16651835.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) LOCDL_s_LgtLimA_FlgAcv is true\n\r3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214744.0",
"Description": "IF[AND(1,2,3)]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) LOCDL_s_LgtLimA_FlgAcv is true\n\r3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 110 | 16651836.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd *StDeceCritMax = ARBLLCSC_s_LgtCtlIF[1] 1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651836.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214728.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 111 | 16651837.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar *StDeceCritMax = ARBLLIF[1] 1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *ADmd = LOCDL_s_LgtLimA_APredTar *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651837.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214752.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 112 | 16651838.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor (with *ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor *StDeceCritMax =IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor (with *ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651838.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor \n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214754.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor \n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 113 | 16651839.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor (with *ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor *StDeceCritMax =IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor (with *ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651839.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with *ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214756.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with *ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 114 | 16651840.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor (with *ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor *StDeceCritMax =IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor (with *ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor (with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651840.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214758.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 115 | 16651841.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StDeceLimLOCAA_s_StDeceLim Raw{
"ID": "16651841.0",
"ASIL": " ",
"Text": "LOCAA_s_StDeceLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StDeceLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214774.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 116 | 16651843.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[(1)] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceIF[(1)] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceLim is valid Raw{
"ID": "16651843.0",
"ASIL": " QM",
"Text": "IF[(1)]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214776.0",
"Description": "IF[(1)]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 117 | 16651844.0 | Functional | Released | yes | True | IF[1] 1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with *ADmd = ARBLLCSC_s_LgtCtlA_IF[1] 1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651844.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214778.0",
"Description": "IF[1] \n\r1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 118 | 16651845.0 | Functional | Released | yes | True | IF[1] 1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with *APredTar = ARBLGCSIF[1] 1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651845.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214780.0",
"Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 119 | 16651846.0 | Functional | Released | yes | True | IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar (with *ATlrHiTar = ARBLIF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar (with *ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651846.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r(with *ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214782.0",
"Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r(with *ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 120 | 16651847.0 | Functional | Released | yes | True | IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn (with *ATlHiDyn = ARBLGIF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn (with *ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651847.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r(with *ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214784.0",
"Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r(with *ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 121 | 16651848.0 | Functional | Released | yes | True | IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar (with *ATlrLoTar = ARBLIF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar (with *ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651848.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214786.0",
"Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 122 | 16651849.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd iIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651849.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245683.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 123 | 16651850.0 | Functional | Released | yes | True | IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn (with *ADmd = LOCDL_IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn (with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor (with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 3.) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651850.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r3.) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245685.0",
"Description": "IF[AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r3.) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 124 | 16651851.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredTIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *ADmd = LOCDL_s_LgtLimA_APredTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *ADmd = LOCDL_s_LgtLimA_APredTar, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with *ADmd = ARBLGCSC_s_LgtCtlA_APredTar, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651851.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *ADmd = ARBLGCSC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245700.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *ADmd = ARBLGCSC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 125 | 16651852.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar (with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor (with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651852.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245696.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 126 | 16651853.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLoIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with *ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) MIN( ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), MAX( ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *APredTar= LOCDL_s_LgtLimA_APredTar *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax))) is smaller than MIN( ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar (with *ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), MAX( the ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar, *StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) ) ) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651853.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) MIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *APredTar= LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rthe ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\r the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r)\n\r)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245698.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) MIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *APredTar= LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rthe ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\r the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r)\n\r)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 127 | 16651854.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LgtCtlA - LOCVCLgtCtlA - LOCVC Raw{
"ID": "16651854.0",
"ASIL": " ",
"Text": "LgtCtlA - LOCVC",
"Type": "Folder",
"Status": "",
"Summary": "LgtCtlA - LOCVC",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1104345.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 128 | 16651855.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(OR(AND(1,2), AND(3,4)), 5)]: 1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV 2)IF [AND(OR(AND(1,2), AND(3,4)), 5)]: 1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV 2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On' 3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On' 5) LOCVC_s_LgtCtlA_FlgAcv is true THEN: This chapter LgtCltA-LOCVC is valid Raw{
"ID": "16651855.0",
"ASIL": " QM",
"Text": "IF [AND(OR(AND(1,2), AND(3,4)), 5)]: \n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV\n\r2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On'\n\r3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On'\n\r5) LOCVC_s_LgtCtlA_FlgAcv is true\n\rTHEN: \n\rThis chapter LgtCltA-LOCVC is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1213062.0",
"Description": "IF [AND(OR(AND(1,2), AND(3,4)), 5)]: \n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV\n\r2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On'\n\r3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On'\n\r5) LOCVC_s_LgtCtlA_FlgAcv is true\n\rTHEN: \n\rThis chapter LgtCltA-LOCVC is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 129 | 16651856.0 | Functional | Released | yes | True | LOCAA_s_LgtCtlA_FlgAcv shall be true.LOCAA_s_LgtCtlA_FlgAcv shall be true. Raw{
"ID": "16651856.0",
"ASIL": " QM",
"Text": "LOCAA_s_LgtCtlA_FlgAcv shall be true.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104356.0",
"Description": "LOCAA_s_LgtCtlA_FlgAcv shall be true.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 130 | 16651857.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ADmdIF [AND(1,2)]
1.) LOCDL_s_LgtLimA_FlgAcv is true
2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true
THEN:
LOCAA_s_LgtCtlA_ADmd shall be the minimum of
{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd
(with *ADmd = LOCVC_s_LgtCtlA_ADmd
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }
and ASIL-limited signal LOCDL_s_LgtLimA_ADmd
(with *ADmd = LOCDL_s_LgtLimA_ADmd
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
ELSE:
LOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd
(with *ADmd = LOCVC_s_LgtCtlA_ADmd
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)Raw{
"ID": "16651857.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104366.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 131 | 16651858.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_APredIF [AND(1,2)]
1.) LOCDL_s_LgtLimA_FlgAcv is true
2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true
THEN:
LOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of
{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar
(with *APredTar = LOCVC_s_LgtCtlA_APredTar,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }
and ASIL-limited signal LOCDL_s_LgtLimA_APredTar
(with *ADmd = LOCDL_s_LgtLimA_APredTar
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
ELSE:
LOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar
(with *APredTar = LOCVC_s_LgtCtlA_APredTar,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)Raw{
"ID": "16651858.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104368.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 132 | 16651859.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrHIF [AND(1,2)]
1.) LOCDL_s_LgtLimA_FlgAcv is true
2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true
THEN:
LOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the
the minimum of
{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor
(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }
and ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor
(with *ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor ,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
ELSE:
LOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and
the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor
(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)Raw{
"ID": "16651859.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the\n\rthe minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with *ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor ,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and\n\rthe minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104362.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the\n\rthe minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with *ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor ,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and\n\rthe minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 133 | 16651860.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrHIF [AND(1,2)]
1.) LOCDL_s_LgtLimA_FlgAcv is true
2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true
THEN:
LOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of
{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor
(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor,
StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) }
and ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor
(with *ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor
StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle)
ELSE:
LOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor
(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor ,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)Raw{
"ID": "16651860.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor, \n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor ,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104363.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor, \n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor ,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 134 | 16651861.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrLIF [AND(1,2)]
1.) LOCDL_s_LgtLimA_FlgAcv is true
2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true
THEN:
LOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of
{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor
(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }
and ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor
(with *ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
ELSE:
LOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor
(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,
*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)Raw{
"ID": "16651861.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104364.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 135 | 16651862.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdMIF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry. ELSE: LOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry Raw{
"ID": "16651862.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry.\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104370.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry.\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 136 | 16651863.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdMIF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry ELSE: LOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry Raw{
"ID": "16651863.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104361.0",
"Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 137 | 16651864.0 | Functional | Released | yes | True | IF [AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASIL-limited signal LOCIF [AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASOPOT_s_ATqDmd THEN: LOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities: higest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct VMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct lowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm ELSE: LOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn. Raw{
"ID": "16651864.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASOPOT_s_ATqDmd\n\rTHEN: \n\rLOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities:\n\rhigest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct\n\rVMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct\n\rlowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm\n\rELSE:\n\rLOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104367.0",
"Description": "IF [AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASOPOT_s_ATqDmd\n\rTHEN: \n\rLOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities:\n\rhigest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct\n\rVMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct\n\rlowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm\n\rELSE:\n\rLOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 138 | 16651865.0 | Functional | Released | yes | True | LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly.LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly. Raw{
"ID": "16651865.0",
"ASIL": " QM",
"Text": "LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104365.0",
"Description": "LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 139 | 16651866.0 | Functional | Released | yes | True | LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax.LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax. Raw{
"ID": "16651866.0",
"ASIL": " QM",
"Text": "LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1104369.0",
"Description": "LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 140 | 16651867.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StAcceLimLOCAA_s_StAcceLim Raw{
"ID": "16651867.0",
"ASIL": " ",
"Text": "LOCAA_s_StAcceLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StAcceLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214763.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 141 | 16651868.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the follSince in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top): 1. VMMP_LOC_c_StLim_ExtLim 2. VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651868.0",
"ASIL": " QM",
"Text": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313194.0",
"Description": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 142 | 16651869.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StAcceLimIntnlLimLOCAA_s_StAcceLimIntnlLim Raw{
"ID": "16651869.0",
"ASIL": " ",
"Text": "LOCAA_s_StAcceLimIntnlLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StAcceLimIntnlLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313190.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 143 | 16651870.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is validIF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is valid Raw{
"ID": "16651870.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313196.0",
"Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 144 | 16651871.0 | Functional | Released | yes | True | IF[OR(1,2,3,4,5)] 1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEMIF[OR(1,2,3,4,5)] 1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax 3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax 4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax 5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651871.0",
"ASIL": " QM",
"Text": "IF[OR(1,2,3,4,5)]\n\r1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax \n\r4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax \n\r5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1313198.0",
"Description": "IF[OR(1,2,3,4,5)]\n\r1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax \n\r4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax \n\r5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 145 | 16651872.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StAcceLimExtLimLOCAA_s_StAcceLimExtLim Raw{
"ID": "16651872.0",
"ASIL": " ",
"Text": "LOCAA_s_StAcceLimExtLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StAcceLimExtLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1313192.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 146 | 16651873.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASOTA_s_IdxTqCordDmd is eIF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimExtLim is valid Raw{
"ID": "16651873.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214762.0",
"Description": "IF[AND(1,2,3)]\n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 147 | 16651874.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCrIF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651874.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214760.0",
"Description": "IF[1]\n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 148 | 16651875.0 | Functional | Released | yes | True | IF[1] 1.) The minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_IF[1] 1.) The minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] is greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651875.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) The minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\ris greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1509632.0",
"Description": "IF[1] \n\r1.) The minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\ris greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 149 | 16651877.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with *APredTar = LOCVC_s_LgtCtlA_APredTar *StDeceCritMax = LOCVC_s_LgtIF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with *APredTar = LOCVC_s_LgtCtlA_APredTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *ADmd = LOCDL_s_LgtLimA_APredTar *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651877.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214764.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 150 | 16651878.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor *StDeceCritMax = LOCVC_IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with *ADmd = LOCDL_LgtLimA_ATlrHiTar *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651878.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214765.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 151 | 16651879.0 | Functional | Released | yes | True | IF[1] 1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor *StDecIF[1] 1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax is greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651879.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor \n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\ris greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214766.0",
"Description": "IF[1] \n\r1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor \n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\ris greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 152 | 16651880.0 | Functional | Released | yes | True | IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor (with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor *StDeceCritMax = LOCVC_IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor (with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor (with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor *StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw{
"ID": "16651880.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214767.0",
"Description": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\r*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 153 | 16651881.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_StDeceLimLOCAA_s_StDeceLim Raw{
"ID": "16651881.0",
"ASIL": " ",
"Text": "LOCAA_s_StDeceLim",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_StDeceLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214809.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 154 | 16651882.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceLiIF[1] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceLim is valid Raw{
"ID": "16651882.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214808.0",
"Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 155 | 16651883.0 | Functional | Released | yes | True | IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StIF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651883.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214810.0",
"Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 156 | 16651884.0 | Functional | Released | yes | True | IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651884.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1509634.0",
"Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 157 | 16651885.0 | Functional | Released | yes | True | IF[1] 1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with *APredTar = LOCVC_s_LgtCtIF[1] 1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with *APredTar = LOCVC_s_LgtCtlA_APredTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651885.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214811.0",
"Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 158 | 16651886.0 | Functional | Released | yes | True | IF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar (with *ATlrHiTar = LOCVC_s_LgIF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar (with *ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651886.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar\n\r(with *ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214812.0",
"Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar\n\r(with *ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 159 | 16651887.0 | Functional | Released | yes | True | IF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn (with *ATlrHiDyn = LOCVC_s_LgIF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn (with *ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651887.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn\n\r(with *ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214813.0",
"Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn\n\r(with *ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 160 | 16651888.0 | Functional | Released | yes | True | IF[1] 1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar (with *ATlrLoTar = LOCVC_s_LgIF[1] 1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar (with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651888.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214814.0",
"Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 161 | 16651889.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd iIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651889.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245703.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 162 | 16651890.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd iIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than the minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651890.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1509636.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 163 | 16651891.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn (with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with *ADmd = LOCVC_LgtCtlA_ATlrHiDynCor, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651891.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor\n\r(with *ADmd = LOCVC_LgtCtlA_ATlrHiDynCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245705.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor\n\r(with *ADmd = LOCVC_LgtCtlA_ATlrHiDynCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 164 | 16651892.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredTIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *ADmd = LOCDL_s_LgtLimA_APredTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *ADmd = LOCDL_s_LgtLimA_APredTar, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with *ADmd = LOCVC_s_LgtCtlA_APredTar, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651892.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *ADmd = LOCVC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245711.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *ADmd = LOCDL_s_LgtLimA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *ADmd = LOCVC_s_LgtCtlA_APredTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 165 | 16651893.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar (with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with *ADmd = LOCVC_LgtCtlA_ATlrHiTarCor, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651893.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ADmd = LOCVC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245707.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with *ADmd = LOCVC_LgtCtlA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 166 | 16651894.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLoIF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) MIN( ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar, *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), MAX( ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with *ADmd = LOCDL_s_LgtLimA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with *APredTar = LOCDL_s_LgtLimA_APredTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax))) is smaller than MIN( ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar (with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), MAX( ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with *ADmd = LOCVC_s_LgtCtlA_ADmd *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with *APredTar = LOCVC_s_LgtCtlA_APredTar *StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax))) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw{
"ID": "16651894.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.)\n\rMIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *APredTar = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1245709.0",
"Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.)\n\rMIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with *ADmd = LOCDL_s_LgtLimA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with *APredTar = LOCDL_s_LgtLimA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with *ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with *APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 167 | 16651895.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAA_s_LgtCtlA_FlgStDeceCritMaxChgLOCAA_s_LgtCtlA_FlgStDeceCritMaxChg Raw{
"ID": "16651895.0",
"ASIL": " ",
"Text": "LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg",
"Type": "Folder",
"Status": "",
"Summary": "LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1318346.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 168 | 16651896.0 | Functional | Released | yes | True | IF [1] 1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases THEN: the output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shaIF [1] 1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases THEN: the output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep. ELSE: LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false Raw{
"ID": "16651896.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases\n\rTHEN:\n\rthe output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep.\n\rELSE:\n\rLOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1318348.0",
"Description": "IF [1]\n\r1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases\n\rTHEN:\n\rthe output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep.\n\rELSE:\n\rLOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 169 | 16651897.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LgtLimLgtLim Raw{
"ID": "16651897.0",
"ASIL": " ",
"Text": "LgtLim",
"Type": "Folder",
"Status": "",
"Summary": "LgtLim",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287311.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 170 | 16651898.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))] 1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with *IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))] 1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, *StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero) 2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA 3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true 4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true 5.) the integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign This integral is reset by a conversion of VSOEM_s_VLgtVehCor. 6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true 7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, *StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero) 8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero) 9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true 10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before) 11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0) THEN: FlgRollBkCtlArb is true ELSE: FlgRollBkCtlArb is false Once FlgRollBkCtlArb is true, it remains true till (memory function): IF[OR(AND(1,2,NAND(3,4,5,OR(6,7))),8,AND(9,10))] 1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0) 2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true 3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, *StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero) 4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero) 5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true 6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before) 7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle 8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false 9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true 10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff This integral is reset by a conversion of VSOEM_s_VLgtVehCor note: The absolute value of the integral of VSOEM_s_VLgtVehCor is limited within |VMMP_LOCAA_p_LimIntDMinMax|. Raw{
"ID": "16651898.0",
"ASIL": " QM",
"Text": "IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))]\n\r1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero)\n\r2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA\n\r3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true\n\r4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r5.) the integral of VSOEM_s_VLgtVehCor\n\r(numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor.\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r \n\r7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\rTHEN: \n\rFlgRollBkCtlArb is true\n\rELSE: \n\rFlgRollBkCtlArb is false\n\r \n\r \n\rOnce FlgRollBkCtlArb is true, it remains true till (memory function):\n\rIF[OR(AND(1,2,NAND(3,4,5,OR(6,7))),8,AND(9,10))]\n\r1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\r2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true\n\r \n\r3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle\n\r \n\r8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r \n\r9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero)\n\ris greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor\n\r \n\rnote:\n\rThe absolute value of the integral of VSOEM_s_VLgtVehCor is limited within |VMMP_LOCAA_p_LimIntDMinMax|.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287314.0",
"Description": "IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))]\n\r1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero)\n\r2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA\n\r3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true\n\r4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r5.) the integral of VSOEM_s_VLgtVehCor\n\r(numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor.\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r \n\r7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\rTHEN: \n\rFlgRollBkCtlArb is true\n\rELSE: \n\rFlgRollBkCtlArb is false\n\r \n\r \n\rOnce FlgRollBkCtlArb is true, it remains true till (memory function):\n\rIF[OR(AND(1,2,NAND(3,4,5,OR(6,7))),8,AND(9,10))]\n\r1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\r2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true\n\r \n\r3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle\n\r \n\r8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r \n\r9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero)\n\ris greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor\n\r \n\rnote:\n\rThe absolute value of the integral of VSOEM_s_VLgtVehCor is limited within |VMMP_LOCAA_p_LimIntDMinMax|.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 171 | 16651899.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LgtLimALgtLimA Raw{
"ID": "16651899.0",
"ASIL": " ",
"Text": "LgtLimA",
"Type": "Folder",
"Status": "",
"Summary": "LgtLimA",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1104349.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 172 | 16651900.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB).This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB). Raw{
"ID": "16651900.0",
"ASIL": " ",
"Text": "This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB).",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215412.0",
"Description": "This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 173 | 16651901.0 | Functional | Released | yes | True | All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter LOCAA_s_LgtLimA_FlAll output signals of LgtLimA-set shall show their default values, if not required differently in this chapter LOCAA_s_LgtLimA_FlgAcv shall be false LOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft LOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft LOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm LOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM Raw{
"ID": "16651901.0",
"ASIL": " QM",
"Text": "All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter\n\rLOCAA_s_LgtLimA_FlgAcv shall be false\n\rLOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft\n\rLOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft\n\rLOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm\n\rLOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1213111.0",
"Description": "All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter\n\rLOCAA_s_LgtLimA_FlgAcv shall be false\n\rLOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft\n\rLOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft\n\rLOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm\n\rLOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 174 | 16651902.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Lim_arbitrationLim_arbitration Raw{
"ID": "16651902.0",
"ASIL": " ",
"Text": "Lim_arbitration",
"Type": "Folder",
"Status": "",
"Summary": "Lim_arbitration",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1213145.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 175 | 16651903.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) basIn order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point. The hypothetical operation points will be calculated out of - Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before) - gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn) The information which cluster is chosen, is indicated in the variable Lim_arbitration. Raw{
"ID": "16651903.0",
"ASIL": " ",
"Text": "In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point.\n\rThe hypothetical operation points will be calculated out of\n\r- Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before)\n\r- gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn)\n\rThe information which cluster is chosen, is indicated in the variable Lim_arbitration.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1213154.0",
"Description": "In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point.\n\rThe hypothetical operation points will be calculated out of\n\r- Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before)\n\r- gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn)\n\rThe information which cluster is chosen, is indicated in the variable Lim_arbitration.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 176 | 16651904.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1] 1.) VMMP_p_SwtSelAGrdRefLgtLim is true THEN: LgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LIF [1] 1.) VMMP_p_SwtSelAGrdRefLgtLim is true THEN: LgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd (Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd))) ELSE: LgtLimA_ARef is ASOPOT_s_ATqDmd important hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd Raw{
"ID": "16651904.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1.) VMMP_p_SwtSelAGrdRefLgtLim is true\n\rTHEN: \n\rLgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd \n\r(Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd)))\n\rELSE:\n\rLgtLimA_ARef is ASOPOT_s_ATqDmd\n\r \n\rimportant hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1349729.0",
"Description": "IF [1]\n\r1.) VMMP_p_SwtSelAGrdRefLgtLim is true\n\rTHEN: \n\rLgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd \n\r(Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd)))\n\rELSE:\n\rLgtLimA_ARef is ASOPOT_s_ATqDmd\n\r \n\rimportant hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 177 | 16651905.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true THEN: *ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg ELSE: *ATarMdTaIF[1] 1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true THEN: *ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg ELSE: *ATarMdTarDynLim is ASOPOT_s_ANeutTh Raw{
"ID": "16651905.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true \n\rTHEN: \n\r*ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg \n\rELSE: \n\r*ATarMdTarDynLim is ASOPOT_s_ANeutTh",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1249184.0",
"Description": "IF[1] \n\r1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true \n\rTHEN: \n\r*ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg \n\rELSE: \n\r*ATarMdTarDynLim is ASOPOT_s_ANeutTh",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 178 | 16651906.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | next_workstep of ARBnext_workstep of ARB Raw{
"ID": "16651906.0",
"ASIL": " ",
"Text": "next_workstep of ARB",
"Type": "Folder",
"Status": "",
"Summary": "next_workstep of ARB",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215285.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 179 | 16651908.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2,3)] 1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true 2.) FlgRollBkCtlArb is false 3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is trueIF [AND(1,2,3)] 1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true 2.) FlgRollBkCtlArb is false 3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true THEN: this chapter next_workstep of ARB is valid ELSE: next_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB) Raw{
"ID": "16651908.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,3)]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN:\n\rthis chapter next_workstep of ARB is valid\n\rELSE:\n\rnext_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215287.0",
"Description": "IF [AND(1,2,3)]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN:\n\rthis chapter next_workstep of ARB is valid\n\rELSE:\n\rnext_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 180 | 16651909.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor (with *ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor , *StDeceCritMademand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor (with *ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor , *StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), MAX(ASOPOT_s_APotRgn , ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, *StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) ) ) Raw{
"ID": "16651909.0",
"ASIL": " QM",
"Text": "demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor \n\r(with *ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor\n\r, \n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd \n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, \n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) \n\r) \n\r)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1224360.0",
"Description": "demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor \n\r(with *ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor\n\r, \n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd \n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, \n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) \n\r) \n\r)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 181 | 16651910.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | positive gradientpositive gradient Raw{
"ID": "16651910.0",
"ASIL": " ",
"Text": "positive gradient",
"Type": "Folder",
"Status": "",
"Summary": "positive gradient",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215319.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 182 | 16651911.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positiv gradient is validIF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positiv gradient is valid Raw{
"ID": "16651911.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positiv gradient is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214904.0",
"Description": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positiv gradient is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 183 | 16651912.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated) initial value (for first startup): Lim_arbitratIF[1] 1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated) initial value (for first startup): Lim_arbitration was not ARB in the last cycle THEN: starting_point is LgtLimA_ARef ELSE: starting_point is demand Raw{
"ID": "16651912.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not ARB in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215296.0",
"Description": "IF[1]\n\r1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not ARB in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 184 | 16651913.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl)) Raw{
"ID": "16651913.0",
"ASIL": " QM",
"Text": "next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215322.0",
"Description": "next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 185 | 16651914.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | gradientgradient Raw{
"ID": "16651914.0",
"ASIL": " ",
"Text": "gradient",
"Type": "Folder",
"Status": "",
"Summary": "gradient",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1224366.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 186 | 16651915.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chagradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter Raw{
"ID": "16651915.0",
"ASIL": " QM",
"Text": "gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215329.0",
"Description": "gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 187 | 16651916.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLIF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy Raw{
"ID": "16651916.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215299.0",
"Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 188 | 16651917.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLIF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft Raw{
"ID": "16651917.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215326.0",
"Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 189 | 16651918.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | negative gradientnegative gradient Raw{
"ID": "16651918.0",
"ASIL": " ",
"Text": "negative gradient",
"Type": "Folder",
"Status": "",
"Summary": "negative gradient",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215332.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 190 | 16651919.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) demand is less than LgtLimA_ARef THEN: This chapter negative gradient is validIF[1] 1.) demand is less than LgtLimA_ARef THEN: This chapter negative gradient is valid Raw{
"ID": "16651919.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) demand is less than LgtLimA_ARef\n\rTHEN: \n\rThis chapter negative gradient is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215334.0",
"Description": "IF[1]\n\r1.) demand is less than LgtLimA_ARef\n\rTHEN: \n\rThis chapter negative gradient is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 191 | 16651920.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | gradientgradient Raw{
"ID": "16651920.0",
"ASIL": " ",
"Text": "gradient",
"Type": "Folder",
"Status": "",
"Summary": "gradient",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1224368.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 192 | 16651921.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | gradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required dgradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter Raw{
"ID": "16651921.0",
"ASIL": " QM",
"Text": "gradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215346.0",
"Description": "gradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 193 | 16651922.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLIF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy Raw{
"ID": "16651922.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215342.0",
"Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 194 | 16651923.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLIF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft Raw{
"ID": "16651923.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215344.0",
"Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 195 | 16651924.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl)) Raw{
"ID": "16651924.0",
"ASIL": " QM",
"Text": "next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215336.0",
"Description": "next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 196 | 16651925.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | next_workstep of LOCVLnext_workstep of LOCVL Raw{
"ID": "16651925.0",
"ASIL": " ",
"Text": "next_workstep of LOCVL",
"Type": "Folder",
"Status": "",
"Summary": "next_workstep of LOCVL",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215380.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 197 | 16651926.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2)] 1.) LOCVL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true THEN: this chaptor next_workstepIF [AND(1,2)] 1.) LOCVL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true THEN: this chaptor next_workstep of LOCVL is valid ELSE: next_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL) Raw{
"ID": "16651926.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rthis chaptor next_workstep of LOCVL is valid\n\rELSE:\n\rnext_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215379.0",
"Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rthis chaptor next_workstep of LOCVL is valid\n\rELSE:\n\rnext_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 198 | 16651927.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor (with *ADmd = LOCVL_LgtLimA_ATlrHiDynCor , *StDeceCritMax = LOCVLdemand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor (with *ADmd = LOCVL_LgtLimA_ATlrHiDynCor , *StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), MAX(ASOPOT_s_APotRgn , ASIL-limited signal LOCVL_LgtLimA_ADmdCor (with *ADmd = LOCVL_LgtLimA_ADmdCor, *StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) ) ) Raw{
"ID": "16651927.0",
"ASIL": " QM",
"Text": "demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCVL_LgtLimA_ATlrHiDynCor\n\r, \n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal LOCVL_LgtLimA_ADmdCor \n\r(with *ADmd = LOCVL_LgtLimA_ADmdCor, \n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) \n\r) \n\r)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1224370.0",
"Description": "demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor\n\r(with *ADmd = LOCVL_LgtLimA_ATlrHiDynCor\n\r, \n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal LOCVL_LgtLimA_ADmdCor \n\r(with *ADmd = LOCVL_LgtLimA_ADmdCor, \n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) \n\r) \n\r)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 199 | 16651928.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | positive gradientpositive gradient Raw{
"ID": "16651928.0",
"ASIL": " ",
"Text": "positive gradient",
"Type": "Folder",
"Status": "",
"Summary": "positive gradient",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215382.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 200 | 16651929.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positive gradient is validIF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positive gradient is valid Raw{
"ID": "16651929.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positive gradient is valid",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215387.0",
"Description": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positive gradient is valid",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 201 | 16651930.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated) initial value (for first startup): Lim_arbiIF[1] 1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated) initial value (for first startup): Lim_arbitration was not LOCVL in the last cycle THEN: starting_point is LgtLimA_ARef ELSE: starting_point is demand Raw{
"ID": "16651930.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not LOCVL in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215389.0",
"Description": "IF[1]\n\r1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not LOCVL in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |