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
2595010216648379context
VVL2 VVL_s_LgtLimV_VDmdFwd
VVL2

VVL_s_LgtLimV_VDmdFwd
2595110316648380context
VVL3 VVL_s_LgtLimV_StAcvBwd 0 = Passive 1 = Active 3 = Failure 6 = Init
VVL3

VVL_s_LgtLimV_StAcvBwd

0 = Passive 

1 = Active 

3 = Failure 

6 = Init
2595210416648381context
VVL4 VVL_s_LgtLimV_VDmdBwd
VVL4

VVL_s_LgtLimV_VDmdBwd
2595310516648382context
VVL5 VMMP_s_DWDWrite_VVehLimFwd
VVL5

VMMP_s_DWDWrite_VVehLimFwd
2595410616648383context
VVL6 VMMP_s_DWDWrite_VVehLimBwd
VVL6

VMMP_s_DWDWrite_VVehLimBwd
2595510716648384context
VVL7 VMMP_s_DWDWrite_VVehLimSt 0 = Init 1 = Ready 2 = Written 5 = Error
VVL7

VMMP_s_DWDWrite_VVehLimSt

0 = Init

1 = Ready

2 = Written

5 = Error
2595610816648385context
VVL8 VMMP_s_DWDWrite_VVehLimErrCod
VVL8

VMMP_s_DWDWrite_VVehLimErrCod
2595710916648386context
VVL9 VMMP_s_DWDWrite_NumVehLimChk
VVL9

VMMP_s_DWDWrite_NumVehLimChk
2595811016648387context
VVL12 VMMP_s_NVM08Write_VVehLimFwd
VVL12 

VMMP_s_NVM08Write_VVehLimFwd
2595911116648388context
VVL13 VMMP_s_NVM09Write_VVehLimBwd
VVL13

VMMP_s_NVM09Write_VVehLimBwd
2596011216648389context
VVL14 VMMP_s_NVM10Write_NumVehLimChk
VVL14

VMMP_s_NVM10Write_NumVehLimChk
2596111316648390context
VVL16 VMMP_s_DWDWrite_VVehLimProd
VVL16

 VMMP_s_DWDWrite_VVehLimProd
2596211416648391context
VVL17 VMMP_s_DWDWrite_VVehLimProdErrCod
VVL17

VMMP_s_DWDWrite_VVehLimProdErrCod
2596311516648392context
VVL18 VMMP_s_DWDWrite_VVehLimProdSt
VVL18

VMMP_s_DWDWrite_VVehLimProdSt
2596411616648393context
VVL19 VMMP_s_NVM11Write_FlgVehLimVld
VVL19

VMMP_s_NVM11Write_FlgVehLimVld
2596511716648394context
VVL20 VMMP_s_NVM12Write_VVehLimProd
VVL20

VMMP_s_NVM12Write_VVehLimProd
2596611816648395context
VVL21 VMMP_s_NVMBlck03Wr
VVL21

VMMP_s_NVMBlck03Wr
2596711916648396context
VVL22 VMMP_s_NVMBlck04Wr
VVL22

VMMP_s_NVMBlck04Wr
2596812016648397context
VVL23 VVL_s_FlgDTCAdjChnVVehLimCRCNotVld
VVL23

VVL_s_FlgDTCAdjChnVVehLimCRCNotVld
2596912116648398context
VVL24 VVL_s_FlgDTCAdjChnVVehLimProd
VVL24

VVL_s_FlgDTCAdjChnVVehLimProd
2597012216648399context
VVL25 VVL_s_FlgDTCAdjChnVVehLimQTSAcv
VVL25

VVL_s_FlgDTCAdjChnVVehLimQTSAcv
2597112316648400context
VVL26 VVL_s_FlgSetWLVMax
VVL26

VVL_s_FlgSetWLVMax
2597212416648401context
VVL27 VVL_s_DTCAdjChnVVehLimNotAcv
VVL27

VVL_s_DTCAdjChnVVehLimNotAcv
2597312516648402context
Requirements
Requirements
2597412616648403context
General requirements
General requirements
2597512716648404candidate
State active forward: The signal always gives the value of the parameter
State active forward:

The signal  always gives the value of the parameter
2597612816648405candidate
IF the NOT(driving direction is backwards ) THEN the velocity limit backward must be 121 AND the velocity limit backward state must be not activ
IF

the NOT(driving direction is backwards  )

THEN

the velocity limit backward must be 121

AND the velocity limit backward state  must be not active.
2597712916648406context
Adjustment channel customer - max velocity
Adjustment channel customer - max velocity
2597813016648407context
For the whole chapter, the function adjustment channel customer must be active
For the whole chapter, the function adjustment channel customer must be active
2597913116648408context
Preconditions adjustment channel customer
Preconditions adjustment channel customer
2598013222401097context
The prioritization from this chapter is as follow (prio 1 > prio 2 > prio 3 > prio 4) - ErrorCode - velocity too high = prio 1 - ErrorCode - Clamp15
The prioritization from this chapter is as follow (prio 1 > prio 2 > prio 3 > prio 4)

- ErrorCode - velocity too high = prio 1

- ErrorCode - Clamp15 Off = prio 2

- ErrorCode - Out of range = prio 3

- Adjustment channel available = prio 4
2598113316648409candidate
ErrorCode - Out of range IF OR(1,2) 1) the value for velocity limit fwd is greater than the threshold ( *1000) 2) the value for velocity limit bw
ErrorCode - Out of range

IF OR(1,2)

1) the value for velocity limit fwd  is greater than the threshold (  *1000)

2) the value for velocity limit bwd  is greater than the threshold (  *1000)

THEN

the error code  is set to "out of range" 

AND the adjustment channel is not available.
2598213416648410candidate
ErrorCode - Clamp15 Off IF AND (1,2) 1) the clamp15 is not active 2) error code clamp15 is active THEN the error code is set to "clamp 15 off"
ErrorCode - Clamp15 Off

IF AND (1,2)

1) the clamp15  is not active

2) error code clamp15  is active

THEN

the error code  is set to "clamp 15 off" 

AND the adjustment channel is not available.
2598313516648411candidate
ErrorCode - velocity too high IF AND(1,2) 1) the abs(vehicle velocity) is greater than the threshold 2) error code velocity to high is active T
ErrorCode - velocity too high

IF AND(1,2)

1) the abs(vehicle velocity)  is greater than the threshold 

2) error code velocity to high  is active

THEN

the error code  is set to "velocity to high" 

AND the adjustment channel is not available.
2598413616648412candidate
Adjustment channel available IF AND(1,2,3,4) 1) the value for velocity limit fwd is smaller/equal than the threshold ( *1000) 2) the value for vel
Adjustment channel available

IF AND(1,2,3,4)

1) the value for velocity limit fwd  is smaller/equal than the threshold ( *1000)

2) the value for velocity limit bwd  is smaller/equal than the threshold (*1000)

3) the clamp15  is active

4) the abs(vehicle velocity)  is smaller/equal than the threshold 

THEN

the error code  is set to "no error" 

AND the adjustment channel is available.
2598513716648413candidate
Write adjustment channel customer IF AND(1,2,3,4 AND AFTERWARDS (5)) 1) the adjustment channel is available 2) a value for velocity limit fwd has
Write adjustment channel customer

IF AND(1,2,3,4 AND AFTERWARDS (5))

1) the adjustment channel is available

2) a value for velocity limit fwd  has been set

3) a value for velocity limit bwd  has been set

4) a value for CRC check summ  has been set

5) the request of velocity limit  has the value "write request" for one timestep

THEN

the NVM value for velocity limit fwd  and the value for velocity limit fwd  must be 

AND the NVM value for velocity limit bwd  and the value for velocity limit bwd  must be 

AND the NVM for CANCRC check sum  and the value for CANCRC check sum  must be ((VVM4))

AND the NVM write trigger  must be set for at least on time step

AND the adjustment channel costumer has been written.
2598613816648414candidate
Adjustment channel customer active IF AND(1,2) 1) the adjustment channel customer has been written 2) the CANCRC check is correct THEN the adju
Adjustment channel customer active

IF AND(1,2)

1) the adjustment channel customer has been written 

2) the CANCRC check is correct 

THEN

the adjustment channel is active
2598713916648415candidate
Adjustment channel customer not active IF NOT(OR(1,2)) 1) the adjustment channel customer has been written 2) the CANCRC check is correct THEN
Adjustment channel customer not active

IF NOT(OR(1,2))

1) the adjustment channel customer has been written 

2) the CANCRC check is correct  

THEN

for correction with standard deviation  NOT active:

the NOT(adjustment channel is active )

AND the velocity limit forward  must be 

AND the velocity limit backward  must be 

for correction with standard deviation  active:

the NOT(adjustment channel is active )

AND the velocity limit forward  must be *(1 - (/100)).

AND the velocity limit backward  must be *(1 - (/100)).

for correction with 3sigma  active:

the NOT(adjustment channel is active )

AND the velocity limit forward  must be *

AND the velocity limit backward  must be *
2598814016648416candidate
Adjustment channel forward: IF AND(1,2) 1) the adjustment channel is active 2) exchange protection is not active THEN for correction with stand
Adjustment channel forward:

IF AND(1,2)

1) the adjustment channel is active 

2) exchange protection  is not active

THEN

for correction with standard deviation  NOT active:

the velocity limit forward  must be /1000.

for correction with standard deviation  active:

the velocity limit forward  must be (/1000)*(1 - (/100)).

for correction with 3sigma  active:

the velocity limit forward  must be /1000)*
2598914116648417candidate
Adjustment channel backward - corrected: IF AND(1,2,3) 1) the adjustment channel is active 2) the driving direction is backward 3) exchange prot
Adjustment channel backward - corrected:

IF AND(1,2,3)

1) the adjustment channel is active 

2) the driving direction is backward 

3) exchange protection  is not active

THEN

for correction with standard deviation  NOT active:

the velocity limit backward  must be /1000

AND the velocity limit backward state  must be active.

for correction with standard deviation  active:

the velocity limit backward  must be (/1000)*(1 - (/100)).

AND the velocity limit backward state  must be active.

for correction with 3sigma  active:

the velocity limit backward  must be /1000)*

AND the velocity limit backward state  must be active.
2599014216648418candidate
DTC adjustment channel customer IF AND(1,2) 1) the NOT(adjustment channel is active ) 2) the switch for dtc adjustment channel customer is active
DTC adjustment channel customer

IF AND(1,2)

1) the NOT(adjustment channel is active )

2) the switch for dtc adjustment channel customer  is active

THEN

the dtc "adjustment channel customer not valid"  is set.
2599114316648419candidate
Exchange protection IF AND(1,2) 1) exchange protection is active 2) the switch for dtc exchange protection is active THEN for correction with s
Exchange protection

IF AND(1,2)

1) exchange protection  is active

2) the switch for dtc exchange protection  is active

THEN

for correction with standard deviation  NOT active:

the dtc "exchange protection active"  is set

AND the velocity limit forward  must be 

AND the velocity limit backward  must be 

for correction with standard deviation  active:

the dtc "exchange protection active"  is set

AND the velocity limit forward  must be *(1 - (/100)).

AND the velocity limit backward  must be *(1 - (/100)).

for correction with 3sigma  active:

the dtc "exchange protection active"  is set

AND the velocity limit forward  must be *

AND the velocity limit backward  must be *
2599214416648420candidate
Adjustment channel customer - warning lamp IF AND(OR(1,2,3),4,5) 1) init error status is "NOK" 2) CANCRC check is NOT correct 3) exchange protec
Adjustment channel customer - warning lamp

IF AND(OR(1,2,3),4,5)

1) init error status  is "NOK"

2) CANCRC check is NOT correct 

3) exchange protection  is active

4) the switch for warning lamp  is active

5) the switch for DTC for "adjustment channel customer not active"  is active

THEN

the warning lamp  must be requested

AND the DTC for "adjustment channel customer not active"  must be set.
2599314516648421candidate
Init Error Status - corrected IF AND(1,2) 1) init error status is "NOK" 2) the switch for init error state usage is active THEN for correction
Init Error Status - corrected

IF AND(1,2)

1) init error status  is "NOK"

2) the switch for init error state usage  is active

THEN

for correction with standard deviation  NOT active:

the velocity limit forward  must be 

for correction with standard deviation  active:

AND the velocity limit forward  must be *(1 - (/100)).

for correction with 3sigma  active:

AND the velocity limit forward  must be *
2599414616648422context
Transport Mode
Transport Mode
2599514716648423candidate
Transport Mode forward corrected: IF AND(1,2) 1) transport mode is active 2) the use of transport mode parameters is active THEN for correction
Transport Mode forward corrected:

IF AND(1,2)

1) transport mode is active 

2) the use of transport mode parameters is active 

THEN

for correction with standard deviation  NOT active:

the vehicle velocity limit forward  must be 

for correction with standard deviation  active:

vehicle velocity limit forward  must be *(1 - (/100)).

for correction with 3sigma  active:

vehicle velocity limit forward  must be *
2599614816648424candidate
Transport Mode backward: IF AND(1,2,3) 1) transport mode is active 2) the use of transport mode parameters is active 3) the driving direction is
Transport Mode backward:

IF AND(1,2,3)

1) transport mode is active 

2) the use of transport mode parameters is active 

3) the driving direction is backward 

THEN

for correction with standard deviation  NOT active:

the vehicle velocity limit backward  must be 

AND the velocity limit backward state  must be active.

for correction with standard deviation  active:

the vehicle velocity limit backward  must be *(1 - (/100))

AND the velocity limit backward state  must be active.

for correction with 3sigma  active:

the vehicle velocity limit backward  must be *

AND the velocity limit backward state  must be active.
2599714916648425context
Production Mode
Production Mode
2599815016648426context
For the whole chapter, the function adjustment channel customer must be active
For the whole chapter, the function adjustment channel customer must be active
2599915116648427context
Precondition ProdMd
Precondition ProdMd
2600015223659315context
The prioritization from this chapter is as follow (prio 1 > prio 2 > prio 3 > prio 4 > prio 5 > prio 6) - ErrorCode - PT power off mode = prio 1 - E
The prioritization from this chapter is as follow (prio 1 > prio 2 > prio 3 > prio 4 > prio 5 > prio 6)

- ErrorCode - PT power off mode = prio 1

- ErrorCode - velocity too high = prio 2

- ErrorCode - clamp15 off = prio 3

- ErrorCode - production mode not active

 = prio 4

- ErrorCode - out of range = prio 5

- Adjustment channel production available = prio 6
2600115316648428candidate
ErrorCode - out of range IF AND(1,2,3) 1) the value for production mode velocity limit is greater/equal the min threshold 2) the value for produc
ErrorCode - out of range

IF AND(1,2,3)

1) the value for production mode velocity limit  is greater/equal the min threshold 

2) the value for production mode velocity limit  is smaller/equal the max threshold 

3) error code "out of range"  bit0 is active

THEN

the error code  is set to "out of range" 

AND the adjustment channel production mode is not available.
2600215416648429candidate
ErrorCode - production mode not active IF AND(1,2) 1) the production mode is not active 2) error code "production mode not active" bit1 is active
ErrorCode - production mode not active

IF AND(1,2)

1) the production mode  is not active

2) error code "production mode not active"  bit1 is active

THEN

the error code  is set to "production mode not active" 

AND the adjustment channel production mode is not available.
2600315516648430candidate
ErrorCode - clamp15 off IF AND(1,2) 1) the clamp15 is not active 2) error code "clamp15 off" bit2 is active THEN the error code is set to "cla
ErrorCode - clamp15 off

IF AND(1,2)

1) the clamp15  is not active

2) error code "clamp15 off"  bit2 is active

THEN

the error code  is set to "clamp15 off" 

AND the adjustment channel production mode is not available.
2600415616648431candidate
ErrorCode - velocity too high IF AND(1,2) 1) the abs(vehicle velocity ) is greater than the threshold (P29 / 3.6) 2) error code "velocity too high"
ErrorCode - velocity too high

IF AND(1,2)

1) the abs(vehicle velocity ) is greater than the threshold (P29 / 3.6)

2) error code "velocity too high" (P46) bit3 is active

THEN

the error code  is set to "velocity too high" 

AND the adjustment channel production mode is not available.
2600515716648432candidate
ErrorCode - PT power off mode IF AND(1,2) 1) the PT power off mode condition ((SRV13)) is not 2) error code "PT power off mode" bit5 is active T
ErrorCode - PT power off mode

IF AND(1,2)

1) the PT power off mode condition ((SRV13)) is not 

2) error code "PT power off mode"  bit5 is active

THEN

the error code  is set to "PT power off mode" 

AND the adjustment channel production mode is not available.
2600615816648433candidate
Adjustment channel production available IF AND(1,2,3,4,5) 1) the value for production mode velocity limit is NOT within the range of and 2) the p
Adjustment channel production available

IF AND(1,2,3,4,5)

1) the value for production mode velocity limit is NOT within the range of  and 

2) the production mode  is active

3) the clamp15  is active

4) the abs(vehicle velocity ) is smaller/equal the threshold ((P29) / 3.6)

5) the PT power off mode condition  is equal to 

THEN

the error code  is set to "no error" 

AND the adjustment channel production mode is available.
2600715916648434candidate
DTC adjustment channel production mode IF AND(1,2,3,4) 1) the adjustment channel production mode has been written 2) the switch for dtc adjustment
DTC adjustment channel production mode

IF AND(1,2,3,4)

1) the adjustment channel production mode has been written 

2) the switch for dtc adjustment channel production mode  is active

3) init error state  is "OK" (=0)

4) init error state switch  is active

THEN

the dtc "adjustment channel production mode active"  is set.
2600816016648435candidate
No DTC adjustment channel production mode IF OR(1,2,3) 1) the NOT(adjustment channel production mode has been written) 2) the switch for dtc adjust
No DTC adjustment channel production mode

IF OR(1,2,3)

1) the NOT(adjustment channel production mode has been written)

2) the switch for dtc adjustment channel production mode  is NOT active

3) init error state  is "NOK" 

THEN

the dtc "adjustment channel production mode active"  is NOT set.
2600916116648436candidate
Write adjustment channel production mode IF AND(1,2, AND AFTERWARDS (3)) 1) the adjustment channel production mode is available 2) a value for velo
Write adjustment channel production mode

IF AND(1,2, AND AFTERWARDS (3))

1) the adjustment channel production mode is available

2) a value for velocity limit for production mode  has been set

3) the request of velocity limit for production mode  has the value "write request" for one timestep

THEN

the NVM value for velocity limit for production mode  and the velocity limit for production mode  must be 

AND the NVM write trigger  must be set for at least on time step

AND the adjustment channel production mode has been written.
2601016216648437candidate
Adjustment channel production mode: IF AND(1,2,3) 1) the adjustment channel production mode has been written 2) the written value is greater than
Adjustment channel production mode:

IF AND(1,2,3)

1) the adjustment channel production mode has been written 

2) the written value  is greater than zero

3) init error state  is "OK"

THEN

for correction with standard deviation  NOT active:

the velocity limit forward  must be (/3.6).

for correction with standard deviation  active:

the velocity limit forward  must be (/3.6)*(1 - (/100)).

for correction with 3sigma  active:

the velocity limit forward  must be (/3.6)*
2601116323659297context
The adjustment channel production mode has been not written when VVL16 = 0.
The adjustment channel production mode has been not written when VVL16 = 0.
2601216416648438context
Priority of velocity limitations
Priority of velocity limitations
2601316516648439candidate
IF more than one velocity limitation is active, THEN the smallest velocity limitation of all active velocity limitations will be used to fwd AND
IF

more than one velocity limitation is active,

THEN

the smallest velocity limitation of all active velocity limitations will be used to fwd 

AND the smallest velocity limitation will of "Transport Mode" and "Adjustment channel customer" will be used for bwd
2601416616648440candidate
Adjustment channel VVehLim and Transport Mode active: IF AND(1,2,3,4) 1) the adjustment channel is active 2) transport mode is active 3) the use
Adjustment channel VVehLim and Transport Mode active:

IF AND(1,2,3,4)

1) the adjustment channel is active 

2) transport mode is active 

3) the use of transport mode parameters is active 

4) the driving direction is backward 

THEN

for correction with standard deviation  NOT active:

the velocity limit forward  must be min(/1000,(/3.6)).

AND the velocity limit backward  must be min(/1000,(/3.6)).

for correction with standard deviation  active:

the velocity limit forward  must be min(/1000,(/3.6)*(1 - (/100))

AND the velocity limit backward  must be min(/1000,(/3.6)*(1 - (/100)).

for correction with 3sigma  active:

the velocity limit forward  must be min(/1000)* ,/3.6)*

AND the velocity limit backward  must be min(/1000)*,/3.6)*
2601516716648441context
Simulation
Simulation
2601616816648442context
Parameters [P10] - [P16] are used for simulation. The will be set to zero in the default dataset and therefore the simulation will not be testable.
Parameters [P10] - [P16] are used for simulation.

The will be set to zero in the default dataset and therefore the simulation will not be testable.

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.