| Autor: |
J. Albasri, Duminda Wijesekera, Paulo C. G. Costa, Bo Yu, N. Hazzazi |
| Rok vydání: |
2016 |
| Předmět: |
|
| DOI: |
10.1016/b978-0-12-804203-8.00031-6 |
| Popis: |
The Food and Drug Administration (FDA) in the USA, AABB (formerly known as the American Association of Blood Banks) and regulatory bodies that hold jurisdiction in other countries continuously update blood transfusion safety mandates. Verifying blood bank processes for safety takes labor and time. We automate this verification process by modeling the blood processing supply chain as a workflow, extracting and modeling the FDA and AABB requirements as temporal logic formulas and using a model checker to verifying that components of the workflow satisfy applicable temporal logic formulas, thereby verify that the blood processing supply chain satisfies FDA- and AABB-mandated safety requirements. We also show how this process can seamlessly integrate into an electronic medical record system. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
