1-ButtonControl

Input Interface:

1. Button(v)

Output Interface:

1. mButton(v)

Guard

Transition	Guard	Code Class - Line Number
T1.1	Button ← True	ButtonContol-30
T1.2 - T1.8	Unconditional Transition
T1.3	mMode ← Ready	CCS-127
T1.4	mMode ← Barcode	CCS-130
T1.5	mMode ← Iris	CCS-133
T1.6	mMode ← Bussy	CCS-136
T1.6	mMode ← Reset	CCS-139

State

State Traceability

State	Code Class - Line Number
S1.1	ButtonControl - 28
S1.2	CCS
S1.3	CCS - 69
S1.4	CCS - 77
S1.5	CCS - 83
S1.6	CCS - 96
S1.7	CCS - 109
S1.8	CCS - 140

Requirements-to-Statecharts Traceability

	Requirements
T1.1 - T1.2	R1 - R2
T1.3	R3
T1.4	R1
T1.5	R2
T1.6	R6
T1.7	R3

2-CameraControl

Input Interface:

1. Camera(v)

Output Interface:

1. mCameraCapture(v)

Guard

Transition	Guard	Code Class - Line Number
T2.1	Camera ← True	CameraContol. - 10
T2.2	TakeImage ← True	CCS - 51
T2.3	Unconditional Transition

State

State Traceability

State	Code Class - Line Number
S2.1	CameraControl - 7
S2.2	CCS
S2.3	CCS - 47

Requirements-to-Statecharts Traceability

	Requirements
T2.1 - T2.2 - T2.3	R1-R2-R3
S2.1- S2.2 - S2.3 S2.4	R1-R2-R3

3-DisplayControl

Input Interface:

1. mCameraCapture(v)

Output Interface:

1. Display(v)

Guard

Transition	Guard	Code Class - Line Number
T3.1	Display ← True	DisplayContol - 40
T3.2	mShow ← True	CCS - 44
T3.3	Unconditional Transition

State

State Traceability

State	Code Class - Line Number
S2.1	DisplayControl - 7
S3.2	CCS-45
S3.3	DisplayControl - 36

Requirements-to-Statecharts Traceability

	Requirements
T3.1 - T3.2 - T3.3	R3 - R4
S3.1- S3.2 - S3.3	R3 - R4

4-BarcodeControl

Input Interface:

1. mCheckBarcode(v)

Output Interface:

Guard

Transition	Guard	Code Class - Line Number
T4.1	mCheckBarcode ← True	CCS - 86
T4.2	Unconditional Transition, return checkResult True/False

State

State Traceability

State	Code Class - Line Number
S4.1	CCS - 41
S4.2	BarcodeControl-6

Requirements-to-Statecharts Traceability

	Requirements
T4.1 - T4.2	R1
S4.1- S4.2	R1

5-IrisControl

Input Interface:

1. mCheckIris(v)

Output Interface:

Guard

Transition	Guard	Code Class - Line Number
T5.1	mCheckIris ← True	CCS - 99
T5.2	Unconditional Transition, return checkResult True/False

State

State Traceability

State	Code Class - Line Number
S5.1	CCS
S5.2	IrisControl-8

Requirements-to-Statecharts Traceability

	Requirements
T5.1 - T5.2	R1
S5.1- S5.2	R1