#pragma multiserver=conway
#pragma stop-on-message-loss=false

G
"MRTD architectural option"
1.0E-4
1000
1
0.2
-1

P 0
p DummyDevice1       f i  
p DummyDevice2       f i  
p WAN                f i  
p POEWorkstation     f i
p POEWorkstationDisk f i
p MRTDReader         f i 
p MRTD               f i
p FingerprintScanner f i
p DigitalCamera      f i
p TNS                f m 3
p TNSDisk            f m 2
p CCDServer          f m 3
p CCDServerDisk      f m 2
p TBS                f m 3
p TBSDisk            f m 3

#######################################

-1

T 0
t POEPrimOfficer n startPrimInspection -1 DummyDevice1 m 20
t POESecOfficer          n startSecInspection -1 DummyDevice2 i
t WANTask                n sendGetTravInfo sendStoreMatchBiom sendIdentifyBiom -1 WAN i
t POEApp                 n automatedChecks verifyMRTDAuthenticity identifyTraveler -1 POEWorkstation i
t PKD                    n getPKCertificate -1 POEWorkstation i
t POEWorkstationDiskTask n readPKCertData -1 POEWorkstationDisk i
t MRTDReaderTask         n scanMRTD -1 MRTDReader i
t MRTDTask               n readMRTDData -1 MRTD i
t FingerprintScannerTask n captureFingerprint -1 FingerprintScanner i
t DigitalCameraTask      n captureFaceImage -1 DigitalCamera i
t TNSApp                 n getTravelerInfo -1 TNS m 6
t TNDB                   n lookupName -1 TNS m 4
t TNSDiskTask            n readLookupData -1 TNSDisk m 2 
t CCD                    n getPicture -1 CCDServer m 3
t CCDServerDiskTask      n readPictureData -1 CCDServerDisk m 2
t TBDB                   n storeMatchBiometrics identifyBiometrics -1 TBS m 4
t TBSDiskTask            n readWriteBiomData readWatchlistData -1 TBSDisk m 3

#######################################

-1

E 0
   #Workload definitions
   a startPrimInspection 0.294642722	# passangers every sec in average					
 
   A startPrimInspection startPrimInspection_A1
   A startSecInspection startSecInspection_A1
   s scanMRTD 0.2368 -1 
   f scanMRTD 0 -1
   y scanMRTD readMRTDData 1 -1 
   s readMRTDData 0.9472 -1 
   f readMRTDData 0 -1
   A automatedChecks automatedChecks_A9
   A verifyMRTDAuthenticity verifyMRTDAuthenticity_A8

   A identifyTraveler identifyTraveler_A10
   s getPKCertificate 0.005 -1 										
   y getPKCertificate readPKCertData 1 -1
   s readPKCertData 0.0065 -1 					
   s sendGetTravInfo 0.0118 -1 						
   y sendGetTravInfo getTravelerInfo 1 -1
   # include time taking 10-finger-prints
   s sendStoreMatchBiom 0.0329 -1 						
   y sendStoreMatchBiom storeMatchBiometrics 1 -1
   s sendIdentifyBiom 0.0094 -1 						
   y sendIdentifyBiom identifyBiometrics 1 -1
   
   # V1 TO CHANGE Time to take 10-finger-prints
   s captureFingerprint 10.0 -1 									
   # V2 TO CHANGE	
   s captureFaceImage 5.0 -1 										

   A getTravelerInfo getTravelerInfo_A1
   s lookupName 0.005 -1 						
   y lookupName readLookupData 1 -1
   s getPicture 0.005 -1 						
   y getPicture readPictureData 1 -1
   s storeMatchBiometrics 0.005 -1 						
   y storeMatchBiometrics readWriteBiomData 1 -1
   s identifyBiometrics 0.005 -1 						
   y identifyBiometrics readWatchlistData 1 -1
   s readLookupData 0.006 -1 					
   s readPictureData 0.0062 -1 					
   # include time taking 10-finger-prints
   s readWriteBiomData 0.0069 -1 					
   ###
     ### 1.000.000 images in Watchlist, each disk will read just 250.000
   s readWatchlistData 24.414 -1 					
-1

A POEPrimOfficer 
s startPrimInspection_A1 5.0
s startPrimInspection_A2 0.0 						
s startPrimInspection_A3 0.0 						
#s startPrimInspection_A4 0.0 						
s startPrimInspection_A5 0.005 						
y startPrimInspection_A5 automatedChecks 1
s startPrimInspection_A6 0.0 						
s startPrimInspection_A7 1.0 						
y startPrimInspection_A7 scanMRTD 1
s startPrimInspection_A8 0.0082 						
y startPrimInspection_A8 verifyMRTDAuthenticity 1
s startPrimInspection_A9 0.0 						
s startPrimInspection_A10 0.0

s genuine 0.0
s impostor 0.0
s TAR 0.0 		
s FNMR 0.0 		
y FNMR startSecInspection 1
s TRR 0.0 		
s FMR 0.0 		
y TRR startSecInspection 1

						
#s startPrimInspection_A8 0.0082 						
s reviewDocs 20.0 						
s processInspectionData 5.0 						
: 
startPrimInspection_A1 -> startPrimInspection_A7 & reviewDocs; 
startPrimInspection_A7 -> startPrimInspection_A8;
startPrimInspection_A8 -> startPrimInspection_A3;
startPrimInspection_A3 -> startPrimInspection_A5;
startPrimInspection_A5 -> startPrimInspection_A6;
startPrimInspection_A6 & reviewDocs -> startPrimInspection_A2;
startPrimInspection_A2 -> processInspectionData;

#CHANGE P(+) AND GENUINE AND IMPOSTOR RATES
processInspectionData -> (0.999)genuine + (0.001)impostor;

#CHANGE FNMR, TAR=1-FNMR AND FMR, TRR=1-FMR 
genuine -> (0.0001834)FNMR + (0.9998166)TAR;
TRR + FNMR -> startPrimInspection_A9 ;

impostor ->(0.0031)FMR + (0.9969)TRR;
FMR + TAR -> startPrimInspection_A10 


-1

A POESecOfficer
s startSecInspection_A1 3.0
s startSecInspection_A2 5.0
y startSecInspection_A2 identifyTraveler 1
s startSecInspection_A3 0.0
s reviewDocs2 300.0
s processInspectionData2 10.0
:
startSecInspection_A1 -> startSecInspection_A2 & reviewDocs2;
startSecInspection_A2 & reviewDocs2 -> startSecInspection_A3;
startSecInspection_A3 -> processInspectionData2; 
processInspectionData2[startSecInspection]
-1

A POEApp 
# activities for automatedChecks entry
s automatedChecks_A9 0.005
y automatedChecks_A9 sendGetTravInfo 1
s automatedChecks_A1 0.0
#time for setting up the fingerprint scanner
s automatedChecks_A5 0.005
y automatedChecks_A5 captureFingerprint 1
#time for setting up the cammera
s automatedChecks_A6 0.005
y automatedChecks_A6 captureFaceImage 1
s automatedChecks_A7 0.005
y automatedChecks_A7 sendStoreMatchBiom 1
s automatedChecks_A3 0.0
s automatedChecks_A4 0.0
s processData 0.005

# activities for verifyMRTDAuthenticity entry
s verifyMRTDAuthenticity_A8 0.005
y verifyMRTDAuthenticity_A8 getPKCertificate 2
s verify 0.0124

# activities for identifyTraveler entry
s identifyTraveler_A10 0.005
y identifyTraveler_A10 sendIdentifyBiom 1
:
automatedChecks_A9 -> automatedChecks_A1;
automatedChecks_A1 -> automatedChecks_A5;
automatedChecks_A5 -> automatedChecks_A6;
automatedChecks_A6 -> automatedChecks_A7;
automatedChecks_A7 -> automatedChecks_A3;
automatedChecks_A3 -> automatedChecks_A4;
automatedChecks_A4 -> processData;
verifyMRTDAuthenticity_A8 -> verify;
processData[automatedChecks];
verify[verifyMRTDAuthenticity];
identifyTraveler_A10[identifyTraveler]
-1

A TNSApp
s getTravelerInfo_A1 0.005 
s getTravelerInfo_A2 0.005 
y getTravelerInfo_A2 getPicture 1
s getTravelerInfo_A3 0.005
y getTravelerInfo_A3 lookupName 1
s getTravelerInfo_A4 0.0
:
getTravelerInfo_A1 -> getTravelerInfo_A2 & getTravelerInfo_A3;
getTravelerInfo_A2 & getTravelerInfo_A3 -> getTravelerInfo_A4;
getTravelerInfo_A4[getTravelerInfo]
-1