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_LOCDL.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 102 | 16654888.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Since there is no existing signal for the traveled vehicle distance, DTot is used to check the traveled distance since the first rSince there is no existing signal for the traveled vehicle distance, DTot is used to check the traveled distance since the first receiving of the latest target distance LgtLimA_DTar. Raw{
"ID": "16654888.0",
"ASIL": " ",
"Text": "Since there is no existing signal for the traveled vehicle distance, DTot is used to check the traveled distance since the first receiving of the latest target distance LgtLimA_DTar.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217882.0",
"Description": "Since there is no existing signal for the traveled vehicle distance, DTot is used to check the traveled distance since the first receiving of the latest target distance LgtLimA_DTar.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 103 | 16654889.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_ADmd is calculated iIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_ADmd is calculated in a way that DTot, which is the second integral of the acceleration, shall converge to LgtLimA_DTar with a tolerance of +0.02 m and -0.1 m Please consider properties of Input-signals, see chapter Raw{
"ID": "16654889.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd is calculated in a way that DTot, which is the second integral of the acceleration, shall converge to LgtLimA_DTar with a tolerance of +0.02 m and -0.1 m\n\r \n\rPlease consider properties of Input-signals, see chapter No InterWiki reference defined in properties for 'mks'",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214834.0",
"Description": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd is calculated in a way that DTot, which is the second integral of the acceleration, shall converge to LgtLimA_DTar with a tolerance of +0.02 m and -0.1 m\n\r \n\rPlease consider properties of Input-signals, see chapter No InterWiki reference defined in properties for 'mks'",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 104 | 16654890.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Hint to req. : The acceleration demand LOCDL_s_LgtLimA_ADmd of the vehicle shall be formed that way, that car decelerates in thiHint to req. : The acceleration demand LOCDL_s_LgtLimA_ADmd of the vehicle shall be formed that way, that car decelerates in this way, that it comes to an stop an the target distance LgtLimA_DTar with a tolerance of +0.02 m and -0,1m Raw{
"ID": "16654890.0",
"ASIL": " ",
"Text": "Hint to req. No InterWiki reference defined in properties for 'mks': \n\rThe acceleration demand LOCDL_s_LgtLimA_ADmd of the vehicle shall be formed that way, that car decelerates in this way, that it comes to an stop an the target distance LgtLimA_DTar with a tolerance of +0.02 m and -0,1m",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1355438.0",
"Description": "Hint to req. No InterWiki reference defined in properties for 'mks': \n\rThe acceleration demand LOCDL_s_LgtLimA_ADmd of the vehicle shall be formed that way, that car decelerates in this way, that it comes to an stop an the target distance LgtLimA_DTar with a tolerance of +0.02 m and -0,1m",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 105 | 16654891.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_ADmd shall be equalIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_ADmd shall be equal to MAX(-15, MIN(VMMP_LOC_c_ASatMax,VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)))) Raw{
"ID": "16654891.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to MAX(-15, MIN(VMMP_LOC_c_ASatMax,VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp))))",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1361128.0",
"Description": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to MAX(-15, MIN(VMMP_LOC_c_ASatMax,VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp))))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 106 | 16654893.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be the minIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV an a value calculated in a way that DTot, which is the second integral of the acceleration, shall converge to LgtLimA_DTar with a tolerance of +0.02 m. Please consider properties of Input-signals, see chapter Raw{
"ID": "16654893.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV an a value calculated in a way that DTot, which is the second integral of the acceleration, shall converge to LgtLimA_DTar with a tolerance of +0.02 m.\n\r \n\rPlease consider properties of Input-signals, see chapter No InterWiki reference defined in properties for 'mks'",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1355432.0",
"Description": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV an a value calculated in a way that DTot, which is the second integral of the acceleration, shall converge to LgtLimA_DTar with a tolerance of +0.02 m.\n\r \n\rPlease consider properties of Input-signals, see chapter No InterWiki reference defined in properties for 'mks'",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 107 | 16654894.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Hint to : The acceleration demand LOCDL_s_LgtLimA_ADmd shall be LOCDC_s_LgtCtlV_ADmdLoV or more negativ, if it is nessessary toHint to : The acceleration demand LOCDL_s_LgtLimA_ADmd shall be LOCDC_s_LgtCtlV_ADmdLoV or more negativ, if it is nessessary to stop the car at the target distance LgtLimA_DTar with a tolerance of +0.02 m. Raw{
"ID": "16654894.0",
"ASIL": " ",
"Text": "Hint to No InterWiki reference defined in properties for 'mks': \n\rThe acceleration demand LOCDL_s_LgtLimA_ADmd shall be LOCDC_s_LgtCtlV_ADmdLoV or more negativ, if it is nessessary to stop the car at the target distance LgtLimA_DTar with a tolerance of +0.02 m.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1355441.0",
"Description": "Hint to No InterWiki reference defined in properties for 'mks': \n\rThe acceleration demand LOCDL_s_LgtLimA_ADmd shall be LOCDC_s_LgtCtlV_ADmdLoV or more negativ, if it is nessessary to stop the car at the target distance LgtLimA_DTar with a tolerance of +0.02 m.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 108 | 20129658.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[OR(AND(1,2,3),AND(3,4))] 1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle 2) FlgUpdLimD is trueIF[OR(AND(1,2,3),AND(3,4))] 1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle 2) FlgUpdLimD is true 3) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz 4) LgtLimA_FlgAMin from the previous computation cycle was true THEN: LgtLimA_FlgAMin is true ELSE: LgtLimA_FlgAMin is false Raw{
"ID": "20129658.0",
"ASIL": " QM",
"Text": "IF[OR(AND(1,2,3),AND(3,4))]\n\r1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle\n\r2) FlgUpdLimD is true\n\r3) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r4) LgtLimA_FlgAMin from the previous computation cycle was true\n\r \n\rTHEN:\n\rLgtLimA_FlgAMin is true\n\r \n\rELSE:\n\rLgtLimA_FlgAMin is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[OR(AND(1,2,3),AND(3,4))]\n\r1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle\n\r2) FlgUpdLimD is true\n\r3) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r4) LgtLimA_FlgAMin from the previous computation cycle was true\n\r \n\rTHEN:\n\rLgtLimA_FlgAMin is true\n\r \n\rELSE:\n\rLgtLimA_FlgAMin is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 109 | 21459843.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz THEN: LgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the prIF[1] 1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz THEN: LgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0. ELSE: LgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)) Raw{
"ID": "21459843.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r \n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0.\n\r \n\r \n\rELSE:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp))",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r \n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0.\n\r \n\r \n\rELSE:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 110 | 20129715.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1] 1) LgtLimA_FlgAMin is true THEN: LgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin ELSEIF[1] 1) (DRem - DCmp) isIF [1] 1) LgtLimA_FlgAMin is true THEN: LgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin ELSEIF[1] 1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz THEN: LgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0 ESLEIF [OR(1,2)] 1) LOCDC_s_LgtCtlV_FlgInDTlr is true 2) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl THEN: LgtLimA_ADmdLimD is equal to MIN(((-1)*VSOEM_s_VLgtVehCor²) / ( 2 * (DRem-DCmp)), ((-1)*VSOEM_s_VLgtVehCor²) / ( 2 * (DRem-DCmp)) filtered by a PT-1 filter with the result of Look-up table (VMMP_LOCDL_p1_LgtCtlD_TiFilADmd, VMMP_LOCDL_px_LgtCtlD_VFilADmd) with the input VSOEM_s_VLgtVehCor as time constant and a gain of 1) ELSE: LgtLimA_ADmdLimD is equal to MIN(VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)), VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)) filtered by a PT-1 filter with the time constant VMMP_LOCDL_p_LgtCtlD_TiFilWeakADmd and a gain of 1) Raw{
"ID": "20129715.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1) LgtLimA_FlgAMin is true\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin\n\r \n\rELSEIF[1]\n\r1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0\n\r \n\rESLEIF [OR(1,2)]\n\r1) LOCDC_s_LgtCtlV_FlgInDTlr is true\n\r2) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to MIN(((-1)*VSOEM_s_VLgtVehCor²) / ( 2 * (DRem-DCmp)), ((-1)*VSOEM_s_VLgtVehCor²) / ( 2 * (DRem-DCmp)) filtered by a PT-1 filter with the result of Look-up table (VMMP_LOCDL_p1_LgtCtlD_TiFilADmd, VMMP_LOCDL_px_LgtCtlD_VFilADmd) with the input VSOEM_s_VLgtVehCor as time constant and a gain of 1)\n\r \n\rELSE:\n\rLgtLimA_ADmdLimD is equal to MIN(VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)), VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)) filtered by a PT-1 filter with the time constant VMMP_LOCDL_p_LgtCtlD_TiFilWeakADmd and a gain of 1)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [1]\n\r1) LgtLimA_FlgAMin is true\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin\n\r \n\rELSEIF[1]\n\r1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0\n\r \n\rESLEIF [OR(1,2)]\n\r1) LOCDC_s_LgtCtlV_FlgInDTlr is true\n\r2) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to MIN(((-1)*VSOEM_s_VLgtVehCor²) / ( 2 * (DRem-DCmp)), ((-1)*VSOEM_s_VLgtVehCor²) / ( 2 * (DRem-DCmp)) filtered by a PT-1 filter with the result of Look-up table (VMMP_LOCDL_p1_LgtCtlD_TiFilADmd, VMMP_LOCDL_px_LgtCtlD_VFilADmd) with the input VSOEM_s_VLgtVehCor as time constant and a gain of 1)\n\r \n\rELSE:\n\rLgtLimA_ADmdLimD is equal to MIN(VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)), VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)) filtered by a PT-1 filter with the time constant VMMP_LOCDL_p_LgtCtlD_TiFilWeakADmd and a gain of 1)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 111 | 36710997.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1] 1) LgtLimA_FlgAMin is true THEN: LgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin ELSEIF[1] 1) (DRem - DCmp) isIF [1] 1) LgtLimA_FlgAMin is true THEN: LgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin ELSEIF[1] 1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz THEN: LgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0 ESLEIF [OR(1,2)] 1) LOCDL_FlgAcvLimD is false 2) VSOEM_s_VLgtVehCor²/ (-2 * (DRem-DCmp)) is smaller than LgtLimA_ADmdLimD from last computation time step THEN: LgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor²/ (-2 * (DRem-DCmp)) ESLEIF [OR(1,2)] 1) LOCDC_s_LgtCtlV_FlgInDTlr is true 2) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl THEN: LgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / (-2 * (DRem-DCmp)) filtered by a PT-1 filter with the result of Look-up table (VMMP_LOCDL_p1_LgtLimD_TiFilADmd, VMMP_LOCDL_px_LgtLimD_VFilADmd) with the input VSOEM_s_VLgtVehCor as time constant and a gain of 1) ELSE: LgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / ( -2 * (DRem-DCmp))filtered by a PT-1 filter with the time constant VMMP_LOCDL_p_LgtLimD_TiFilWeakADmd and a gain of 1) Raw{
"ID": "36710997.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1) LgtLimA_FlgAMin is true\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin\n\r \n\rELSEIF[1]\n\r1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0\n\r \n\rESLEIF [OR(1,2)]\n\r1) LOCDL_FlgAcvLimD is false\n\r2) VSOEM_s_VLgtVehCor²/ (-2 * (DRem-DCmp)) is smaller than LgtLimA_ADmdLimD from last computation time step\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor²/ (-2 * (DRem-DCmp))\n\r \n\rESLEIF [OR(1,2)]\n\r1) LOCDC_s_LgtCtlV_FlgInDTlr is true\n\r2) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / (-2 * (DRem-DCmp)) filtered by a PT-1 filter with the result of Look-up table (VMMP_LOCDL_p1_LgtLimD_TiFilADmd, VMMP_LOCDL_px_LgtLimD_VFilADmd) with the input VSOEM_s_VLgtVehCor as time constant and a gain of 1)\n\r \n\rELSE:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / ( -2 * (DRem-DCmp))filtered by a PT-1 filter with the time constant VMMP_LOCDL_p_LgtLimD_TiFilWeakADmd and a gain of 1)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [1]\n\r1) LgtLimA_FlgAMin is true\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VMMP_LOCDL_p_LgtLimA_AMin\n\r \n\rELSEIF[1]\n\r1) (DRem - DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to LgtLimA_ADmdLimD from the previous computation cycle with the initial value 0\n\r \n\rESLEIF [OR(1,2)]\n\r1) LOCDL_FlgAcvLimD is false\n\r2) VSOEM_s_VLgtVehCor²/ (-2 * (DRem-DCmp)) is smaller than LgtLimA_ADmdLimD from last computation time step\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor²/ (-2 * (DRem-DCmp))\n\r \n\rESLEIF [OR(1,2)]\n\r1) LOCDC_s_LgtCtlV_FlgInDTlr is true\n\r2) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / (-2 * (DRem-DCmp)) filtered by a PT-1 filter with the result of Look-up table (VMMP_LOCDL_p1_LgtLimD_TiFilADmd, VMMP_LOCDL_px_LgtLimD_VFilADmd) with the input VSOEM_s_VLgtVehCor as time constant and a gain of 1)\n\r \n\rELSE:\n\rLgtLimA_ADmdLimD is equal to VSOEM_s_VLgtVehCor² / ( -2 * (DRem-DCmp))filtered by a PT-1 filter with the time constant VMMP_LOCDL_p_LgtLimD_TiFilWeakADmd and a gain of 1)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 112 | 20174988.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | LgtLimA_ADmdLimD is limited between [-15 VMMP_LOC_c_ASatMax].LgtLimA_ADmdLimD is limited between [-15 VMMP_LOC_c_ASatMax]. Raw{
"ID": "20174988.0",
"ASIL": " QM",
"Text": "LgtLimA_ADmdLimD is limited between [-15 VMMP_LOC_c_ASatMax].",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "LgtLimA_ADmdLimD is limited between [-15 VMMP_LOC_c_ASatMax].",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 113 | 16654892.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDL_FlgAcvLimD is false 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be equaIF [AND(1,2)] 1.) LOCDL_FlgAcvLimD is false 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be equal to LOCDC_s_LgtCtlV_ADmdLoV Raw{
"ID": "16654892.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1.) LOCDL_FlgAcvLimD is false\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to LOCDC_s_LgtCtlV_ADmdLoV",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1355428.0",
"Description": "IF [AND(1,2)]\n\r1.) LOCDL_FlgAcvLimD is false\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to LOCDC_s_LgtCtlV_ADmdLoV",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 114 | 20130087.0 | Functional | Released | yes | True | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_ADmd shall be equal tIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD Raw{
"ID": "20130087.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r \n\r1) LOCDL_FlgAcvLimD is true\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[AND(1,2)]\n\r \n\r1) LOCDL_FlgAcvLimD is true\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 115 | 16654895.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be the minIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV and MAX(-15, MIN(VMMP_LOC_c_ASatMax,VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp)))) Raw{
"ID": "16654895.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV and MAX(-15, MIN(VMMP_LOC_c_ASatMax,VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp))))",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1361130.0",
"Description": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV and MAX(-15, MIN(VMMP_LOC_c_ASatMax,VSOEM_s_VLgtVehCor² / ( 2 * (DRem-DCmp))))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 116 | 21323036.0 | Functional | Released | yes | True | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be the minIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV and LgtLimA_ADmdLimD Raw{
"ID": "21323036.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV and LgtLimA_ADmdLimD",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be the minimum of LOCDC_s_LgtCtlV_ADmdLoV and LgtLimA_ADmdLimD",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 117 | 16654896.0 | Functional | Released | yes | True | IF [AND(1,2)] 1.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false 2.) LOCDL_FlgAcvLimD is false THEN: LOCDL_s_LgtLimA_ADmd is equal toIF [AND(1,2)] 1.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false 2.) LOCDL_FlgAcvLimD is false THEN: LOCDL_s_LgtLimA_ADmd is equal to VMMP_LOC_c_LimA_ADft Raw{
"ID": "16654896.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\r2.) LOCDL_FlgAcvLimD is false\n\rTHEN: \n\rLOCDL_s_LgtLimA_ADmd is equal to VMMP_LOC_c_LimA_ADft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1355430.0",
"Description": "IF [AND(1,2)]\n\r1.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\r2.) LOCDL_FlgAcvLimD is false\n\rTHEN: \n\rLOCDL_s_LgtLimA_ADmd is equal to VMMP_LOC_c_LimA_ADft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 118 | 36710894.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD ELSE: LOCDL_s_LgtLimA_ADmd isIF[1] 1) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD ELSE: LOCDL_s_LgtLimA_ADmd is equal to VMMP_LOC_c_LimA_ADft Raw{
"ID": "36710894.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1) LOCDL_FlgAcvLimD is true\n\r \n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD\n\rELSE:\n\rLOCDL_s_LgtLimA_ADmd is equal to VMMP_LOC_c_LimA_ADft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1) LOCDL_FlgAcvLimD is true\n\r \n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_ADmd shall be equal to LgtLimA_ADmdLimD\n\rELSE:\n\rLOCDL_s_LgtLimA_ADmd is equal to VMMP_LOC_c_LimA_ADft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 119 | 16654897.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Related OutputsRelated Outputs Raw{
"ID": "16654897.0",
"ASIL": " ",
"Text": "Related Outputs",
"Type": "Folder",
"Status": "",
"Summary": "Related Outputs",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214991.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 120 | 16654898.0 | Functional | Released | yes | True | IF [OR(1,2)] 1.) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_FlgAcv shall be truIF [OR(1,2)] 1.) LOCDL_FlgAcvLimD is true 2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_FlgAcv shall be true ELSE: LOCDL_s_LgtLimA_FlgAcv shall be false Raw{
"ID": "16654898.0",
"ASIL": " QM",
"Text": "IF [OR(1,2)]\n\r1.) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDL_s_LgtLimA_FlgAcv shall be true\n\rELSE:\n\rLOCDL_s_LgtLimA_FlgAcv shall be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1355424.0",
"Description": "IF [OR(1,2)]\n\r1.) LOCDL_FlgAcvLimD is true\n\r2.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDL_s_LgtLimA_FlgAcv shall be true\n\rELSE:\n\rLOCDL_s_LgtLimA_FlgAcv shall be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 121 | 36657482.0 | Functional | Released | yes | True | IF [1] 1.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_FlgAcv must be true ELSE: LOCDL_s_LgtLimA_FlgAcv must be falseIF [1] 1.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_FlgAcv must be true ELSE: LOCDL_s_LgtLimA_FlgAcv must be false Raw{
"ID": "36657482.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1.) LOCDL_FlgAcvLimD is true\n\rTHEN: \n\rLOCDL_s_LgtLimA_FlgAcv must be true\n\rELSE:\n\rLOCDL_s_LgtLimA_FlgAcv must be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF [1]\n\r1.) LOCDL_FlgAcvLimD is true\n\rTHEN: \n\rLOCDL_s_LgtLimA_FlgAcv must be true\n\rELSE:\n\rLOCDL_s_LgtLimA_FlgAcv must be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 122 | 16654899.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_APredTar is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLiIF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_APredTar is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLimA_APredTar is equal to VMMP_LOC_c_LimA_ADft Raw{
"ID": "16654899.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_APredTar is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_APredTar is equal to VMMP_LOC_c_LimA_ADft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214937.0",
"Description": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_APredTar is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_APredTar is equal to VMMP_LOC_c_LimA_ADft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 123 | 16654900.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_ATlrHiDyn is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLIF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_ATlrHiDyn is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLimA_ATlrHiDyn is equal to VMMP_LOC_c_LimA_ATlrHiDynDft Raw{
"ID": "16654900.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ATlrHiDyn is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_ATlrHiDyn is equal to VMMP_LOC_c_LimA_ATlrHiDynDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214939.0",
"Description": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ATlrHiDyn is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_ATlrHiDyn is equal to VMMP_LOC_c_LimA_ATlrHiDynDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 124 | 16654901.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_ATlrHiTar is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLIF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_ATlrHiTar is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLimA_ATlrHiTar is equal to VMMP_LOC_c_LimA_ADft Raw{
"ID": "16654901.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ATlrHiTar is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_ATlrHiTar is equal to VMMP_LOC_c_LimA_ADft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214941.0",
"Description": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ATlrHiTar is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_ATlrHiTar is equal to VMMP_LOC_c_LimA_ADft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 125 | 16654902.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_ATlrLoTar is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLIF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_ATlrLoTar is equal to LOCDL_s_LgtLimA_ADmd ELSE: LOCDL_s_LgtLimA_ATlrLoTar is equal to VMMP_LOC_c_LgtCtlA_ATlrLoTarDft Raw{
"ID": "16654902.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ATlrLoTar is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_ATlrLoTar is equal to VMMP_LOC_c_LgtCtlA_ATlrLoTarDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214944.0",
"Description": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_ATlrLoTar is equal to LOCDL_s_LgtLimA_ADmd\n\rELSE: \n\rLOCDL_s_LgtLimA_ATlrLoTar is equal to VMMP_LOC_c_LgtCtlA_ATlrLoTarDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 126 | 16654903.0 | Functional | Released | yes | True | LOCDL_s_LgtLimA_MdTarDyn is equal to VMMP_LOC_c_LgtCtlA_MdTarDynNrmLOCDL_s_LgtLimA_MdTarDyn is equal to VMMP_LOC_c_LgtCtlA_MdTarDynNrm Raw{
"ID": "16654903.0",
"ASIL": " QM",
"Text": "LOCDL_s_LgtLimA_MdTarDyn is equal to VMMP_LOC_c_LgtCtlA_MdTarDynNrm",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214946.0",
"Description": "LOCDL_s_LgtLimA_MdTarDyn is equal to VMMP_LOC_c_LgtCtlA_MdTarDynNrm",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 127 | 16654904.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc ELSE: LIF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc ELSE: LOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOC_c_LimA_AGrdIncDft Raw{
"ID": "16654904.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc\n\rELSE: \n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOC_c_LimA_AGrdIncDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214948.0",
"Description": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc\n\rELSE: \n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOC_c_LimA_AGrdIncDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 128 | 36702779.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc ELSE: LIF[1] 1) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc ELSE: LOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOC_c_LimA_AGrdIncDft Raw{
"ID": "36702779.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc\n\rELSE: \n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOC_c_LimA_AGrdIncDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1] \n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOCDL_p_LgtLim_AGrdMaxInc\n\rELSE: \n\rLOCDL_s_LgtLimA_AGrdMaxInc is equal to VMMP_LOC_c_LimA_AGrdIncDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 129 | 16654905.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3,4,5)] 1.) -(VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) is smaller than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmdIF[AND(1,2,3,4,5)] 1.) -(VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) is smaller than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is greater or equal to -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp))) 3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and LOCDC_s_LgtCtlV_AGrdMaxDecLoV is smaller than LOCDC_s_LgtCtlV_ADmdLoV 4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 5.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of AGrdMaxDec and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LOCDC_s_LgtCtlV_ADmdLoV and VMMP_c_TiSmpl)) Raw{
"ID": "16654905.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4,5)]\n\r1.) -(VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp)))\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and LOCDC_s_LgtCtlV_AGrdMaxDecLoV is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN: \n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of AGrdMaxDec and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LOCDC_s_LgtCtlV_ADmdLoV and VMMP_c_TiSmpl))",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1430347.0",
"Description": "IF[AND(1,2,3,4,5)]\n\r1.) -(VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp)))\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and LOCDC_s_LgtCtlV_AGrdMaxDecLoV is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN: \n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of AGrdMaxDec and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LOCDC_s_LgtCtlV_ADmdLoV and VMMP_c_TiSmpl))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 130 | 20155111.0 | Functional | Released | yes | True | IF[AND(1,2,3,4,5)] 1.) LgtLimA_ADmdLimD is smaller than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is greater or equal to LgtLiIF[AND(1,2,3,4,5)] 1.) LgtLimA_ADmdLimD is smaller than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is greater or equal to LgtLimA_ADmdLimD 3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and LOCDC_s_LgtCtlV_AGrdMaxDecLoV is smaller than LOCDC_s_LgtCtlV_ADmdLoV 4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 5.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of AGrdMaxDec and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LOCDC_s_LgtCtlV_ADmdLoV and VMMP_c_TiSmpl)) Raw{
"ID": "20155111.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4,5)]\n\r1.) LgtLimA_ADmdLimD is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to LgtLimA_ADmdLimD\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and LOCDC_s_LgtCtlV_AGrdMaxDecLoV is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN: \n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of AGrdMaxDec and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LOCDC_s_LgtCtlV_ADmdLoV and VMMP_c_TiSmpl))",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[AND(1,2,3,4,5)]\n\r1.) LgtLimA_ADmdLimD is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to LgtLimA_ADmdLimD\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and LOCDC_s_LgtCtlV_AGrdMaxDecLoV is smaller than LOCDC_s_LgtCtlV_ADmdLoV\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN: \n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of AGrdMaxDec and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LOCDC_s_LgtCtlV_ADmdLoV and VMMP_c_TiSmpl))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 131 | 16654906.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3,4,5)] 1.) -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp))) is greater than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmdIF[AND(1,2,3,4,5)] 1.) -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp))) is greater than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is greater or equal to LOCDC_s_LgtCtlV_ADmdLoV 3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and AGrdMaxDec is smaller than -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp))) 4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 5.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) - (VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) and VMMP_c_TiSmpl)) Raw{
"ID": "16654906.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4,5)]\n\r1.) -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp))) is greater than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to LOCDC_s_LgtCtlV_ADmdLoV\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and AGrdMaxDec is smaller than -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp)))\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) - (VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) and VMMP_c_TiSmpl))",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1430349.0",
"Description": "IF[AND(1,2,3,4,5)]\n\r1.) -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp))) is greater than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to LOCDC_s_LgtCtlV_ADmdLoV\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and AGrdMaxDec is smaller than -(VSOEM_s_VLgtVehCor² / ( 2 * (DRem - DCmp)))\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) - (VSOEM_s_VLgtVehCor² / ( 2 *(DRem - DCmp))) and VMMP_c_TiSmpl))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 132 | 20155752.0 | Functional | Released | yes | True | IF[AND(1,2,3,4,5)] 1.) LgtLimA_ADmdLimD is greater than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is greater or equal to LOCDCIF[AND(1,2,3,4,5)] 1.) LgtLimA_ADmdLimD is greater than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is greater or equal to LOCDC_s_LgtCtlV_ADmdLoV 3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and AGrdMaxDec is smaller than LgtLimA_ADmdLimD 4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 5.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LgtLimA_ADmdLimD and VMMP_c_TiSmpl)) Raw{
"ID": "20155752.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4,5)]\n\r1.) LgtLimA_ADmdLimD is greater than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to LOCDC_s_LgtCtlV_ADmdLoV\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and AGrdMaxDec is smaller than LgtLimA_ADmdLimD\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LgtLimA_ADmdLimD and VMMP_c_TiSmpl))",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[AND(1,2,3,4,5)]\n\r1.) LgtLimA_ADmdLimD is greater than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is greater or equal to LOCDC_s_LgtCtlV_ADmdLoV\n\r3.) The sum of ASOPOT_s_ATqDmd + the product of VMMP_c_TiSmpl and AGrdMaxDec is smaller than LgtLimA_ADmdLimD\n\r4.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r5.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and MAX(VMMP_LOC_c_LimA_AGrdDecDft, MIN(0,the quotient of the sum of (- ASOPOT_s_ATqDmd) + LgtLimA_ADmdLimD and VMMP_c_TiSmpl))",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 133 | 16654907.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)] 1.) -(VSOEM_s_VLgtVehCor² / ( 2 * DRem - DCmp)) is greater than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd isIF[AND(1,2,3,4)] 1.) -(VSOEM_s_VLgtVehCor² / ( 2 * DRem - DCmp)) is greater than LOCDC_s_LgtCtlV_ADmdLoV 2.) ASOPOT_s_ATqDmd is not greater or equal to LOCDC_s_LgtCtlV_ADmdLoV 3.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 4.) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and AGrdMaxDec Raw{
"ID": "16654907.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)]\n\r1.) -(VSOEM_s_VLgtVehCor² / ( 2 * DRem - DCmp)) is greater than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is not greater or equal to LOCDC_s_LgtCtlV_ADmdLoV\n\r3.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r4.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and AGrdMaxDec",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1214950.0",
"Description": "IF[AND(1,2,3,4)]\n\r1.) -(VSOEM_s_VLgtVehCor² / ( 2 * DRem - DCmp)) is greater than LOCDC_s_LgtCtlV_ADmdLoV\n\r2.) ASOPOT_s_ATqDmd is not greater or equal to LOCDC_s_LgtCtlV_ADmdLoV\n\r3.) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r4.) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is equal to the minimum of LOCDC_s_LgtCtlV_AGrdMaxDecLoV and AGrdMaxDec",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 134 | 16654908.0 | Functional | Released | yes | True | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_AGrdMaxDec is AGrdMaIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is true 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_AGrdMaxDec is AGrdMaxDec Raw{
"ID": "16654908.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)] \n\r1) LOCDL_FlgAcvLimD is true\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is AGrdMaxDec",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1420190.0",
"Description": "IF[AND(1,2)] \n\r1) LOCDL_FlgAcvLimD is true\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec is AGrdMaxDec",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 135 | 16654909.0 | Functional | Released | yes | True | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is false 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec shall beIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is false 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec shall be equal to LOCDC_s_LgtCtlV_AGrdMaxDecLoV Raw{
"ID": "16654909.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)] \n\r1) LOCDL_FlgAcvLimD is false\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to LOCDC_s_LgtCtlV_AGrdMaxDecLoV",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1420192.0",
"Description": "IF[AND(1,2)] \n\r1) LOCDL_FlgAcvLimD is false\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to LOCDC_s_LgtCtlV_AGrdMaxDecLoV",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 136 | 16654910.0 | Functional | Released | yes | True | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is false 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_AGrdMaxDec shall beIF[AND(1,2)] 1) LOCDL_FlgAcvLimD is false 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false THEN: LOCDL_s_LgtLimA_AGrdMaxDec shall be equal to VMMP_LOC_c_LimA_AGrdDecDft Raw{
"ID": "16654910.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)] \n\r1) LOCDL_FlgAcvLimD is false\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to VMMP_LOC_c_LimA_AGrdDecDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1420194.0",
"Description": "IF[AND(1,2)] \n\r1) LOCDL_FlgAcvLimD is false\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is false\n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to VMMP_LOC_c_LimA_AGrdDecDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 137 | 55475144.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1]: 1)FlgUpdLimD is true THEN: AGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0) ELIF[1]: 1)FlgUpdLimD is true THEN: AGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0) ELSE: AGrdMaxDecDyn is equal to ((LgtLimA_ADmdLimD- LgtLimA_ADmdLimDDly)*VMMP_c_FrqSmpl + VMMP_LOCDL_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDL_p_LgtCtlD_FacAGrdDecDyn Raw{
"ID": "55475144.0",
"ASIL": " QM",
"Text": "IF[1]:\n\r1)FlgUpdLimD is true\n\rTHEN:\n\rAGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)\n\rELSE:\n\rAGrdMaxDecDyn is equal to ((LgtLimA_ADmdLimD- LgtLimA_ADmdLimDDly)*VMMP_c_FrqSmpl + VMMP_LOCDL_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDL_p_LgtCtlD_FacAGrdDecDyn",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]:\n\r1)FlgUpdLimD is true\n\rTHEN:\n\rAGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)\n\rELSE:\n\rAGrdMaxDecDyn is equal to ((LgtLimA_ADmdLimD- LgtLimA_ADmdLimDDly)*VMMP_c_FrqSmpl + VMMP_LOCDL_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDL_p_LgtCtlD_FacAGrdDecDyn",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 138 | 36703477.0 | Functional | Released | yes | True | IF[1] 1) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec shall be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn) ELSE: LOCIF[1] 1) LOCDL_FlgAcvLimD is true THEN: LOCDL_s_LgtLimA_AGrdMaxDec shall be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn) ELSE: LOCDL_s_LgtLimA_AGrdMaxDec shall be equal to VMMP_LOC_c_LimA_AGrdDecDft Raw{
"ID": "36703477.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)\n\rELSE:\n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to VMMP_LOC_c_LimA_AGrdDecDft",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1] \n\r1) LOCDL_FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)\n\rELSE:\n\rLOCDL_s_LgtLimA_AGrdMaxDec shall be equal to VMMP_LOC_c_LimA_AGrdDecDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 139 | 16654911.0 | Functional | Released | yes | True | IF [AND(OR(1,2),OR(3,AND(1,4)))] 1) LOCDL_FlgAcvLimD is true 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 3) (DRem -DCmp) is smalleIF [AND(OR(1,2),OR(3,AND(1,4)))] 1) LOCDL_FlgAcvLimD is true 2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true 3) (DRem -DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz 4) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq THEN: LOCDL_s_FlgReqSdsl must be true ELSE: LOCDL_s_FlgReqSdsl must be false Raw{
"ID": "16654911.0",
"ASIL": " QM",
"Text": "IF [AND(OR(1,2),OR(3,AND(1,4)))]\n\r1) LOCDL_FlgAcvLimD is true\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r3) (DRem -DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r4) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq\n\r \n\rTHEN:\n\rLOCDL_s_FlgReqSdsl must be true\n\rELSE: \n\rLOCDL_s_FlgReqSdsl must be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1258723.0",
"Description": "IF [AND(OR(1,2),OR(3,AND(1,4)))]\n\r1) LOCDL_FlgAcvLimD is true\n\r2) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\r3) (DRem -DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r4) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq\n\r \n\rTHEN:\n\rLOCDL_s_FlgReqSdsl must be true\n\rELSE: \n\rLOCDL_s_FlgReqSdsl must be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 140 | 36606343.0 | Functional | Released | yes | True | IF [AND(1,OR(2,3,4))] 1) LOCDL_s_LgtLimA_FlgAcv is true 2) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq 3) CIF [AND(1,OR(2,3,4))] 1) LOCDL_s_LgtLimA_FlgAcv is true 2) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq 3) Condition 2 has changed from true to false for not longer than VMMP_LOC_p_LgtD_VMinToHldReq 4) (DRem -DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz THEN: LOCDL_s_FlgReqSdsl must be true ELSE: LOCDL_s_FlgReqSdsl must be false Raw{
"ID": "36606343.0",
"ASIL": " QM",
"Text": "IF [AND(1,OR(2,3,4))]\n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\r2) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq\n\r3) Condition 2 has changed from true to false for not longer than VMMP_LOC_p_LgtD_VMinToHldReq\n\r4) (DRem -DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r \n\rTHEN:\n\rLOCDL_s_FlgReqSdsl must be true\n\rELSE: \n\rLOCDL_s_FlgReqSdsl must be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF [AND(1,OR(2,3,4))]\n\r1) LOCDL_s_LgtLimA_FlgAcv is true\n\r2) VSOEM_s_VLgtVehCor is smaller than VMMP_LOC_p_LgtD_VMinToHldReq\n\r3) Condition 2 has changed from true to false for not longer than VMMP_LOC_p_LgtD_VMinToHldReq\n\r4) (DRem -DCmp) is smaller than VMMP_LOC_p_LgtD_DDifAFrz\n\r \n\rTHEN:\n\rLOCDL_s_FlgReqSdsl must be true\n\rELSE: \n\rLOCDL_s_FlgReqSdsl must be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 141 | 16654912.0 | Functional | Released | yes | True | IF[1] 1) FlgReqAcv is true THEN: LOCDL_s_DRem is equal to DRem within a tolerance of "-0.1" m ELSE: LOCDL_s_DRem is equal tIF[1] 1) FlgReqAcv is true THEN: LOCDL_s_DRem is equal to DRem within a tolerance of "-0.1" m ELSE: LOCDL_s_DRem is equal to 20.44 Raw{
"ID": "16654912.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) FlgReqAcv is true\n\rTHEN:\n\rLOCDL_s_DRem is equal to DRem within a tolerance of \"-0.1\" m\n\rELSE: \n\rLOCDL_s_DRem is equal to 20.44",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1258725.0",
"Description": "IF[1] \n\r1) FlgReqAcv is true\n\rTHEN:\n\rLOCDL_s_DRem is equal to DRem within a tolerance of \"-0.1\" m\n\rELSE: \n\rLOCDL_s_DRem is equal to 20.44",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 142 | 59430888.0 | Functional | Released | yes | True | IF[OR(AND(1,2),AND(NOT(1),3))] 1) VMMP_LOCDL_p_SwtDRemUpd is false 2) FlgReqAcv is true 3) FlgAcvLimD is true THEN: LOCDL_s_IF[OR(AND(1,2),AND(NOT(1),3))] 1) VMMP_LOCDL_p_SwtDRemUpd is false 2) FlgReqAcv is true 3) FlgAcvLimD is true THEN: LOCDL_s_DRem is equal to DRem within a tolerance of "-0.1" m ELSE: LOCDL_s_DRem is equal to 20.44 Raw{
"ID": "59430888.0",
"ASIL": " QM",
"Text": "IF[OR(AND(1,2),AND(NOT(1),3))] \n\r1) VMMP_LOCDL_p_SwtDRemUpd is false\n\r2) FlgReqAcv is true\n\r3) FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_DRem is equal to DRem within a tolerance of \"-0.1\" m\n\r \n\rELSE: \n\rLOCDL_s_DRem is equal to 20.44",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[OR(AND(1,2),AND(NOT(1),3))] \n\r1) VMMP_LOCDL_p_SwtDRemUpd is false\n\r2) FlgReqAcv is true\n\r3) FlgAcvLimD is true\n\r \n\rTHEN:\n\rLOCDL_s_DRem is equal to DRem within a tolerance of \"-0.1\" m\n\r \n\rELSE: \n\rLOCDL_s_DRem is equal to 20.44",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 143 | 16654913.0 | Functional | Released | yes | True | IF[1] 1) FlgReqAcv is true THEN: LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldVld ELSE: LOCDL_s_StVldDRem is equal toIF[1] 1) FlgReqAcv is true THEN: LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldVld ELSE: LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut Raw{
"ID": "16654913.0",
"ASIL": " QM",
"Text": "IF[1] \n\r1) FlgReqAcv is true\n\rTHEN:\n\rLOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldVld\n\rELSE: \n\rLOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1258727.0",
"Description": "IF[1] \n\r1) FlgReqAcv is true\n\rTHEN:\n\rLOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldVld\n\rELSE: \n\rLOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |