Source files
Mapping profiles
TORINO grounded verification · testcase
VMMP conservative · requirement
Import history
VME-PROD-VehicleMotionManagement - VMMP_FSS.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 202 | 29556729.0 | Functional | Released | yes | True | If the module FSS is in state DeacFromActive , the output FSS_s_SpdWhlLim_SpdWhlMin shall behave as follows: IF[1] 1.) VSOVD_sIf the module FSS is in state DeacFromActive , the output FSS_s_SpdWhlLim_SpdWhlMin shall behave as follows: IF[1] 1.) VSOVD_s_GrpPTConfAxpCEAcv is false THEN: FSS_s_SpdWhlLim_SpdWhlMin shall ramp with a gradient of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct + VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be greater then 0 (zero). ELSE FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft Raw{
"ID": "29556729.0",
"ASIL": " QM",
"Text": "If the module FSS is in state DeacFromActive\n\r, the output FSS_s_SpdWhlLim_SpdWhlMin shall behave as follows:\n\r \n\rIF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMin shall ramp with a gradient of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct + VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be greater then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft",
"Type": "Functional",
"Status": "Released",
"Summary": "Output FSS_s_SpdWhlLim_SpdWhlMin",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "If the module FSS is in state DeacFromActive\n\r, the output FSS_s_SpdWhlLim_SpdWhlMin shall behave as follows:\n\r \n\rIF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMin shall ramp with a gradient of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct + VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be greater then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 203 | 29556734.0 | Functional | Released | yes | True | If the module FSS is in state DeacFromActive , the output FSS_s_SpdWhlLim_SpdWhlMax shall behave as follows: IF[1] 1.) VSOVD_sIf the module FSS is in state DeacFromActive , the output FSS_s_SpdWhlLim_SpdWhlMax shall behave as follows: IF[1] 1.) VSOVD_s_GrpPTConfAxpCEAcv is false THEN: FSS_s_SpdWhlLim_SpdWhlMax shall ramp with a gradient of the negative value of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct - VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be smaller then 0 (zero). ELSE FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft Raw{
"ID": "29556734.0",
"ASIL": " QM",
"Text": "If the module FSS is in state DeacFromActive\n\r \n\r, the output FSS_s_SpdWhlLim_SpdWhlMax shall behave as follows:\n\r \n\rIF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMax shall ramp with a gradient of the negative value of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct - VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be smaller then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft",
"Type": "Functional",
"Status": "Released",
"Summary": "Output FSS_s_SpdWhlLim_SpdWhlMax",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "If the module FSS is in state DeacFromActive\n\r \n\r, the output FSS_s_SpdWhlLim_SpdWhlMax shall behave as follows:\n\r \n\rIF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMax shall ramp with a gradient of the negative value of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct - VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be smaller then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 204 | 16663264.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | State FailureState Failure Raw{
"ID": "16663264.0",
"ASIL": " ",
"Text": "State Failure",
"Type": "Folder",
"Status": "",
"Summary": "State Failure",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215744.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 205 | 16663265.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Entry conditionEntry condition Raw{
"ID": "16663265.0",
"ASIL": " ",
"Text": "Entry condition",
"Type": "Folder",
"Status": "",
"Summary": "Entry condition",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1216742.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 206 | 16663266.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) state in previous calculation cycle was state DeacFromActive 2.) state DeacFromActive was active for at leastIF[AND(1,2,3)] 1.) state in previous calculation cycle was state DeacFromActive 2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds 3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail THEN: the state shall switch to state Failure Raw{
"ID": "16663266.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromActive\n\r2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "Transition DeacFromActive to Failure",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217739.0",
"Description": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromActive\n\r2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 207 | 16663268.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2)] 1.) state in previous calculation cycle was state Disable 2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFaIF[AND(1,2)] 1.) state in previous calculation cycle was state Disable 2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail THEN the state shall switch to state Failure Raw{
"ID": "16663268.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state Disable\n\r2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN \n\rthe state shall switch to state Failure",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "Transition Disable to Failure",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217741.0",
"Description": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state Disable\n\r2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN \n\rthe state shall switch to state Failure",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 208 | 16663269.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2,3)] 1.) state in previous calculation cycle was state DeacFromReady 2.) state DeacFromReady was active for at least VIF[AND(1,2,3)] 1.) state in previous calculation cycle was state DeacFromReady 2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds 3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail THEN the state shall switch to state Failure Raw{
"ID": "16663269.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromReady\n\r2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN \n\rthe state shall switch to state Failure",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "Transition DeacFromReady to Failure",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1381339.0",
"Description": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromReady\n\r2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN \n\rthe state shall switch to state Failure",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 209 | 16663270.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,OR[2,3])] 1.) state in previous calculation cycle was state Pending 2.) state Pending was active for more than 3s 3.)IF[AND(1,OR[2,3])] 1.) state in previous calculation cycle was state Pending 2.) state Pending was active for more than 3s 3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail THEN: the state shall switch to state Failure Raw{
"ID": "16663270.0",
"ASIL": " QM",
"Text": "IF[AND(1,OR[2,3])]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) state Pending was active for more than 3s\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "Transition Pending to Failure",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217743.0",
"Description": "IF[AND(1,OR[2,3])]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) state Pending was active for more than 3s\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 210 | 16663271.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2)] 1.) state in previous calculation cycle was state OFF 2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail THEN: tIF[AND(1,2)] 1.) state in previous calculation cycle was state OFF 2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail THEN: the state shall switch to state Failure Raw{
"ID": "16663271.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state OFF\n\r2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217746.0",
"Description": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state OFF\n\r2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 211 | 16663267.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF[AND(1,2,3,4)] 1.) state in previous calculation cycle was state Active 2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail 3.IF[AND(1,2,3,4)] 1.) state in previous calculation cycle was state Active 2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail 3.) output FSS_s_StEnaReq was equal to VMMP_FSS_c_StEnaReqDeac for at least VMMP_FSS_p_TiDurStEnReqDis seconds 4.) (*TiMaxDurAcvTot + VMMP_FSS_p_TiDurStEnReqDis) seconds have passed since state Active was entered last time THEN: the state shall switch to state Failure Raw{
"ID": "16663267.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)]\n\r1.) state in previous calculation cycle was state Active\n\r2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail\n\r3.) output FSS_s_StEnaReq was equal to VMMP_FSS_c_StEnaReqDeac for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r4.) (*TiMaxDurAcvTot + VMMP_FSS_p_TiDurStEnReqDis) seconds have passed since state Active was entered last time\n\rTHEN: \n\rthe state shall switch to state Failure",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217748.0",
"Description": "IF[AND(1,2,3,4)]\n\r1.) state in previous calculation cycle was state Active\n\r2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail\n\r3.) output FSS_s_StEnaReq was equal to VMMP_FSS_c_StEnaReqDeac for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r4.) (*TiMaxDurAcvTot + VMMP_FSS_p_TiDurStEnReqDis) seconds have passed since state Active was entered last time\n\rTHEN: \n\rthe state shall switch to state Failure",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 212 | 16663272.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF[AND(1,2)] 1.) last state is state Ready 2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail THEN: the state shall switch toIF[AND(1,2)] 1.) last state is state Ready 2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail THEN: the state shall switch to state Failure within the time *TiMaxDurAcvTot Raw{
"ID": "16663272.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1.) last state is state Ready\n\r2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure within the time *TiMaxDurAcvTot",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1224749.0",
"Description": "IF[AND(1,2)]\n\r1.) last state is state Ready\n\r2.) CRMSA_s_FSS_StTar is VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state Failure within the time *TiMaxDurAcvTot",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 213 | 16663273.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | OutputsOutputs Raw{
"ID": "16663273.0",
"ASIL": " ",
"Text": "Outputs",
"Type": "Folder",
"Status": "",
"Summary": "Outputs",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1216744.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 214 | 16663274.0 | Functional | Released | yes | True | If the module FSS is in state Failure, the outputs shall behave as follows: FSS_s_StMon shall be VMMP_FSS_c_StMonFail FSS_s_StEIf the module FSS is in state Failure, the outputs shall behave as follows: FSS_s_StMon shall be VMMP_FSS_c_StMonFail FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq FSS_s_FlgPrkPosnAlyReq shall be false FSS_s_FlgPrkBrkAlyReq shall be false FSS_s_SpdWhlLim_FlgAcv shall be false FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq Raw{
"ID": "16663274.0",
"ASIL": " ASIL B",
"Text": "If the module FSS is in state Failure, the outputs shall behave as follows:\n\r \n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonFail \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1216788.0",
"Description": "If the module FSS is in state Failure, the outputs shall behave as follows:\n\r \n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonFail \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 215 | 22322644.0 | Functional | Released | yes | True | If the module FSS is in state Failure, the outputs shall behave as follows: FSS_s_StMon shall be VMMP_FSS_c_StMonFail FSS_s_StEIf the module FSS is in state Failure, the outputs shall behave as follows: FSS_s_StMon shall be VMMP_FSS_c_StMonFail FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) FSS_s_FlgPrkBrkAlyReq shall be false FSS_s_SpdWhlLim_FlgAcv shall be false FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq Raw{
"ID": "22322644.0",
"ASIL": " ASIL B",
"Text": "If the module FSS is in state Failure, the outputs shall behave as follows:\n\r \n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonFail \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "If the module FSS is in state Failure, the outputs shall behave as follows:\n\r \n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonFail \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 216 | 16663275.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Software safety requirementsSoftware safety requirements Raw{
"ID": "16663275.0",
"ASIL": " ",
"Text": "Software safety requirements",
"Type": "Folder",
"Status": "",
"Summary": "Software safety requirements",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207678.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 217 | 16663276.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[NOT(AND(1, 2, 3,OR(4,5,6),7,8))] 1) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy or VMMP_ASOAF_c_FailSafeIF[NOT(AND(1, 2, 3,OR(4,5,6),7,8))] 1) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy or VMMP_ASOAF_c_FailSafeStop_StMonPnd 2.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpRdy or VMMP_ASOAF_c_FailSafeStopStMonBkpPnd 3) functional availability of the function FSS is provided (see requirement ID 4) CFBPA_s_PBFailSafeStop_StEnReq == VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn (Enable) 5) CFBPA_s_PHFailSafeStop_StEnReq == VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn (Enable) 6) CFBCAA_s_CAAFailSafeStop_StEnReq == VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn (Enable) 7) abs(VSOEM_s_VLgtVehCor) < x IF arbitrated function is PB THEN: x = *VMaxLimArbPB ELSE IF arbitrated function is PH THEN: x = *VMaxLimArbPH ELSE IF arbitrated function is CAA THEN: x = *VMaxLimArbCAA ELSE: x = 0 8) abs(VSOEM_s_ALgtSlopRoadNrm) < y IF arbitrated function is PB THEN: y = *ALgtMaxSlopArbPB ELSE IF arbitrated function is PH THEN: y = *ALgtMaxSlopArbPH ELSE IF arbitrated function is CAA THEN: y = *ALgtMaxSlopArbCAA ELSE: y = 0 THEN: State of the function shall not be "state Ready" indicated by FSS_s_StMon being neither VMMP_FSS_c_StMonRdy nor VMMP_FSS_c_StMonPnd Raw{
"ID": "16663276.0",
"ASIL": " ASIL B",
"Text": "IF[NOT(AND(1, 2, 3,OR(4,5,6),7,8))] \n\r \n\r1) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy or VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r2.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpRdy or VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\r \n\r3) functional availability of the function FSS is provided (see requirement ID No InterWiki reference defined in properties for 'integrity') \n\r \n\r4) CFBPA_s_PBFailSafeStop_StEnReq == VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn (Enable)\n\r5) CFBPA_s_PHFailSafeStop_StEnReq == VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn (Enable)\n\r6) CFBCAA_s_CAAFailSafeStop_StEnReq == VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn (Enable)\n\r7) abs(VSOEM_s_VLgtVehCor) < x\n\r \n\rIF\n\rarbitrated function is PB\n\rTHEN:\n\rx = *VMaxLimArbPB\n\rELSE IF\n\rarbitrated function is PH\n\rTHEN:\n\rx = *VMaxLimArbPH\n\rELSE IF\n\rarbitrated function is CAA\n\rTHEN:\n\rx = *VMaxLimArbCAA\n\rELSE:\n\rx = 0\n\r \n\r8) abs(VSOEM_s_ALgtSlopRoadNrm) < y\n\r \n\r\n\rIF\n\rarbitrated function is PB\n\rTHEN:\n\ry = *ALgtMaxSlopArbPB\n\rELSE IF\n\rarbitrated function is PH\n\rTHEN:\n\ry = *ALgtMaxSlopArbPH\n\rELSE IF\n\rarbitrated function is CAA\n\rTHEN:\n\ry = *ALgtMaxSlopArbCAA\n\rELSE:\n\ry = 0\n\rTHEN:\n\rState of the function shall not be \"state Ready\" \n\rindicated by FSS_s_StMon being neither VMMP_FSS_c_StMonRdy nor VMMP_FSS_c_StMonPnd",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207698.0",
"Description": "IF[NOT(AND(1, 2, 3,OR(4,5,6),7,8))] \n\r \n\r1) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy or VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r2.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpRdy or VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\r \n\r3) functional availability of the function FSS is provided (see requirement ID No InterWiki reference defined in properties for 'integrity') \n\r \n\r4) CFBPA_s_PBFailSafeStop_StEnReq == VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn (Enable)\n\r5) CFBPA_s_PHFailSafeStop_StEnReq == VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn (Enable)\n\r6) CFBCAA_s_CAAFailSafeStop_StEnReq == VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn (Enable)\n\r7) abs(VSOEM_s_VLgtVehCor) < x\n\r \n\rIF\n\rarbitrated function is PB\n\rTHEN:\n\rx = *VMaxLimArbPB\n\rELSE IF\n\rarbitrated function is PH\n\rTHEN:\n\rx = *VMaxLimArbPH\n\rELSE IF\n\rarbitrated function is CAA\n\rTHEN:\n\rx = *VMaxLimArbCAA\n\rELSE:\n\rx = 0\n\r \n\r8) abs(VSOEM_s_ALgtSlopRoadNrm) < y\n\r \n\r\n\rIF\n\rarbitrated function is PB\n\rTHEN:\n\ry = *ALgtMaxSlopArbPB\n\rELSE IF\n\rarbitrated function is PH\n\rTHEN:\n\ry = *ALgtMaxSlopArbPH\n\rELSE IF\n\rarbitrated function is CAA\n\rTHEN:\n\ry = *ALgtMaxSlopArbCAA\n\rELSE:\n\ry = 0\n\rTHEN:\n\rState of the function shall not be \"state Ready\" \n\rindicated by FSS_s_StMon being neither VMMP_FSS_c_StMonRdy nor VMMP_FSS_c_StMonPnd",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 218 | 16663277.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF [AND(1,2,3)] 1.) State of function is "state Ready" (see requirement ID 2.) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSIF [AND(1,2,3)] 1.) State of function is "state Ready" (see requirement ID 2.) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy 3.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpRdy or VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg THEN: FSS_s_StMon shall be VMMP_FSS_c_StMonRdy Raw{
"ID": "16663277.0",
"ASIL": " ASIL B",
"Text": "IF [AND(1,2,3)]\n\r1.) State of function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks')\n\r2.) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy \n\r3.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpRdy or VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StMon shall be VMMP_FSS_c_StMonRdy",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1314196.0",
"Description": "IF [AND(1,2,3)]\n\r1.) State of function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks')\n\r2.) ASOAF_s_FailSafeStop_StMon == VMMP_ASOAF_c_FailSafeStop_StMonRdy \n\r3.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpRdy or VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StMon shall be VMMP_FSS_c_StMonRdy",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 219 | 16663278.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(OR(AND(1,2), AND(3,4), AND(5,6)), 7)] 1) arbitrated function is PB 2) CFBPA_s_PBFailSafeStop_StStopReq is not VMMP_CFBPIF[AND(OR(AND(1,2), AND(3,4), AND(5,6)), 7)] 1) arbitrated function is PB 2) CFBPA_s_PBFailSafeStop_StStopReq is not VMMP_CFBPA_c_PBFailSafeStop_StStopReqNoReq 3) arbitrated function is PH 4) CFBPA_s_PHFailSafeStop_StStopReq is not VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq 5) arbitrated function is CAA 6) CFBCAA_s_CAAFailSafeStop_StStopReq is not VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq 7) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == 1 (Enable) FSS_s_StStopReq == 1 (StopRequest) Raw{
"ID": "16663278.0",
"ASIL": " ASIL C",
"Text": "IF[AND(OR(AND(1,2), AND(3,4), AND(5,6)), 7)] \n\r1) arbitrated function is PB \n\r2) CFBPA_s_PBFailSafeStop_StStopReq is not VMMP_CFBPA_c_PBFailSafeStop_StStopReqNoReq \n\r3) arbitrated function is PH\n\r4) CFBPA_s_PHFailSafeStop_StStopReq is not VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq \n\r5) arbitrated function is CAA\n\r6) CFBCAA_s_CAAFailSafeStop_StStopReq is not\n\rVMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq \n\r \n\r7) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == 1 (Enable) \n\rFSS_s_StStopReq == 1 (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207716.0",
"Description": "IF[AND(OR(AND(1,2), AND(3,4), AND(5,6)), 7)] \n\r1) arbitrated function is PB \n\r2) CFBPA_s_PBFailSafeStop_StStopReq is not VMMP_CFBPA_c_PBFailSafeStop_StStopReqNoReq \n\r3) arbitrated function is PH\n\r4) CFBPA_s_PHFailSafeStop_StStopReq is not VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq \n\r5) arbitrated function is CAA\n\r6) CFBCAA_s_CAAFailSafeStop_StStopReq is not\n\rVMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq \n\r \n\r7) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == 1 (Enable) \n\rFSS_s_StStopReq == 1 (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 220 | 16663279.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2)] 1) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarOn 2) State of the function is "state Ready" (see requiIF[AND(1,2)] 1) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarOn 2) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663279.0",
"ASIL": " ASIL C",
"Text": "IF[AND(1,2)] \n\r \n\r1) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarOn \n\r \n\r2) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks'\n\r \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207722.0",
"Description": "IF[AND(1,2)] \n\r \n\r1) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarOn \n\r \n\r2) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks'\n\r \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 221 | 16663280.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3,4)] 1) arbitrated function is PB 2) VSOEM_s_ALgtSlopRoadNrm > VMMP_FSS_p_ALgtMaxSlopRoadPBIPA 3.) CFBPA_s_PB_IdxRIF[AND(1,2,3,4)] 1) arbitrated function is PB 2) VSOEM_s_ALgtSlopRoadNrm > VMMP_FSS_p_ALgtMaxSlopRoadPBIPA 3.) CFBPA_s_PB_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PB 4.)State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663280.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)] \n\r \n\r1) arbitrated function is PB\n\r2) VSOEM_s_ALgtSlopRoadNrm > VMMP_FSS_p_ALgtMaxSlopRoadPBIPA\n\r3.) CFBPA_s_PB_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PB\n\r \n\r4.)State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207738.0",
"Description": "IF[AND(1,2,3,4)] \n\r \n\r1) arbitrated function is PB\n\r2) VSOEM_s_ALgtSlopRoadNrm > VMMP_FSS_p_ALgtMaxSlopRoadPBIPA\n\r3.) CFBPA_s_PB_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PB\n\r \n\r4.)State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 222 | 16663281.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3)] 1) arbitrated function is PH 2) abs(VSOEM_s_ALgtSlopRoadNrm) > y IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIIF[AND(1,2,3)] 1) arbitrated function is PH 2) abs(VSOEM_s_ALgtSlopRoadNrm) > y IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GP) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadRPA_GP ESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PH) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadPHIPA ESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRemote_Startup) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadRmtStrtUp ESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadTPA ESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA_Remote) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadTPArmt ESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadRA ESLE y = 0 3) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663281.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)] \n\r \n\r1) arbitrated function is PH \n\r \n\r2) abs(VSOEM_s_ALgtSlopRoadNrm) > y \n\r\n\rIF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GP) THEN y =\n\rVMMP_FSS_p_ALgtMaxSlopRoadRPA_GP\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PH) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadPHIPA \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRemote_Startup) THEN y =\n\rVMMP_FSS_p_ALgtMaxSlopRoadRmtStrtUp\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadTPA\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA_Remote) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadTPArmt\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadRA\n\r \n\rESLE y = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1245240.0",
"Description": "IF[AND(1,2,3)] \n\r \n\r1) arbitrated function is PH \n\r \n\r2) abs(VSOEM_s_ALgtSlopRoadNrm) > y \n\r\n\rIF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GP) THEN y =\n\rVMMP_FSS_p_ALgtMaxSlopRoadRPA_GP\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PH) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadPHIPA \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRemote_Startup) THEN y =\n\rVMMP_FSS_p_ALgtMaxSlopRoadRmtStrtUp\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadTPA\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA_Remote) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadTPArmt\n\r \n\rESLE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadRA\n\r \n\rESLE y = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 223 | 16663282.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3)] 1) arbitrated function is CAA 2) abs(VSOEM_s_ALgtSlopRoadNrm) > y ELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IF[AND(1,2,3)] 1) arbitrated function is CAA 2) abs(VSOEM_s_ALgtSlopRoadNrm) > y ELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPAPrk) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAAPrk ELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPARPA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAARPA ELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPASummon) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAASum ELSE y = 0 3) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663282.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)] \n\r \n\r1) arbitrated function is CAA \n\r2) abs(VSOEM_s_ALgtSlopRoadNrm) > y\n\r \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPAPrk) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAAPrk \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPARPA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAARPA\n\r \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPASummon) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAASum\n\r \n\rELSE y = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287256.0",
"Description": "IF[AND(1,2,3)] \n\r \n\r1) arbitrated function is CAA \n\r2) abs(VSOEM_s_ALgtSlopRoadNrm) > y\n\r \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPAPrk) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAAPrk \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPARPA) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAARPA\n\r \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPASummon) THEN y = VMMP_FSS_p_ALgtMaxSlopRoadCAASum\n\r \n\rELSE y = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 224 | 16663283.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3,4)] 1) arbitrated function is PB 2) VSOEM_s_VLgtVehCor > VMMP_FSS_p_VMaxLimPBIPA 3) CFBPA_s_PB_IdxReqIdCur == VMIF[AND(1,2,3,4)] 1) arbitrated function is PB 2) VSOEM_s_VLgtVehCor > VMMP_FSS_p_VMaxLimPBIPA 3) CFBPA_s_PB_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PB 4) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663283.0",
"ASIL": " ASIL C",
"Text": "IF[AND(1,2,3,4)] \n\r \n\r1) arbitrated function is PB \n\r \n\r2) VSOEM_s_VLgtVehCor > VMMP_FSS_p_VMaxLimPBIPA\n\r3) CFBPA_s_PB_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PB\n\r \n\r4) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1245247.0",
"Description": "IF[AND(1,2,3,4)] \n\r \n\r1) arbitrated function is PB \n\r \n\r2) VSOEM_s_VLgtVehCor > VMMP_FSS_p_VMaxLimPBIPA\n\r3) CFBPA_s_PB_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PB\n\r \n\r4) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 225 | 16663284.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3)] 1) arbitrated function is PH 2) abs(VSOEM_s_VLgtVehCor) > x IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GIF[AND(1,2,3)] 1) arbitrated function is PH 2) abs(VSOEM_s_VLgtVehCor) > x IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GP) THEN x = VMMP_FSS_p_VMaxLimRPA_GP ELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PH) THEN x = VMMP_FSS_p_VMaxLimPHIPA ELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRemote_Startup) THEN x = VMMP_FSS_p_VMaxLimRmtStrtUp ELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA) THEN x = VMMP_FSS_p_VMaxLimTPA ELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA_Remote) THEN x = VMMP_FSS_p_VMaxLimTPArmt ELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRA) THEN x = VMMP_FSS_p_VMaxLimRA ELSE x = 0 3) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663284.0",
"ASIL": " ASIL C",
"Text": "IF[AND(1,2,3)] \n\r1) arbitrated function is PH \n\r \n\r2) abs(VSOEM_s_VLgtVehCor) > x\n\r \n\rIF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GP) THEN x = VMMP_FSS_p_VMaxLimRPA_GP\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PH) THEN x = VMMP_FSS_p_VMaxLimPHIPA \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRemote_Startup) THEN x = VMMP_FSS_p_VMaxLimRmtStrtUp\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA) THEN x = VMMP_FSS_p_VMaxLimTPA\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA_Remote) THEN x = VMMP_FSS_p_VMaxLimTPArmt\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRA) THEN x = VMMP_FSS_p_VMaxLimRA \n\r \n\rELSE x = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207680.0",
"Description": "IF[AND(1,2,3)] \n\r1) arbitrated function is PH \n\r \n\r2) abs(VSOEM_s_VLgtVehCor) > x\n\r \n\rIF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRPA_GP) THEN x = VMMP_FSS_p_VMaxLimRPA_GP\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdIPA_PH) THEN x = VMMP_FSS_p_VMaxLimPHIPA \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRemote_Startup) THEN x = VMMP_FSS_p_VMaxLimRmtStrtUp\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA) THEN x = VMMP_FSS_p_VMaxLimTPA\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdTPA_Remote) THEN x = VMMP_FSS_p_VMaxLimTPArmt\n\r \n\rELSE IF (CFBPA_s_PH_IdxReqIdCur == VMMP_c_IdxReqIdRA) THEN x = VMMP_FSS_p_VMaxLimRA \n\r \n\rELSE x = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 226 | 16663285.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,3)] 1) arbitrated function is CAA 2) abs(VSOEM_s_VLgtVehCor) > x IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAIF[AND(1,2,3)] 1) arbitrated function is CAA 2) abs(VSOEM_s_VLgtVehCor) > x IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPAPrk) THEN x = VMMP_FSS_p_VMaxLimCAAPrk ELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPARPA) THEN x = VMMP_FSS_p_VMaxLimCAARPA ELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPASummon) THEN x = VMMP_FSS_p_VMaxLimCAASum ELSE x = 0 3) State of the function is "state Ready" (see requirement ID THEN: FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) Raw{
"ID": "16663285.0",
"ASIL": " ASIL C",
"Text": "IF[AND(1,2,3)] \n\r1) arbitrated function is CAA \n\r \n\r2) abs(VSOEM_s_VLgtVehCor) > x\n\r \n\rIF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPAPrk) THEN x = VMMP_FSS_p_VMaxLimCAAPrk \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPARPA) THEN x = VMMP_FSS_p_VMaxLimCAARPA\n\r \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPASummon) THEN x = VMMP_FSS_p_VMaxLimCAASum\n\r \n\rELSE x = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1287258.0",
"Description": "IF[AND(1,2,3)] \n\r1) arbitrated function is CAA \n\r \n\r2) abs(VSOEM_s_VLgtVehCor) > x\n\r \n\rIF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPAPrk) THEN x = VMMP_FSS_p_VMaxLimCAAPrk \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPARPA) THEN x = VMMP_FSS_p_VMaxLimCAARPA\n\r \n\rELSE IF (CFBCAA_s_CAA_IdxReqIdCur == VMMP_c_IdxReqIdCAPASummon) THEN x = VMMP_FSS_p_VMaxLimCAASum\n\r \n\rELSE x = 0\n\r \n\r3) State of the function is \"state Ready\" (see requirement ID No InterWiki reference defined in properties for 'mks') \n\r \n\rTHEN: \n\rFSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) \n\rFSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 227 | 16663286.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | IF[AND(1,2,OR(AND(3,4), 5))] 1) FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) 2)FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (IF[AND(1,2,OR(AND(3,4), 5))] 1) FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable) 2)FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) 3) VSOEM_s_VLgtVehCor_FlgVld = true 4) VSOEM_s_VLgtVehCor < VMMP_FSS_p_VEmgcyPrkAly 5) VSOEM_s_VLgtVehCor_FlgVld = false THEN: FSS_s_FlgPrkPosnAlyReq == 1 (Parksperre einlegen, bool) ELSE: FSS_s_FlgPrkPosnAlyReq == 0 (Parksperre nicht einlegen, bool) Raw{
"ID": "16663286.0",
"ASIL": " ASIL B",
"Text": "IF[AND(1,2,OR(AND(3,4), 5))]\n\r \n\r1) FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable)\n\r \n\r2)FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) \n\r \n\r3) VSOEM_s_VLgtVehCor_FlgVld = true\n\r4) VSOEM_s_VLgtVehCor < VMMP_FSS_p_VEmgcyPrkAly\n\r5) VSOEM_s_VLgtVehCor_FlgVld = false\n\rTHEN:\n\rFSS_s_FlgPrkPosnAlyReq == 1 (Parksperre einlegen, bool)\n\rELSE:\n\rFSS_s_FlgPrkPosnAlyReq == 0 (Parksperre nicht einlegen, bool)",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1207736.0",
"Description": "IF[AND(1,2,OR(AND(3,4), 5))]\n\r \n\r1) FSS_s_StEnaReq == VMMP_FSS_c_StEnaReqReq (Enable)\n\r \n\r2)FSS_s_StStopReq == VMMP_FSS_c_StStopReqReq (StopRequest) \n\r \n\r3) VSOEM_s_VLgtVehCor_FlgVld = true\n\r4) VSOEM_s_VLgtVehCor < VMMP_FSS_p_VEmgcyPrkAly\n\r5) VSOEM_s_VLgtVehCor_FlgVld = false\n\rTHEN:\n\rFSS_s_FlgPrkPosnAlyReq == 1 (Parksperre einlegen, bool)\n\rELSE:\n\rFSS_s_FlgPrkPosnAlyReq == 0 (Parksperre nicht einlegen, bool)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 228 | 16663287.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Internal Signals (via measurement block)Internal Signals (via measurement block) Raw{
"ID": "16663287.0",
"ASIL": " ",
"Text": "Internal Signals (via measurement block)",
"Type": "Folder",
"Status": "",
"Summary": "Internal Signals (via measurement block)",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1381525.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 229 | 16663288.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | List of signals that needs to be imported into tpt can be found here:List of signals that needs to be imported into tpt can be found here: Raw{
"ID": "16663288.0",
"ASIL": " ",
"Text": "List of signals that needs to be imported into tpt can be found here:\n\rNo InterWiki reference defined in properties for 'integrity'",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1381527.0",
"Description": "List of signals that needs to be imported into tpt can be found here:\n\rNo InterWiki reference defined in properties for 'integrity'",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 230 | 16663289.0 | Functional | Released | yes | True | IF arbitrated function is PH THEN: The measured signal FSS_m_StFctArb shall be equal to 1 ELSEIF arbitrated function is PB THEIF arbitrated function is PH THEN: The measured signal FSS_m_StFctArb shall be equal to 1 ELSEIF arbitrated function is PB THEN: The measured signal FSS_m_StFctArb shall be equal to 2 ELSEIF arbitrated function is CAA THEN: The measured signal FSS_m_StFctArb shall be equal to 3 ELSE: The measured signal FSS_m_StFctArb shall be equal to 0 (default) Raw{
"ID": "16663289.0",
"ASIL": " QM",
"Text": "IF arbitrated function is PH\n\rTHEN:\n\rThe measured signal FSS_m_StFctArb shall be equal to 1\n\rELSEIF arbitrated function is PB\n\rTHEN:\n\rThe measured signal FSS_m_StFctArb shall be equal to 2\n\rELSEIF arbitrated function is CAA\n\rTHEN:\n\rThe measured signal FSS_m_StFctArb shall be equal to 3\n\rELSE:\n\rThe measured signal FSS_m_StFctArb shall be equal to 0 (default)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1381531.0",
"Description": "IF arbitrated function is PH\n\rTHEN:\n\rThe measured signal FSS_m_StFctArb shall be equal to 1\n\rELSEIF arbitrated function is PB\n\rTHEN:\n\rThe measured signal FSS_m_StFctArb shall be equal to 2\n\rELSEIF arbitrated function is CAA\n\rTHEN:\n\rThe measured signal FSS_m_StFctArb shall be equal to 3\n\rELSE:\n\rThe measured signal FSS_m_StFctArb shall be equal to 0 (default)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 231 | 16663290.0 | Functional | Released | yes | True | The measured signal FSS_m_FlgEndSafeStop is equal to condition FSS_Stopping successfull (1 means condition true, 0 means conditionThe measured signal FSS_m_FlgEndSafeStop is equal to condition FSS_Stopping successfull (1 means condition true, 0 means condition false) Raw{
"ID": "16663290.0",
"ASIL": " QM",
"Text": "The measured signal FSS_m_FlgEndSafeStop is equal to condition FSS_Stopping successfull (1 means condition true, 0 means condition false)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1381536.0",
"Description": "The measured signal FSS_m_FlgEndSafeStop is equal to condition FSS_Stopping successfull (1 means condition true, 0 means condition false)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 232 | 22335913.0 | Functional | Released | yes | True | IF[OR(1,AND(2,3))] 1.) Condition FSS_Stopping successfull is true. 2.) VSOVD_s_StDrvDir is not equal to VMMP_VSOVD_c_DrvDirPrk.IF[OR(1,AND(2,3))] 1.) Condition FSS_Stopping successfull is true. 2.) VSOVD_s_StDrvDir is not equal to VMMP_VSOVD_c_DrvDirPrk. 3.) VSOVD_s_StDrvDir was equal to VMMP_VSOVD_c_DrvDirPrk in the last software cycle. THEN: The measured signal FSS_m_FlgEndSafeStop shall be true. ELSE: The measured signal FSS_m_FlgEndSafeStop shall be false. Raw{
"ID": "22335913.0",
"ASIL": " QM",
"Text": "IF[OR(1,AND(2,3))]\n\r \n\r1.) Condition FSS_Stopping successfull is true.\n\r2.) VSOVD_s_StDrvDir is not equal to VMMP_VSOVD_c_DrvDirPrk.\n\r3.) VSOVD_s_StDrvDir was equal to VMMP_VSOVD_c_DrvDirPrk in the last software cycle.\n\r \n\rTHEN:\n\rThe measured signal FSS_m_FlgEndSafeStop shall be true.\n\rELSE:\n\rThe measured signal FSS_m_FlgEndSafeStop shall be false.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[OR(1,AND(2,3))]\n\r \n\r1.) Condition FSS_Stopping successfull is true.\n\r2.) VSOVD_s_StDrvDir is not equal to VMMP_VSOVD_c_DrvDirPrk.\n\r3.) VSOVD_s_StDrvDir was equal to VMMP_VSOVD_c_DrvDirPrk in the last software cycle.\n\r \n\rTHEN:\n\rThe measured signal FSS_m_FlgEndSafeStop shall be true.\n\rELSE:\n\rThe measured signal FSS_m_FlgEndSafeStop shall be false.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 233 | 16663291.0 | Functional | Released | yes | True | The measured signal FSS_m_FSSTrig is equal to condition a Trigger reason occurs (1 means condition true, 0 means condition false)The measured signal FSS_m_FSSTrig is equal to condition a Trigger reason occurs (1 means condition true, 0 means condition false) Raw{
"ID": "16663291.0",
"ASIL": " QM",
"Text": "The measured signal FSS_m_FSSTrig is equal to condition a Trigger reason occurs (1 means condition true, 0 means condition false)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1381538.0",
"Description": "The measured signal FSS_m_FSSTrig is equal to condition a Trigger reason occurs (1 means condition true, 0 means condition false)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 234 | 16663292.0 | Functional | Released | yes | True | The measured signal FSS_m_FSSFctlAvl is equal to condition functional availability (1 means condition true, 0 means condition falThe measured signal FSS_m_FSSFctlAvl is equal to condition functional availability (1 means condition true, 0 means condition false) Raw{
"ID": "16663292.0",
"ASIL": " QM",
"Text": "The measured signal FSS_m_FSSFctlAvl is equal to condition\n\rfunctional availability (1 means condition true, 0 means condition false)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1381540.0",
"Description": "The measured signal FSS_m_FSSFctlAvl is equal to condition\n\rfunctional availability (1 means condition true, 0 means condition false)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |