Workspace workspace · PostgreSQLLocal only

Transformation

Build dataset

Ground targets in imported source text, then review every example.

For VME-PROD chapter workbooks, use Workbook library and Modules & build to assemble preceding context automatically. This screen supports individual flat sources and testcases.

1Choose source import

29 candidate rows under the selected mapping profile. Context/non-target rows remain available for explicit links.

2Choose recipe and context

3

Choose execution mode

Semantic operations
Assisted mode sends each selected candidate's authentic target requirement, linked context text and exact entity names, descriptions, datatype and unit. Verification summaries also send testcase evidence. If a remote provider is selected, these source texts may leave this machine. The deterministic target remains intact.

Source text selected for this import

Record #RowIDRoleNormalized source text
25850216648279context
Short description
Short description
25851316648280context
The modul VVL (vehicle velocity limitation) sets actual velocity limit, considered limits are: - general velocity limit (through adjustment channel)
The modul VVL (vehicle velocity limitation) sets actual velocity limit, considered limits are:

- general velocity limit (through adjustment channel)

- velocity limit for transport mode
25852416648281context
Interface description
Interface description
25853516648282context
The signals and parameter files for the relevante SWRS are:
The signals and parameter files for the relevante SWRS are:
25854616648283context
25855716648284context
25856816648285context
The valid versions of the signals and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface description".
The valid versions of the signals and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface description".
25857916648286context
The valid version of the signal and parameter files for test basis to be find in CG, which to be tested.
The valid version of the signal and parameter files for test basis to be find in CG, which to be tested.
258581016648287context
Presetting/Framework/Definitions
Presetting/Framework/Definitions
258591116648288context
Toolchain
Toolchain
258601216648289context
The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.
The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.
258611316648290context
For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.
For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.
258621416648291context
Tolerances
Tolerances
258631516648292context
The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:
The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:
258641616648293context
Bool: No deviation allowed
Bool: No deviation allowed
258651716648294context
UInt, Int: No deviation allowed
UInt, Int: No deviation allowed
258661816648295context
Float: 0.1% related to the permissible value range of the signal
Float: 0.1% related to the permissible value range of the signal
258671916648296context
It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.
It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.
258682016648297context
Conditions
Conditions
258692116648298context
NVM simulation
NVM simulation
258702216648299context
NVM signals NVM (non-volatile memory) output signals are used to store information being calculated in the last time sample before ECU shutdown durin
NVM signals

NVM (non-volatile memory) output signals are used to store information being calculated in the last time sample before ECU shutdown during ECU sleep. By reading the corresponding NVM input signals, the stored values are available in the first time sample after ECU startup again. While the ECU is awake, the value of an NVM input signal is equal to the value of the corresponding NVM output signal of the previous time sample.

To simulate this signal behavior NVM input signals have to be stimulated as described below:

In the first time step the value of each NVM input signal has to be stimulated with the default value defined below. Once the value of the corresponding NVM output signal is available (starting from second time step), each NVM input signal has to be stimulated with the corresponding NVM output signal (feedback loop with a delay of one time step).

NVM_Input[t] = NVM_Output[t-1]
258712316648300context
258722416648301context
Input Conditions
Input Conditions
258732516648302context
If not requested differently, the following default signal values must be applied during each test case.
If not requested differently, the following default signal values must be applied during each test case.
258742616648303context
Signal and parameters state are added since they are not visible in SPE. As soon as the state will be added in SPE, they will not be valid anymore in
Signal and parameters state are added since they are not visible in SPE. As soon as the state will be added in SPE, they will not be valid anymore in this SWRS (SPE = master).
258752716648304context
VMM1 VMMP_s_DWDRead_VVehLimBwd
VMM1

VMMP_s_DWDRead_VVehLimBwd
258762816648305context
VMM2 VMMP_s_DWDRead_VVehLimFwd
VMM2

VMMP_s_DWDRead_VVehLimFwd
258772916648306context
VMM3 VMMP_s_DWDRead_VVehLimReq 0 = Init 1 = No Request 2 = Write Request
VMM3

VMMP_s_DWDRead_VVehLimReq

0 = Init

1 = No Request

2 = Write Request
258783016648307context
VMM4 VMMP_s_DWDRead_NumVehLimChk
VMM4

VMMP_s_DWDRead_NumVehLimChk
258793116648308context
VMM6 VMMP_s_DWDRead_VVehLimProd
VMM6

VMMP_s_DWDRead_VVehLimProd
258803216648309context
VMM7 VMMP_s_DWDRead_VVehLimProdReq 0 = Init 1 = No Request 2 = Write Request
VMM7

VMMP_s_DWDRead_VVehLimProdReq

0 = Init

1 = No Request

2 = Write Request
258813316648310context
VMM8 VMMP_s_NVMBlck03_IniErrSt 0 = OK 1 = NOK
VMM8

VMMP_s_NVMBlck03_IniErrSt

0 = OK

1 = NOK
258823416648311context
VMM9 VMMP_s_NVMBlck04_IniErrSt 0 = OK 1 = NOK
VMM9

VMMP_s_NVMBlck04_IniErrSt

0 = OK

1 = NOK
258833516648312context
SRV1 VSOEM_s_VLgtStdDev
SRV1 

VSOEM_s_VLgtStdDev
258843616648313context
SRV2 VSOEM_s_VLgtVehNrm
SRV2

VSOEM_s_VLgtVehNrm
258853716648314context
SRV3 VSOVD_s_StDrvDir DrvDirBwd = 2
SRV3

VSOVD_s_StDrvDir

DrvDirBwd = 2
258863816648315context
SRV4 VSOVD_s_StTrptProt
SRV4

VSOVD_s_StTrptProt
258873916648316context
SRV9 VSOVD_s_StCrExchProt
SRV9

VSOVD_s_StCrExchProt
258884016648317context
SRV10 VSOVD_s_StProdMd
SRV10

VSOVD_s_StProdMd
258894116648318context
SRV12 VSOVD_s_VehPwrLvl
SRV12

VSOVD_s_VehPwrLvl
258904216648319context
SRV13 VSOVD_s_StPwrMd
SRV13

VSOVD_s_StPwrMd
258914316648320context
NVM1 VMMP_s_NVM08Read_VVehLimFwd
NVM1

VMMP_s_NVM08Read_VVehLimFwd
258924416648321context
NVM2 VMMP_s_NVM09Read_VVehLimBwd
NVM2

VMMP_s_NVM09Read_VVehLimBwd
258934516648322context
NVM3 VMMP_s_NVM10Read_NumVehLimChk
NVM3

VMMP_s_NVM10Read_NumVehLimChk
258944616648323context
NVM5 VMMP_s_NVM11Read_FlgVehLimVld
NVM5

VMMP_s_NVM11Read_FlgVehLimVld
258954716648324context
NVM6 VMMP_s_NVM12Read_VVehLimProd
NVM6

VMMP_s_NVM12Read_VVehLimProd
258964816648325context
Parameters
Parameters
258974916648326context
P1 VMMP_VVL_p_VVehLimWithStdDev 0 = correction with standard deviation NOT active 1 = correction with standard deviation active 2 = correction w
P1

VMMP_VVL_p_VVehLimWithStdDev

0 = correction with standard deviation NOT active 

1 = correction with standard deviation active 

2 = correction with 3sigma active
258985016648327context
P2 VMMP_VVL_p_VVehLimTrptProtFwd
P2

VMMP_VVL_p_VVehLimTrptProtFwd
258995116648328context
P3 VMMP_VVL_p_VVehLimTrptProtBwd
P3

VMMP_VVL_p_VVehLimTrptProtBwd
259005216648329context
P4 VMMP_VVL_p_VVehLimTrptProtAcv
P4

VMMP_VVL_p_VVehLimTrptProtAcv
259015316648330context
P5 VMMP_VVL_p_VVehLimAdjChnAcv
P5

VMMP_VVL_p_VVehLimAdjChnAcv
259025416648331context
P6 VMMP_VVL_p_VVehLimFwdDft
P6

VMMP_VVL_p_VVehLimFwdDft
259035516648332context
P7 VMMP_VVL_p_VVehLimBwdDft
P7

VMMP_VVL_p_VVehLimBwdDft
259045616648333context
P9 VMMP_VVL_p_VVehLimStAcvFwd
P9

VMMP_VVL_p_VVehLimStAcvFwd
259055716648334context
P10 VMMP_VVL_p_SimVVehLimFwd
P10

VMMP_VVL_p_SimVVehLimFwd
259065816648335context
P11 VMMP_VVL_p_SimVVehLimBwd
P11

VMMP_VVL_p_SimVVehLimBwd
259075916648336context
P12 VMMP_VVL_p_SimSwt
P12

VMMP_VVL_p_SimSwt
259086016648337context
P13 VMMP_VVL_p_SimSwtVVehLim
P13

VMMP_VVL_p_SimSwtVVehLim
259096116648338context
P14 VMMP_VVL_p_SimVVehLimSt
P14

VMMP_VVL_p_SimVVehLimSt
259106216648339context
P15 VMMP_VVL_p_SimSwtVVehLimSt
P15

VMMP_VVL_p_SimSwtVVehLimSt
259116316648340context
P16 VMMP_VVL_p_SimNumVehLimChk
P16

VMMP_VVL_p_SimNumVehLimChk
259126416648341context
P20 VMMP_VVL_p_SwtUseStDrvDir
P20

VMMP_VVL_p_SwtUseStDrvDir
259136516648342context
P22 VMMP_VVL_p_DTCAdjChnVVehLimProdAcv
P22 

VMMP_VVL_p_DTCAdjChnVVehLimProdAcv
259146616648343context
P23 VMMP_VVL_p_DTCAdjChnVVehLimQTSAcvAcv
P23

VMMP_VVL_p_DTCAdjChnVVehLimQTSAcvAcv
259156716648344context
P24 VMMP_VVL_p_DTCAdjChnVVehLimCRCNotVldAcv
P24 

VMMP_VVL_p_DTCAdjChnVVehLimCRCNotVldAcv
259166816648345context
P25 VMMP_VVL_p_SwtVVehLimCl15Avl
P25

VMMP_VVL_p_SwtVVehLimCl15Avl
259176916648346context
P26 VMMP_VVL_p_VVehLimVThAvl
P26

VMMP_VVL_p_VVehLimVThAvl
259187016648347context
P27 VMMP_VVL_p_SwtVVehLimVThAvl
P27

VMMP_VVL_p_SwtVVehLimVThAvl
259197116648348context
P28 VMMP_VVL_p_VVehLimBwdMaxVal
P28

VMMP_VVL_p_VVehLimBwdMaxVal
259207216648349context
P29 VMMP_VVL_p_VVehLimProdVThAvl
P29

VMMP_VVL_p_VVehLimProdVThAvl
259217316648350context
P30 VMMP_VVL_p_AdjChnErrCodNoErr
P30

VMMP_VVL_p_AdjChnErrCodNoErr
259227416648351context
P31 VMMP_VVL_p_AdjChnErrCodOutOfRng
P31

VMMP_VVL_p_AdjChnErrCodOutOfRng
259237516648352context
P32 VMMP_VVL_p_AdjChnErrCodCl15Off
P32

VMMP_VVL_p_AdjChnErrCodCl15Off
259247616648353context
P33 VMMP_VVL_p_AdjChnErrCodVToHi
P33

VMMP_VVL_p_AdjChnErrCodVToHi
259257716648354context
P34 VMMP_VVL_p_AdjChnErrCodProdMdNotAcv
P34

VMMP_VVL_p_AdjChnErrCodProdMdNotAcv
259267816648355context
P35 VMMP_VVL_p_AdjChnErrCodDrvReqAcv
P35

VMMP_VVL_p_AdjChnErrCodDrvReqAcv
259277916648356context
P36 VMMP_VVL_p_AdjChnErrCodPTPwrNotOff
P36

VMMP_VVL_p_AdjChnErrCodPTPwrNotOff
259288016648357context
P37 VMMP_VVL_p_VVehLimProdVNotVldValMin
P37

VMMP_VVL_p_VVehLimProdVNotVldValMin
259298116648358context
P38 VMMP_VVL_p_VVehLimProdVNotVldValMax
P38

VMMP_VVL_p_VVehLimProdVNotVldValMax
259308216648359context
P39 VMMP_VVL_p_SimVVehLimProdFwd
P39

VMMP_VVL_p_SimVVehLimProdFwd
259318316648360context
P40 VMMP_VVL_p_SimSwtVVehLimProd
P40

VMMP_VVL_p_SimSwtVVehLimProd
259328416648361context
P41 VMMP_VVL_p_SimSwtVVehLimProdSt
P41

VMMP_VVL_p_SimSwtVVehLimProdSt
259338516648362context
P42 VMMP_VVL_p_SimVVehLimProdSt
P42

VMMP_VVL_p_SimVVehLimProdSt
259348616648363context
P43 VMMP_VVL_p_VVehLimProdNotAcvRst
P43

VMMP_VVL_p_VVehLimProdNotAcvRst
259358716648364context
P44 VMMP_VVL_p_VVehBwdTh
P44

VMMP_VVL_p_VVehBwdTh
259368816648365context
P45 VMMP_VVL_p_VVehLimFwdMaxVal
P45

VMMP_VVL_p_VVehLimFwdMaxVal
259378916648366context
P46 VMMP_VVL_p_AdjChnProdPreCndAcv
P46

VMMP_VVL_p_AdjChnProdPreCndAcv
259389016648367context
P47 VMMP_VVL_p_VVehLimAdjChnProdAcv
P47

VMMP_VVL_p_VVehLimAdjChnProdAcv
259399116648368context
P48 VMMP_VVL_p_SetDftGetErrStAcv
P48

VMMP_VVL_p_SetDftGetErrStAcv
259409216648369context
P49 VMMP_VSOVD_c_StPwrMdPwrOffMd
P49

VMMP_VSOVD_c_StPwrMdPwrOffMd
259419316648370context
P50 VMMP_VVL_p_WLVMaxAcv
P50

VMMP_VVL_p_WLVMaxAcv
259429416648371context
P51 VMMP_VVL_p_VVehLimSigStdDev
P51

VMMP_VVL_p_VVehLimSigStdDev
259439516648372context
P52 VMMP_VVL_p_DTCAdjChnVVehLimNotAcvAcv
P52

VMMP_VVL_p_DTCAdjChnVVehLimNotAcvAcv
259449616648373context
Predefinitions
Predefinitions
259459716648374context
VVLPC1 Driving direction backward IF OR(1,2) 1) the driving direction is backwards 2) the driving direction is smaller zero THEN the driving
VVLPC1 

Driving direction backward

IF OR(1,2)

1) the driving direction  is backwards

2) the driving direction  is smaller zero

THEN

the driving direction is backwards VVLPC1
259469816648375context
VVLPC2 CANCRC check is successful To verify the value of adjustment channel VVehLimFwd and VVehLimBwd with CRC checksum a CANCRC check is implem
VVLPC2 

CANCRC check is successful

To verify the value of adjustment channel VVehLimFwd  and VVehLimBwd  with CRC checksum  a CANCRC check is implemented.

IF

value fwd  and value bwd  are leading to a checksum 

THEN

the CANCRC check is successful VVLPC2
259479916648376context
CANCRC check: - the CRC uses the start value 65535 - the CRC uses the polynom 50585 (=CANCRC) - the CRC starts with the value for fwd und continues
CANCRC check:

- the CRC uses the start value 65535

- the CRC uses the polynom 50585 (=CANCRC)

- the CRC starts with the value for fwd und continues with the value for bwd

algorithm:

1) extract byte3 and shift it 16 positions to the right

2) XOR-connect the result with the start value

3) repeat this step for (in total) 8 times:

bitshift 1 position to the left and extract bit 16.

if bit 16 is

 - 0, then AND-connet the result with 0xFFFF (clear the upper 16 bits)

 - 1, then XOR-connect the result with the polynom and AND-connect it with 0xFFFF (clear the uper 16 bits)

4) continue with byte2, repeat step 1-3 for byte 2 and use the result of byte 3 as start value

5) continue with byte1, repeat step 1-3 for byte 2 and use the result of byte 2 as start value

6) continue with byte0, repeat step 1-3 for byte 2 and use the result of byte 1 as start value

7) continue with byte3 of value for bwd, use the result of byte0 of fwd as start value.

...

at the end, convert the result to a uint16.
2594810016648377context
Reactions
Reactions
2594910116648378context
VVL1 VVL_s_LgtLimV_StAcvFwd 0 = Passive 1 = Active 3 = Failure 6 = Init
VVL1

VVL_s_LgtLimV_StAcvFwd

0 = Passive 

1 = Active 

3 = Failure 

6 = Init

Explicit context link

Link a reviewed context row to a target row for the context-to-authentic-requirement recipe. Use the record numbers in the source table, including rows on other pages. Row adjacency never creates a link.