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_LOCSGC.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 302 | 16655243.0 | Functional | Released | yes | True | Not Available IF (CRM9) is equal to (P93) THEN (LOCSGC7) shall show (P40)Not Available IF (CRM9) is equal to (P93) THEN (LOCSGC7) shall show (P40) Raw{
"ID": "16655243.0",
"ASIL": " QM",
"Text": "Not Available\n\r \n\r \n\rIF\n\r(CRM9) is equal to (P93)\n\r \n\rTHEN\n\r(LOCSGC7) shall show (P40)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510726.0",
"Description": "Not Available\n\r \n\r \n\rIF\n\r(CRM9) is equal to (P93)\n\r \n\rTHEN\n\r(LOCSGC7) shall show (P40)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 303 | 16655244.0 | Functional | Released | yes | True | Restricted IF (CRM9) is equal to (P92) THEN (LOCSGC7) shall show (P58)Restricted IF (CRM9) is equal to (P92) THEN (LOCSGC7) shall show (P58) Raw{
"ID": "16655244.0",
"ASIL": " QM",
"Text": "Restricted\n\r \n\r \n\rIF\n\r(CRM9) is equal to (P92)\n\rTHEN\n\r(LOCSGC7) shall show (P58)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510732.0",
"Description": "Restricted\n\r \n\r \n\rIF\n\r(CRM9) is equal to (P92)\n\rTHEN\n\r(LOCSGC7) shall show (P58)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 304 | 16655245.0 | Functional | Released | yes | True | Restricted Regeneration IF (CRM9) is equal to (P91) THEN (LOCSGC7) shall show (P59).Restricted Regeneration IF (CRM9) is equal to (P91) THEN (LOCSGC7) shall show (P59). Raw{
"ID": "16655245.0",
"ASIL": " QM",
"Text": "Restricted Regeneration \n\r \n\r \n\rIF\n\r(CRM9) is equal to (P91)\n\rTHEN\n\r(LOCSGC7) shall show (P59).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510730.0",
"Description": "Restricted Regeneration \n\r \n\r \n\rIF\n\r(CRM9) is equal to (P91)\n\rTHEN\n\r(LOCSGC7) shall show (P59).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 305 | 16655246.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCSGC_s_StTrjTrckAvlLOCSGC_s_StTrjTrckAvl Raw{
"ID": "16655246.0",
"ASIL": " ",
"Text": "LOCSGC_s_StTrjTrckAvl",
"Type": "Folder",
"Status": "",
"Summary": "LOCSGC_s_StTrjTrckAvl",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1302549.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 306 | 16655247.0 | Functional | Released | yes | True | (LOCSGC8) shall show (P64) if not required differently in this chapter.(LOCSGC8) shall show (P64) if not required differently in this chapter. Raw{
"ID": "16655247.0",
"ASIL": " QM",
"Text": "(LOCSGC8) shall show (P64) if not required differently in this chapter.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302555.0",
"Description": "(LOCSGC8) shall show (P64) if not required differently in this chapter.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 307 | 16655248.0 | Functional | Released | yes | True | IF 1.) (P72) is smaller than 8 THEN (LOCSGC8) shall show the value of (P72).IF 1.) (P72) is smaller than 8 THEN (LOCSGC8) shall show the value of (P72). Raw{
"ID": "16655248.0",
"ASIL": " QM",
"Text": "IF\n\r1.) (P72) is smaller than 8\n\rTHEN\n\r(LOCSGC8) shall show the value of (P72).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302537.0",
"Description": "IF\n\r1.) (P72) is smaller than 8\n\rTHEN\n\r(LOCSGC8) shall show the value of (P72).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 308 | 16655249.0 | Functional | Released | yes | True | Priority of values: IF 1.) (P72) is greater than or equal to 8 THEN The constants on signal (LOCSGC8) have the priority as lisPriority of values: IF 1.) (P72) is greater than or equal to 8 THEN The constants on signal (LOCSGC8) have the priority as listed (highest priority on top, lowest priority below) 1. VMMP_LOC_c_StAvlIni (P37) 2. VMMP_LOC_c_StAvlFail (P38) 3. VMMP_LOC_c_StAvlNotAvl (P40) 4. VMMP_LOC_c_StAvlTrckDeceOnly (P66) 5. VMMP_LOC_c_StAvlTrckAvl (P64) Raw{
"ID": "16655249.0",
"ASIL": " QM",
"Text": "Priority of values:\n\rIF\n\r1.) (P72) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC8) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlTrckDeceOnly (P66)\n\r5. VMMP_LOC_c_StAvlTrckAvl (P64)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302544.0",
"Description": "Priority of values:\n\rIF\n\r1.) (P72) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC8) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlTrckDeceOnly (P66)\n\r5. VMMP_LOC_c_StAvlTrckAvl (P64)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 309 | 16655250.0 | Functional | Released | yes | True | Init IF (SRV7) is equal to (P51) THEN (LOCSGC8) shall show (P37).Init IF (SRV7) is equal to (P51) THEN (LOCSGC8) shall show (P37). Raw{
"ID": "16655250.0",
"ASIL": " QM",
"Text": "Init\n\r \n\r \n\rIF\n\r(SRV7) is equal to (P51)\n\rTHEN\n\r(LOCSGC8) shall show (P37).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302563.0",
"Description": "Init\n\r \n\r \n\rIF\n\r(SRV7) is equal to (P51)\n\rTHEN\n\r(LOCSGC8) shall show (P37).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 310 | 16655251.0 | Functional | Released | yes | True | Fail IF OR(1,2,3) 1) (CRM5) is equal to (P67) 2) (CRM6) is equal to (P67) 3) (SRV7) is equal to (P53) THEN (LOCSGC8) shall sFail IF OR(1,2,3) 1) (CRM5) is equal to (P67) 2) (CRM6) is equal to (P67) 3) (SRV7) is equal to (P53) THEN (LOCSGC8) shall show (P38). Raw{
"ID": "16655251.0",
"ASIL": " QM",
"Text": "Fail\n\r \n\r \n\rIF OR(1,2,3)\n\r1) (CRM5) is equal to (P67)\n\r2) (CRM6) is equal to (P67)\n\r3) (SRV7) is equal to (P53)\n\rTHEN\n\r(LOCSGC8) shall show (P38).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302554.0",
"Description": "Fail\n\r \n\r \n\rIF OR(1,2,3)\n\r1) (CRM5) is equal to (P67)\n\r2) (CRM6) is equal to (P67)\n\r3) (SRV7) is equal to (P53)\n\rTHEN\n\r(LOCSGC8) shall show (P38).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 311 | 16655252.0 | Functional | Released | yes | True | Not Available IF OR(1,2) 1) (CRM4) is equal to (P44) 2) (SRV7) is equal to (P54) THEN (LOCSGC8) shall show (P40).Not Available IF OR(1,2) 1) (CRM4) is equal to (P44) 2) (SRV7) is equal to (P54) THEN (LOCSGC8) shall show (P40). Raw{
"ID": "16655252.0",
"ASIL": " QM",
"Text": "Not Available\n\r \n\r \n\rIF OR(1,2)\n\r1) (CRM4) is equal to (P44)\n\r2) (SRV7) is equal to (P54)\n\rTHEN\n\r(LOCSGC8) shall show (P40).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302552.0",
"Description": "Not Available\n\r \n\r \n\rIF OR(1,2)\n\r1) (CRM4) is equal to (P44)\n\r2) (SRV7) is equal to (P54)\n\rTHEN\n\r(LOCSGC8) shall show (P40).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 312 | 16655253.0 | Functional | Released | yes | True | Dece Only IF OR(1,AND(2,OR(3,4,5,6))) 1) (CRM4) is equal to (P45) 2) (SRV7) is equal to (P68) 3) (SRV6) is equal to (P48) 4)Dece Only IF OR(1,AND(2,OR(3,4,5,6))) 1) (CRM4) is equal to (P45) 2) (SRV7) is equal to (P68) 3) (SRV6) is equal to (P48) 4) (SRV6) is equal to (P43) 5) (SRV6) is equal to (P47) 6) (SRV6) is equal to (P49) THEN (LOCSGC8) shall show (P66). Raw{
"ID": "16655253.0",
"ASIL": " QM",
"Text": "Dece Only\n\r \n\r \n\rIF OR(1,AND(2,OR(3,4,5,6)))\n\r \n\r \n\r1) (CRM4) is equal to (P45)\n\r2) (SRV7) is equal to (P68)\n\r3) (SRV6) is equal to (P48)\n\r4) (SRV6) is equal to (P43)\n\r5) (SRV6) is equal to (P47)\n\r6) (SRV6) is equal to (P49)\n\rTHEN\n\r(LOCSGC8) shall show (P66).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302557.0",
"Description": "Dece Only\n\r \n\r \n\rIF OR(1,AND(2,OR(3,4,5,6)))\n\r \n\r \n\r1) (CRM4) is equal to (P45)\n\r2) (SRV7) is equal to (P68)\n\r3) (SRV6) is equal to (P48)\n\r4) (SRV6) is equal to (P43)\n\r5) (SRV6) is equal to (P47)\n\r6) (SRV6) is equal to (P49)\n\rTHEN\n\r(LOCSGC8) shall show (P66).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 313 | 16655254.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCSGC_s_StTrjTrckAvlLOCSGC_s_StTrjTrckAvl Raw{
"ID": "16655254.0",
"ASIL": " ",
"Text": "LOCSGC_s_StTrjTrckAvl",
"Type": "Folder",
"Status": "",
"Summary": "LOCSGC_s_StTrjTrckAvl",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1510809.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 314 | 16655255.0 | Functional | Released | yes | True | (LOCSGC8) shall show (P64) if not required differently in this chapter.(LOCSGC8) shall show (P64) if not required differently in this chapter. Raw{
"ID": "16655255.0",
"ASIL": " QM",
"Text": "(LOCSGC8) shall show (P64) if not required differently in this chapter.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510743.0",
"Description": "(LOCSGC8) shall show (P64) if not required differently in this chapter.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 315 | 16655256.0 | Functional | Released | yes | True | IF 1.) (P72) is smaller than 8 THEN (LOCSGC8) shall show the value of (P72).IF 1.) (P72) is smaller than 8 THEN (LOCSGC8) shall show the value of (P72). Raw{
"ID": "16655256.0",
"ASIL": " QM",
"Text": "IF\n\r1.) (P72) is smaller than 8\n\rTHEN\n\r(LOCSGC8) shall show the value of (P72).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510735.0",
"Description": "IF\n\r1.) (P72) is smaller than 8\n\rTHEN\n\r(LOCSGC8) shall show the value of (P72).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 316 | 16655257.0 | Functional | Released | yes | True | Priority of values: IF 1.) (P72) is greater than or equal to 8 THEN The constants on signal (LOCSGC8) have the priority as lisPriority of values: IF 1.) (P72) is greater than or equal to 8 THEN The constants on signal (LOCSGC8) have the priority as listed (highest priority on top, lowest priority below) 1. VMMP_LOC_c_StAvlIni (P37) 2. VMMP_LOC_c_StAvlFail (P38) 3. VMMP_LOC_c_StAvlNotAvl (P40) 4. VMMP_LOC_c_StAvlTrckDeceOnly (P66) 5. VMMP_LOC_c_StAvlTrckAvl (P64) Raw{
"ID": "16655257.0",
"ASIL": " QM",
"Text": "Priority of values:\n\rIF\n\r1.) (P72) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC8) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlTrckDeceOnly (P66)\n\r5. VMMP_LOC_c_StAvlTrckAvl (P64)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510737.0",
"Description": "Priority of values:\n\rIF\n\r1.) (P72) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC8) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlTrckDeceOnly (P66)\n\r5. VMMP_LOC_c_StAvlTrckAvl (P64)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 317 | 16655258.0 | Functional | Released | yes | True | Init IF (CRM10) is equal to (P96) THEN (LOCSGC8) shall show (P37).Init IF (CRM10) is equal to (P96) THEN (LOCSGC8) shall show (P37). Raw{
"ID": "16655258.0",
"ASIL": " QM",
"Text": "Init\n\r \n\r \n\rIF\n\r(CRM10) is equal to (P96)\n\rTHEN\n\r(LOCSGC8) shall show (P37).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510747.0",
"Description": "Init\n\r \n\r \n\rIF\n\r(CRM10) is equal to (P96)\n\rTHEN\n\r(LOCSGC8) shall show (P37).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 318 | 16655259.0 | Functional | Released | yes | True | Fail IF (CRM10) is equal to (P97) THEN (LOCSGC8) shall show (P38).Fail IF (CRM10) is equal to (P97) THEN (LOCSGC8) shall show (P38). Raw{
"ID": "16655259.0",
"ASIL": " QM",
"Text": "Fail\n\r \n\r \n\rIF\n\r(CRM10) is equal to (P97)\n\r \n\rTHEN\n\r(LOCSGC8) shall show (P38).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510741.0",
"Description": "Fail\n\r \n\r \n\rIF\n\r(CRM10) is equal to (P97)\n\r \n\rTHEN\n\r(LOCSGC8) shall show (P38).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 319 | 16655260.0 | Functional | Released | yes | True | Not Available IF (CRM10) is equal to (P98) THEN (LOCSGC8) shall show (P40).Not Available IF (CRM10) is equal to (P98) THEN (LOCSGC8) shall show (P40). Raw{
"ID": "16655260.0",
"ASIL": " QM",
"Text": "Not Available\n\r \n\r \n\rIF\n\r(CRM10) is equal to (P98)\n\rTHEN\n\r(LOCSGC8) shall show (P40).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510739.0",
"Description": "Not Available\n\r \n\r \n\rIF\n\r(CRM10) is equal to (P98)\n\rTHEN\n\r(LOCSGC8) shall show (P40).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 320 | 16655261.0 | Functional | Released | yes | True | Dece Only IF OR(1,AND(2,OR(3,4,5,6))) 1) (CRM10) is equal to (P99) 2) (SRV7) is equal to (P68) 3) (SRV6) is equal to (P48) 4)Dece Only IF OR(1,AND(2,OR(3,4,5,6))) 1) (CRM10) is equal to (P99) 2) (SRV7) is equal to (P68) 3) (SRV6) is equal to (P48) 4) (SRV6) is equal to (P43) 5) (SRV6) is equal to (P47) 6) (SRV6) is equal to (P49) THEN (LOCSGC8) shall show (P66). Raw{
"ID": "16655261.0",
"ASIL": " QM",
"Text": "Dece Only\n\r \n\r \n\rIF OR(1,AND(2,OR(3,4,5,6)))\n\r \n\r \n\r1) (CRM10) is equal to (P99)\n\r2) (SRV7) is equal to (P68)\n\r3) (SRV6) is equal to (P48)\n\r4) (SRV6) is equal to (P43)\n\r5) (SRV6) is equal to (P47)\n\r6) (SRV6) is equal to (P49)\n\rTHEN\n\r(LOCSGC8) shall show (P66).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510745.0",
"Description": "Dece Only\n\r \n\r \n\rIF OR(1,AND(2,OR(3,4,5,6)))\n\r \n\r \n\r1) (CRM10) is equal to (P99)\n\r2) (SRV7) is equal to (P68)\n\r3) (SRV6) is equal to (P48)\n\r4) (SRV6) is equal to (P43)\n\r5) (SRV6) is equal to (P47)\n\r6) (SRV6) is equal to (P49)\n\rTHEN\n\r(LOCSGC8) shall show (P66).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 321 | 16655262.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCSGC_s_StTqDeceAvlLOCSGC_s_StTqDeceAvl Raw{
"ID": "16655262.0",
"ASIL": " ",
"Text": "LOCSGC_s_StTqDeceAvl",
"Type": "Folder",
"Status": "",
"Summary": "LOCSGC_s_StTqDeceAvl",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1302553.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 322 | 16655263.0 | Functional | Released | yes | True | (LOCSGC9) shall show (P42) if not required differently in this chapter.(LOCSGC9) shall show (P42) if not required differently in this chapter. Raw{
"ID": "16655263.0",
"ASIL": " QM",
"Text": "(LOCSGC9) shall show (P42) if not required differently in this chapter.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302536.0",
"Description": "(LOCSGC9) shall show (P42) if not required differently in this chapter.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 323 | 16655264.0 | Functional | Released | yes | True | IF (P69) is smaller than 8 THEN: (LOCSGC9) shall show the value of (P69).IF (P69) is smaller than 8 THEN: (LOCSGC9) shall show the value of (P69). Raw{
"ID": "16655264.0",
"ASIL": " QM",
"Text": "IF\n\r(P69) is smaller than 8\n\rTHEN:\n\r(LOCSGC9) shall show the value of (P69).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302542.0",
"Description": "IF\n\r(P69) is smaller than 8\n\rTHEN:\n\r(LOCSGC9) shall show the value of (P69).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 324 | 16655265.0 | Functional | Released | yes | True | Priority of values: IF (P69) is greater than or equal to 8 THEN The constants on signal (LOCSGC9) have the priority as listedPriority of values: IF (P69) is greater than or equal to 8 THEN The constants on signal (LOCSGC9) have the priority as listed (highest priority on top, lowest priority below) 1. VMMP_LOC_c_StAvlIni (P37) 2. VMMP_LOC_c_StAvlFail (P38) 3. VMMP_LOC_c_StAvlNotAvl (P40) 4. VMMP_LOC_c_StAvlDeceRstct (P58) 5. VMMP_LOC_c_StAvlDeceRstctRgn (P59) 6. VMMP_LOC_c_StAvlAvl (P42) Raw{
"ID": "16655265.0",
"ASIL": " QM",
"Text": "Priority of values:\n\rIF\n\r(P69) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC9) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlDeceRstct (P58)\n\r5. VMMP_LOC_c_StAvlDeceRstctRgn (P59)\n\r6. VMMP_LOC_c_StAvlAvl (P42)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302529.0",
"Description": "Priority of values:\n\rIF\n\r(P69) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC9) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlDeceRstct (P58)\n\r5. VMMP_LOC_c_StAvlDeceRstctRgn (P59)\n\r6. VMMP_LOC_c_StAvlAvl (P42)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 325 | 16655266.0 | Functional | Released | yes | True | Init IF OR(1,AND(2,3)) 1) (SRV7) is equal to (P51) 2) (CRM2) is equal to (P70) 3) (CRM1) is equal to (P71) THEN (LOCSGC9) shInit IF OR(1,AND(2,3)) 1) (SRV7) is equal to (P51) 2) (CRM2) is equal to (P70) 3) (CRM1) is equal to (P71) THEN (LOCSGC9) shall show (P37). Raw{
"ID": "16655266.0",
"ASIL": " QM",
"Text": "Init\n\r \n\r \n\rIF OR(1,AND(2,3))\n\r \n\r \n\r1) (SRV7) is equal to (P51)\n\r2) (CRM2) is equal to (P70)\n\r3) (CRM1) is equal to (P71)\n\rTHEN\n\r(LOCSGC9) shall show (P37).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302535.0",
"Description": "Init\n\r \n\r \n\rIF OR(1,AND(2,3))\n\r \n\r \n\r1) (SRV7) is equal to (P51)\n\r2) (CRM2) is equal to (P70)\n\r3) (CRM1) is equal to (P71)\n\rTHEN\n\r(LOCSGC9) shall show (P37).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 326 | 16655267.0 | Functional | Released | yes | True | Fail IF OR(1,AND(2,3)) 1) (SRV7) is equal to (P53) 2) (CRM2) is equal to (P70) 3) (CRM1) is not equal to (P71) THEN: (LOCSGCFail IF OR(1,AND(2,3)) 1) (SRV7) is equal to (P53) 2) (CRM2) is equal to (P70) 3) (CRM1) is not equal to (P71) THEN: (LOCSGC9) shall show (P38). Raw{
"ID": "16655267.0",
"ASIL": " QM",
"Text": "Fail\n\r \n\r \n\rIF OR(1,AND(2,3))\n\r \n\r \n\r1) (SRV7) is equal to (P53)\n\r2) (CRM2) is equal to (P70)\n\r3) (CRM1) is not equal to (P71)\n\rTHEN:\n\r(LOCSGC9) shall show (P38).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302538.0",
"Description": "Fail\n\r \n\r \n\rIF OR(1,AND(2,3))\n\r \n\r \n\r1) (SRV7) is equal to (P53)\n\r2) (CRM2) is equal to (P70)\n\r3) (CRM1) is not equal to (P71)\n\rTHEN:\n\r(LOCSGC9) shall show (P38).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 327 | 16655268.0 | Functional | Released | yes | True | Not Available IF (SRV7) is equal to (P54) THEN (LOCSGC9) shall show (P40).Not Available IF (SRV7) is equal to (P54) THEN (LOCSGC9) shall show (P40). Raw{
"ID": "16655268.0",
"ASIL": " QM",
"Text": "Not Available\n\r \n\r \n\rIF\n\r(SRV7) is equal to (P54)\n\rTHEN\n\r(LOCSGC9) shall show (P40).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302543.0",
"Description": "Not Available\n\r \n\r \n\rIF\n\r(SRV7) is equal to (P54)\n\rTHEN\n\r(LOCSGC9) shall show (P40).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 328 | 16655269.0 | Functional | Released | yes | True | Dece Restricted IF (SRV7) is equal to (P55) THEN (LOCSGC9) shall show (P58).Dece Restricted IF (SRV7) is equal to (P55) THEN (LOCSGC9) shall show (P58). Raw{
"ID": "16655269.0",
"ASIL": " QM",
"Text": "Dece Restricted\n\r \n\r \n\rIF\n\r(SRV7) is equal to (P55)\n\rTHEN\n\r(LOCSGC9) shall show (P58).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302541.0",
"Description": "Dece Restricted\n\r \n\r \n\rIF\n\r(SRV7) is equal to (P55)\n\rTHEN\n\r(LOCSGC9) shall show (P58).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 329 | 16655270.0 | Functional | Released | yes | True | Dece Restricted Regeneration IF OR(1,2,3,4) 1) (SRV8) is equal to (P60) 2) (SRV8) is equal to (P61) 3) (SRV8) is equal to (P62Dece Restricted Regeneration IF OR(1,2,3,4) 1) (SRV8) is equal to (P60) 2) (SRV8) is equal to (P61) 3) (SRV8) is equal to (P62) 4) (SRV8) is equal to (P63) THEN (LOCSGC9) shall show (P59). Raw{
"ID": "16655270.0",
"ASIL": " QM",
"Text": "Dece Restricted Regeneration\n\r \n\r \n\rIF OR(1,2,3,4)\n\r \n\r \n\r1) (SRV8) is equal to (P60)\n\r2) (SRV8) is equal to (P61)\n\r3) (SRV8) is equal to (P62)\n\r4) (SRV8) is equal to (P63)\n\rTHEN\n\r(LOCSGC9) shall show (P59).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1302546.0",
"Description": "Dece Restricted Regeneration\n\r \n\r \n\rIF OR(1,2,3,4)\n\r \n\r \n\r1) (SRV8) is equal to (P60)\n\r2) (SRV8) is equal to (P61)\n\r3) (SRV8) is equal to (P62)\n\r4) (SRV8) is equal to (P63)\n\rTHEN\n\r(LOCSGC9) shall show (P59).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 330 | 16655271.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCSGC_s_StTqDeceAvlLOCSGC_s_StTqDeceAvl Raw{
"ID": "16655271.0",
"ASIL": " ",
"Text": "LOCSGC_s_StTqDeceAvl",
"Type": "Folder",
"Status": "",
"Summary": "LOCSGC_s_StTqDeceAvl",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1510814.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 331 | 16655272.0 | Functional | Released | yes | True | (LOCSGC9) shall show (P42) if not required differently in this chapter.(LOCSGC9) shall show (P42) if not required differently in this chapter. Raw{
"ID": "16655272.0",
"ASIL": " QM",
"Text": "(LOCSGC9) shall show (P42) if not required differently in this chapter.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510753.0",
"Description": "(LOCSGC9) shall show (P42) if not required differently in this chapter.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 332 | 16655273.0 | Functional | Released | yes | True | IF (P69) is smaller than 8 THEN: (LOCSGC9) shall show the value of (P69).IF (P69) is smaller than 8 THEN: (LOCSGC9) shall show the value of (P69). Raw{
"ID": "16655273.0",
"ASIL": " QM",
"Text": "IF\n\r(P69) is smaller than 8\n\rTHEN:\n\r(LOCSGC9) shall show the value of (P69).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510759.0",
"Description": "IF\n\r(P69) is smaller than 8\n\rTHEN:\n\r(LOCSGC9) shall show the value of (P69).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 333 | 16655274.0 | Functional | Released | yes | True | Priority of values: IF (P69) is greater than or equal to 8 THEN The constants on signal (LOCSGC9) have the priority as listedPriority of values: IF (P69) is greater than or equal to 8 THEN The constants on signal (LOCSGC9) have the priority as listed (highest priority on top, lowest priority below) 1. VMMP_LOC_c_StAvlIni (P37) 2. VMMP_LOC_c_StAvlFail (P38) 3. VMMP_LOC_c_StAvlNotAvl (P40) 4. VMMP_LOC_c_StAvlDeceRstct (P58) 5. VMMP_LOC_c_StAvlDeceRstctRgn (P59) 6. VMMP_LOC_c_StAvlAvl (P42) Raw{
"ID": "16655274.0",
"ASIL": " QM",
"Text": "Priority of values:\n\rIF\n\r(P69) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC9) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlDeceRstct (P58)\n\r5. VMMP_LOC_c_StAvlDeceRstctRgn (P59)\n\r6. VMMP_LOC_c_StAvlAvl (P42)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510749.0",
"Description": "Priority of values:\n\rIF\n\r(P69) is greater than or equal to 8\n\rTHEN\n\rThe constants on signal (LOCSGC9) have the priority as listed (highest priority on top, lowest priority below)\n\r \n\r \n\r1. VMMP_LOC_c_StAvlIni (P37)\n\r2. VMMP_LOC_c_StAvlFail (P38)\n\r3. VMMP_LOC_c_StAvlNotAvl (P40)\n\r4. VMMP_LOC_c_StAvlDeceRstct (P58)\n\r5. VMMP_LOC_c_StAvlDeceRstctRgn (P59)\n\r6. VMMP_LOC_c_StAvlAvl (P42)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 334 | 16655275.0 | Functional | Released | yes | True | Init IF OR(AND(1,2),3) 1)(CRM1) is equal to (P71) 2)(CRM2) is equal to (P70) 3)(CRM11) is equal to (P105) THEN (LOCSGC9) shaInit IF OR(AND(1,2),3) 1)(CRM1) is equal to (P71) 2)(CRM2) is equal to (P70) 3)(CRM11) is equal to (P105) THEN (LOCSGC9) shall show (P37). Raw{
"ID": "16655275.0",
"ASIL": " QM",
"Text": "Init\n\r \n\r \n\rIF OR(AND(1,2),3)\n\r1)(CRM1) is equal to (P71)\n\r2)(CRM2) is equal to (P70)\n\r3)(CRM11) is equal to (P105)\n\rTHEN\n\r(LOCSGC9) shall show (P37).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510751.0",
"Description": "Init\n\r \n\r \n\rIF OR(AND(1,2),3)\n\r1)(CRM1) is equal to (P71)\n\r2)(CRM2) is equal to (P70)\n\r3)(CRM11) is equal to (P105)\n\rTHEN\n\r(LOCSGC9) shall show (P37).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 335 | 16655276.0 | Functional | Released | yes | True | Fail IF OR(1,2) 1) (CRM11) is equal to (P104) 2) (CRM2) is equal to (P70) THEN: (LOCSGC9) shall show (P38).Fail IF OR(1,2) 1) (CRM11) is equal to (P104) 2) (CRM2) is equal to (P70) THEN: (LOCSGC9) shall show (P38). Raw{
"ID": "16655276.0",
"ASIL": " QM",
"Text": "Fail\n\r \n\r \n\rIF OR(1,2)\n\r \n\r1) (CRM11) is equal to (P104)\n\r2) (CRM2) is equal to (P70)\n\r \n\rTHEN:\n\r(LOCSGC9) shall show (P38).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510755.0",
"Description": "Fail\n\r \n\r \n\rIF OR(1,2)\n\r \n\r1) (CRM11) is equal to (P104)\n\r2) (CRM2) is equal to (P70)\n\r \n\rTHEN:\n\r(LOCSGC9) shall show (P38).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 336 | 16655277.0 | Functional | Released | yes | True | Not Available IF (CRM11) is equal to (P103) THEN (LOCSGC9) shall show (P40).Not Available IF (CRM11) is equal to (P103) THEN (LOCSGC9) shall show (P40). Raw{
"ID": "16655277.0",
"ASIL": " QM",
"Text": "Not Available\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P103)\n\rTHEN\n\r(LOCSGC9) shall show (P40).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510761.0",
"Description": "Not Available\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P103)\n\rTHEN\n\r(LOCSGC9) shall show (P40).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 337 | 16655278.0 | Functional | Released | yes | True | Dece Restricted IF (CRM11) is equal to (P102) THEN (LOCSGC9) shall show (P58).Dece Restricted IF (CRM11) is equal to (P102) THEN (LOCSGC9) shall show (P58). Raw{
"ID": "16655278.0",
"ASIL": " QM",
"Text": "Dece Restricted\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P102)\n\rTHEN\n\r(LOCSGC9) shall show (P58).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510757.0",
"Description": "Dece Restricted\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P102)\n\rTHEN\n\r(LOCSGC9) shall show (P58).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 338 | 16655279.0 | Functional | Released | yes | True | Dece Restricted Regeneration IF (CRM11) is equal to (P101) THEN (LOCSGC9) shall show (P59).Dece Restricted Regeneration IF (CRM11) is equal to (P101) THEN (LOCSGC9) shall show (P59). Raw{
"ID": "16655279.0",
"ASIL": " QM",
"Text": "Dece Restricted Regeneration\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P101)\n\rTHEN\n\r(LOCSGC9) shall show (P59).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1510763.0",
"Description": "Dece Restricted Regeneration\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P101)\n\rTHEN\n\r(LOCSGC9) shall show (P59).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 339 | 16655280.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered | Available IF (CRM11) is equal to (P100) THEN (LOCSGC9) shall show (P42).Available IF (CRM11) is equal to (P100) THEN (LOCSGC9) shall show (P42). Raw{
"ID": "16655280.0",
"ASIL": " QM",
"Text": "Available\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P100)\n\rTHEN\n\r(LOCSGC9) shall show (P42).",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1510897.0",
"Description": "Available\n\r \n\r \n\rIF\n\r(CRM11) is equal to (P100)\n\rTHEN\n\r(LOCSGC9) shall show (P42).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 340 | 16655281.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Hold Failure DetectionHold Failure Detection Raw{
"ID": "16655281.0",
"ASIL": " ",
"Text": "Hold Failure Detection",
"Type": "Folder",
"Status": "",
"Summary": "Hold Failure Detection",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1303218.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 341 | 16655282.0 | Functional | Released | yes | True | IF AND(1, OR(2,3,4), 5,6) 1) hold failure detection function (P32) is active 2) HMS availability (HMS2) is "not available" (P28)IF AND(1, OR(2,3,4), 5,6) 1) hold failure detection function (P32) is active 2) HMS availability (HMS2) is "not available" (P28) 3) HMS availability (HMS2) is "failure" (P29) 4) HMS availability (HMS2) is "long term hold failure" (P30) 5) LOC requests (LOCSGC1) "hold" (P16) 6) for a time (P31) THEN flag for hold time out (LOCSGC3) is set to "true" for one timestep. Raw{
"ID": "16655282.0",
"ASIL": " ASIL B",
"Text": "IF AND(1, OR(2,3,4), 5,6)\n\r1) hold failure detection function (P32) is active\n\r2) HMS availability (HMS2) is \"not available\" (P28)\n\r3) HMS availability (HMS2) is \"failure\" (P29)\n\r4) HMS availability (HMS2) is \"long term hold failure\" (P30)\n\r5) LOC requests (LOCSGC1) \"hold\" (P16)\n\r6) for a time (P31)\n\rTHEN\n\rflag for hold time out (LOCSGC3) is set to \"true\" for one timestep.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1303224.0",
"Description": "IF AND(1, OR(2,3,4), 5,6)\n\r1) hold failure detection function (P32) is active\n\r2) HMS availability (HMS2) is \"not available\" (P28)\n\r3) HMS availability (HMS2) is \"failure\" (P29)\n\r4) HMS availability (HMS2) is \"long term hold failure\" (P30)\n\r5) LOC requests (LOCSGC1) \"hold\" (P16)\n\r6) for a time (P31)\n\rTHEN\n\rflag for hold time out (LOCSGC3) is set to \"true\" for one timestep.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 342 | 16655283.0 | Functional | Released | yes | True | IF OR(1, AND(2,3,4), 5,6) 1) hold failure detection function (P32) is not active 2) HMS availability (HMS2) is not "not availablIF OR(1, AND(2,3,4), 5,6) 1) hold failure detection function (P32) is not active 2) HMS availability (HMS2) is not "not available" (P28) 3) HMS availability (HMS2) is not "failure" (P29) 4) HMS availability (HMS2) is not "long term hold failure" (P30) 5) LOC does not requests (LOCSGC1) "hold" (P16) 6) the flag for hold time out was true in the previous timestep THEN flag for hold time out (LOCSGC3) is set to "false". Raw{
"ID": "16655283.0",
"ASIL": " ASIL B",
"Text": "IF OR(1, AND(2,3,4), 5,6)\n\r1) hold failure detection function (P32) is not active\n\r2) HMS availability (HMS2) is not \"not available\" (P28)\n\r3) HMS availability (HMS2) is not \"failure\" (P29)\n\r4) HMS availability (HMS2) is not \"long term hold failure\" (P30)\n\r5) LOC does not requests (LOCSGC1) \"hold\" (P16)\n\r6) the flag for hold time out was true in the previous timestep\n\rTHEN\n\rflag for hold time out (LOCSGC3) is set to \"false\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1303226.0",
"Description": "IF OR(1, AND(2,3,4), 5,6)\n\r1) hold failure detection function (P32) is not active\n\r2) HMS availability (HMS2) is not \"not available\" (P28)\n\r3) HMS availability (HMS2) is not \"failure\" (P29)\n\r4) HMS availability (HMS2) is not \"long term hold failure\" (P30)\n\r5) LOC does not requests (LOCSGC1) \"hold\" (P16)\n\r6) the flag for hold time out was true in the previous timestep\n\rTHEN\n\rflag for hold time out (LOCSGC3) is set to \"false\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 343 | 16655284.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Qualification of LimV and LimAQualification of LimV and LimA Raw{
"ID": "16655284.0",
"ASIL": " ",
"Text": "Qualification of LimV and LimA",
"Type": "Folder",
"Status": "",
"Summary": "Qualification of LimV and LimA",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1303261.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 344 | 16655285.0 | Functional | Released | yes | True | IF AND(1,2,3,4) 1) the LimA path (LOC9) of ARB is active (=1) 2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)IF AND(1,2,3,4) 1) the LimA path (LOC9) of ARB is active (=1) 2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) 3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) 4) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) THEN the state of deceleration critical max (LOCSGC4) is the ARB state of deceleration critical max (ARB11). Raw{
"ID": "16655285.0",
"ASIL": " ASIL C",
"Text": "IF AND(1,2,3,4)\n\r1) the LimA path (LOC9) of ARB is active (=1)\n\r2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r4) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is the ARB state of deceleration critical max (ARB11).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1303279.0",
"Description": "IF AND(1,2,3,4)\n\r1) the LimA path (LOC9) of ARB is active (=1)\n\r2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r4) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is the ARB state of deceleration critical max (ARB11).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 345 | 45474936.0 | Functional | Released | yes | True | IF AND(1,2,3,OR(AND(4,5),AND(NOT(4),6))) 1) the LimA path (LOC9) of ARB is active (=1) 2) ADmd of LOC (LOC10) is greater or equaIF AND(1,2,3,OR(AND(4,5),AND(NOT(4),6))) 1) the LimA path (LOC9) of ARB is active (=1) 2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) 3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) 4) dynamic tolerane switch of LOC (LOC15) is false 5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) 6) dynamic tolerance of LOC (LOC12) is greater or equal than ADmd of ARB (ARB8) THEN the state of deceleration critical max (LOCSGC4) is the ARB state of deceleration critical max (ARB11). Raw{
"ID": "45474936.0",
"ASIL": " ASIL C",
"Text": "IF AND(1,2,3,OR(AND(4,5),AND(NOT(4),6)))\n\r1) the LimA path (LOC9) of ARB is active (=1)\n\r2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r4) dynamic tolerane switch of LOC (LOC15) is false\n\r5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\r6) dynamic tolerance of LOC (LOC12) is greater or equal than ADmd of ARB (ARB8)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is the ARB state of deceleration critical max (ARB11).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF AND(1,2,3,OR(AND(4,5),AND(NOT(4),6)))\n\r1) the LimA path (LOC9) of ARB is active (=1)\n\r2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r4) dynamic tolerane switch of LOC (LOC15) is false\n\r5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\r6) dynamic tolerance of LOC (LOC12) is greater or equal than ADmd of ARB (ARB8)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is the ARB state of deceleration critical max (ARB11).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 346 | 16655286.0 | Functional | Released | yes | True | IF OR(1,2,3,4) 1) the LimA path (LOC9) of LOC is active (=2) 2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8) 3) highIF OR(1,2,3,4) 1) the LimA path (LOC9) of LOC is active (=2) 2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8) 3) high tolerance of LOC (LOC11) is smaller than high tolerance of ARB (ARB9) 4) dynamic tolerance of LOC (LOC12) is smaller than dynamic tolerance of ARB (ARB10) THEN the state of deceleration critical max (LOCSGC4) is QM (P33). Raw{
"ID": "16655286.0",
"ASIL": " ASIL D",
"Text": "IF OR(1,2,3,4)\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is smaller than high tolerance of ARB (ARB9)\n\r4) dynamic tolerance of LOC (LOC12) is smaller than dynamic tolerance of ARB (ARB10)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is QM (P33).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1303263.0",
"Description": "IF OR(1,2,3,4)\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is smaller than high tolerance of ARB (ARB9)\n\r4) dynamic tolerance of LOC (LOC12) is smaller than dynamic tolerance of ARB (ARB10)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is QM (P33).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 347 | 45477958.0 | Functional | Released | yes | True | IF OR(1,2,3,AND(4,5),AND(NOT(4),6)) 1) the LimA path (LOC9) of LOC is active (=2) 2) ADmd of LOC (LOC10) is smaller than ADmd ofIF OR(1,2,3,AND(4,5),AND(NOT(4),6)) 1) the LimA path (LOC9) of LOC is active (=2) 2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8) 3) high tolerance of LOC (LOC11) is smaller than high tolerance of ARB (ARB9) 4) dynamic tolerane switch of LOC (LOC15) is false 5) dynamic tolerance of LOC (LOC12) is smaller than dynamic tolerance of ARB (ARB10) 6) dynamic tolerance of LOC (LOC12) is smaller than ADmd of ARB (ARB8) THEN the state of deceleration critical max (LOCSGC4) is QM (P33). Raw{
"ID": "45477958.0",
"ASIL": " ASIL D",
"Text": "IF OR(1,2,3,AND(4,5),AND(NOT(4),6))\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is smaller than high tolerance of ARB (ARB9)\n\r4) dynamic tolerane switch of LOC (LOC15) is false\n\r5) dynamic tolerance of LOC (LOC12) is smaller than dynamic tolerance of ARB (ARB10)\n\r6) dynamic tolerance of LOC (LOC12) is smaller than ADmd of ARB (ARB8)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is QM (P33).",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF OR(1,2,3,AND(4,5),AND(NOT(4),6))\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) ADmd of LOC (LOC10) is smaller than ADmd of ARB (ARB8)\n\r3) high tolerance of LOC (LOC11) is smaller than high tolerance of ARB (ARB9)\n\r4) dynamic tolerane switch of LOC (LOC15) is false\n\r5) dynamic tolerance of LOC (LOC12) is smaller than dynamic tolerance of ARB (ARB10)\n\r6) dynamic tolerance of LOC (LOC12) is smaller than ADmd of ARB (ARB8)\n\rTHEN\n\rthe state of deceleration critical max (LOCSGC4) is QM (P33).",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 348 | 16655287.0 | Functional | Released | yes | True | IF AND(OR(1,AND(2,NOT(AND(3,4,5)))), OR(6,7,8)) 1) the LimA path (LOC9) of LOC is active (=2) 2) the LimA path (LOC9) of ARB isIF AND(OR(1,AND(2,NOT(AND(3,4,5)))), OR(6,7,8)) 1) the LimA path (LOC9) of LOC is active (=2) 2) the LimA path (LOC9) of ARB is active (=1) 3) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) 4) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) 5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) 6) ESC state (SRV4) is PATA1 (P34) 7) ESC state (SRV4) is PATA2 (P35) 8) number of defect braking lights (SRV5) is greater 1 THEN the flag acceleration only (LOCSGC5) is "true". Raw{
"ID": "16655287.0",
"ASIL": " ASIL B",
"Text": "IF AND(OR(1,AND(2,NOT(AND(3,4,5)))), OR(6,7,8))\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) the LimA path (LOC9) of ARB is active (=1)\n\r3) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r4) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\r6) ESC state (SRV4) is PATA1 (P34)\n\r7) ESC state (SRV4) is PATA2 (P35)\n\r8) number of defect braking lights (SRV5) is greater 1\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"true\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1303281.0",
"Description": "IF AND(OR(1,AND(2,NOT(AND(3,4,5)))), OR(6,7,8))\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) the LimA path (LOC9) of ARB is active (=1)\n\r3) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r4) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\r6) ESC state (SRV4) is PATA1 (P34)\n\r7) ESC state (SRV4) is PATA2 (P35)\n\r8) number of defect braking lights (SRV5) is greater 1\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"true\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 349 | 16655288.0 | Functional | Released | yes | True | IF AND(OR(1,AND(2,NOT(AND(3,4,5,6)))), 7) 1) the LimA path (LOC9) of LOC is active (=2) 2) the LimA path (LOC9) of ARB is activeIF AND(OR(1,AND(2,NOT(AND(3,4,5,6)))), 7) 1) the LimA path (LOC9) of LOC is active (=2) 2) the LimA path (LOC9) of ARB is active (=1) 3) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) 4) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) 5) the flag ADmd to ATlrHiDyn (P83) is false 6) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) 7) targetsate (CRM7) is equal to AcceOnly (P82) THEN the flag acceleration only (LOCSGC5) is "true". Raw{
"ID": "16655288.0",
"ASIL": " ASIL B",
"Text": "IF AND(OR(1,AND(2,NOT(AND(3,4,5,6)))), 7)\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) the LimA path (LOC9) of ARB is active (=1)\n\r3) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r4) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r5) the flag ADmd to ATlrHiDyn (P83) is false\n\r6) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\r7) targetsate (CRM7) is equal to AcceOnly (P82)\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"true\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1509767.0",
"Description": "IF AND(OR(1,AND(2,NOT(AND(3,4,5,6)))), 7)\n\r1) the LimA path (LOC9) of LOC is active (=2)\n\r2) the LimA path (LOC9) of ARB is active (=1)\n\r3) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8)\n\r4) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9)\n\r5) the flag ADmd to ATlrHiDyn (P83) is false\n\r6) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10)\n\r7) targetsate (CRM7) is equal to AcceOnly (P82)\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"true\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 350 | 36585956.0 | Functional | Released | yes | True | IF AND(NOT(AND(1,2,3,OR(AND(4,5),AND(NOT(4),6)))), OR(7,8,AND(9,10))) 1) the LimA path (LOC9) of ARB is active (=1) 2) ADmd of LIF AND(NOT(AND(1,2,3,OR(AND(4,5),AND(NOT(4),6)))), OR(7,8,AND(9,10))) 1) the LimA path (LOC9) of ARB is active (=1) 2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) - 0.001 3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) - 0.001 4) dynamic tolerane switch of LOC (LOC15) is false 5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) -0.001 6) dynamic tolerance of LOC (LOC12) is greater or equal than ADmd of ARB (ARB8) - 0.001 7) targetsate (CRM7) is equal to AcceOnly (P82) 8) drive direction (SRV12) is equal to (P109) 9) drive direction (SRV12) is equal to (P108) or (P111) or (P112) 10) parameter ( P113) is true THEN the flag acceleration only (LOCSGC5) is "true". Raw{
"ID": "36585956.0",
"ASIL": " ASIL B",
"Text": "IF AND(NOT(AND(1,2,3,OR(AND(4,5),AND(NOT(4),6)))), OR(7,8,AND(9,10)))\n\r1) the LimA path (LOC9) of ARB is active (=1)\n\r2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) - 0.001\n\r3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) - 0.001\n\r4) dynamic tolerane switch of LOC (LOC15) is false\n\r5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) -0.001\n\r6) dynamic tolerance of LOC (LOC12) is greater or equal than ADmd of ARB (ARB8) - 0.001\n\r7) targetsate (CRM7) is equal to AcceOnly (P82)\n\r8) drive direction (SRV12) is equal to (P109)\n\r9) drive direction (SRV12) is equal to (P108) or (P111) or (P112)\n\r10) parameter ( P113) is true\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"true\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF AND(NOT(AND(1,2,3,OR(AND(4,5),AND(NOT(4),6)))), OR(7,8,AND(9,10)))\n\r1) the LimA path (LOC9) of ARB is active (=1)\n\r2) ADmd of LOC (LOC10) is greater or equal than ADmd of ARB (ARB8) - 0.001\n\r3) high tolerance of LOC (LOC11) is greater or equal than high tolerance of ARB (ARB9) - 0.001\n\r4) dynamic tolerane switch of LOC (LOC15) is false\n\r5) dynamic tolerance of LOC (LOC12) is greater or equal than dynamic tolerance of ARB (ARB10) -0.001\n\r6) dynamic tolerance of LOC (LOC12) is greater or equal than ADmd of ARB (ARB8) - 0.001\n\r7) targetsate (CRM7) is equal to AcceOnly (P82)\n\r8) drive direction (SRV12) is equal to (P109)\n\r9) drive direction (SRV12) is equal to (P108) or (P111) or (P112)\n\r10) parameter ( P113) is true\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"true\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 351 | 16655289.0 | Functional | Released | yes | True | IF OR(1, AND(2,3,4)) 1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11) 2)IF OR(1, AND(2,3,4)) 1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11) 2) ESC state (SRV4) is not PATA1 (P34) 3) ESC state (SRV4) is not PATA2 (P35) 4) number of defect braking lights (SRV5) is smaller 2 THEN the flag acceleration only (LOCSGC5) is "false". Raw{
"ID": "16655289.0",
"ASIL": " ASIL B",
"Text": "IF OR(1, AND(2,3,4))\n\r1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11)\n\r2) ESC state (SRV4) is not PATA1 (P34)\n\r3) ESC state (SRV4) is not PATA2 (P35)\n\r4) number of defect braking lights (SRV5) is smaller 2\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"false\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1303283.0",
"Description": "IF OR(1, AND(2,3,4))\n\r1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11)\n\r2) ESC state (SRV4) is not PATA1 (P34)\n\r3) ESC state (SRV4) is not PATA2 (P35)\n\r4) number of defect braking lights (SRV5) is smaller 2\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"false\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 352 | 16655290.0 | Functional | Released | yes | True | IF OR(1,2) 1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11) THEN 2) tarIF OR(1,2) 1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11) THEN 2) targetsate (CRM7) is not equal to AcceOnly (P82) THEN the flag acceleration only (LOCSGC5) is "false". Raw{
"ID": "16655290.0",
"ASIL": " ASIL B",
"Text": "IF OR(1,2)\n\r1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11)\n\rTHEN\n\r2) targetsate (CRM7) is not equal to AcceOnly (P82)\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"false\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1509769.0",
"Description": "IF OR(1,2)\n\r1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11)\n\rTHEN\n\r2) targetsate (CRM7) is not equal to AcceOnly (P82)\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"false\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 353 | 36585957.0 | Functional | Released | yes | True | IF OR(1,AND(2,3,OR(4,5))) 1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11IF OR(1,AND(2,3,OR(4,5))) 1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11) 2) targetsate (CRM7) is not equal to AcceOnly (P82) 3) drive direction ( SRV12 ) is not equal to ( P109) 4) drive direction ( SRV12 ) is not equal to (P108) or ( P111 ) or ( P112 ) 5) parameter ( P113 ) is false THEN the flag acceleration only (LOCSGC5) is "false". Raw{
"ID": "36585957.0",
"ASIL": " ASIL B",
"Text": "IF OR(1,AND(2,3,OR(4,5)))\n\r1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11)\n\r2) targetsate (CRM7) is not equal to AcceOnly (P82)\n\r3) drive direction (\n\rSRV12\n\r)\n\ris not equal to \n\r (\n\rP109)\n\r \n\r4) drive direction ( SRV12 ) is not equal to (P108) or ( P111 ) or ( \n\rP112\n\r)\n\r5) parameter (\n\rP113\n\r) is false\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"false\".",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF OR(1,AND(2,3,OR(4,5)))\n\r1) the state of deceleration critcal max (LOCSGC4) is the ARB state of deceleration critical max (ARB11)\n\r2) targetsate (CRM7) is not equal to AcceOnly (P82)\n\r3) drive direction (\n\rSRV12\n\r)\n\ris not equal to \n\r (\n\rP109)\n\r \n\r4) drive direction ( SRV12 ) is not equal to (P108) or ( P111 ) or ( \n\rP112\n\r)\n\r5) parameter (\n\rP113\n\r) is false\n\rTHEN\n\rthe flag acceleration only (LOCSGC5) is \"false\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |