Overview

Coverage

6 / 6

6 covered · 0 uncovered

Elements

3 signals · 1 interfaces

Requirements

2 activities

Versions

main 87be9f07;

branch main · commit 87be9f07 · seed platform scenario · by admin

View diagram

Add element

Assist

No live reasoner configured: set MW_ASSIST_BASE_URL (with MW_ASSIST_MODEL) or MW_ANTHROPIC_API_KEY, or MW_ASSIST_REASONER=scripted for the deterministic test mode.

Structure

Purchasing Terminalblock«Block»
A self-service terminal that prices goods and takes payment through an attached EFTPOS machine.
edit
- Displayblock«Block»
  Customer-facing basket and payment prompts.
  edit
- EFTPOS Machineblock«Block, InterfaceBlock»
  Payment device handling card presentment, PIN entry and acquirer messaging.
  edit
  - Card Readerblock«Block»
    Contactless, chip and magstripe card interface.
    edit
  - Comms Moduleblock«Block»
    Carries acquirer traffic over the store network.
    edit
  - PIN Keypadblock«Block»
    Encrypted PIN entry keypad.
    edit
  - Secure Elementblock«Block»
    Tamper-responsive store for keys and the payment application.
    edit
- Power Supplyblock«Block»
  Mains to low-voltage conversion for the terminal and the EFTPOS machine.
  edit
- Receipt Printerblock«Block»
  Thermal printer producing the customer receipt.
  edit

Signals

CardPresentedsignal
PaymentApprovedsignal
PaymentDeclinedsignal

Interfaces

Acquirer Linkinterface
Payment network link.

Requirements

id	reqId	text	satisfied by	coverage
req-pci	PT-1	Card Data Protection: The terminal shall not store card primary account numbers outside the secure element, and shall render stored keys unusable on tamper detection.	satisfy: Secure Element	covered
req-contactless-time	PT-2	Contactless Time: The terminal shall complete a contactless payment of 100 or less within 2 seconds of card presentation.	satisfy: Card Reader	covered
req-receipt	PT-3	Receipt: The terminal shall print a receipt showing the basket, the amount tendered and the approval code for every approved payment.	satisfy: Receipt Printer	covered
req-offline	PT-4	Offline Floor Limit: When the acquirer link is unavailable the terminal shall store transactions up to a configured floor limit and forward them when the link returns.	satisfy: Comms Module	covered
req-pin-privacy	PT-5	PIN Privacy: The keypad shall encrypt the PIN within the secure element and never expose it to the terminal application.	satisfy: PIN Keypad	covered
req-audit	PT-6	Transaction Log: The terminal shall keep an append-only transaction log sufficient to reconcile a shift.	satisfy: Purchasing Terminal	covered

Traceability

6 requirements: 6 covered, 0 uncovered · 6 satisfy, 0 refine, 0 verify, 0 allocate

id	reqId	text	allocated elements	status
req-pci	PT-1	Card Data Protection: The terminal shall not store card primary account numbers outside the secure element, and shall render stored keys unusable on tamper detection.	satisfy: Secure Element	covered
req-contactless-time	PT-2	Contactless Time: The terminal shall complete a contactless payment of 100 or less within 2 seconds of card presentation.	satisfy: Card Reader	covered
req-receipt	PT-3	Receipt: The terminal shall print a receipt showing the basket, the amount tendered and the approval code for every approved payment.	satisfy: Receipt Printer	covered
req-offline	PT-4	Offline Floor Limit: When the acquirer link is unavailable the terminal shall store transactions up to a configured floor limit and forward them when the link returns.	satisfy: Comms Module	covered
req-pin-privacy	PT-5	PIN Privacy: The keypad shall encrypt the PIN within the secure element and never expose it to the terminal application.	satisfy: PIN Keypad	covered
req-audit	PT-6	Transaction Log: The terminal shall keep an append-only transaction log sufficient to reconcile a shift.	satisfy: Purchasing Terminal	covered

State and activity

State machine: purchasing-terminal-states

This state machine has no regions.

This state machine has no transitions.

Activities

Scan Basket

no nodes

Take Payment

no nodes