Using Temporal Logic to Verify the Blood Supply Chain Safety

Hazzazi, N.; Albasri, Jasem; Yu, Bo; Wijesekera, Duminda; Costa, Paulo C. G.

doi:10.1016/b978-0-12-804203-8.00031-6

Search citation statements

Order By: Relevance

Paper Sections

Select...

Verification and Validation1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One of the solutions we are advancing in our work is to formally model federal regulations and drug-specific recommendations as logical statements and verify that the formally modeled workflow and tests ensure that the guidelines are satisfied. One of the important aspects we focus on, but is missing in previous work, such as Hazzazi et al 11 and Mirasol, 13 is the dependency on sampling-based acceptance criteria for production batches. Validation requires carefully contrasting a model against actual production lines to capture the workflow accurately.…”

Section: Verification and Validationmentioning

confidence: 99%