{"id":{"repo_id":"buffalo","oai_identifier":"oai:ubir.buffalo.edu:10477/86697"},"canonical_url":"https://search.dev.ndltd.org/etd/buffalo/oai:ubir.buffalo.edu:10477/86697","repository":{"repo_id":"buffalo","name":"Buffalo","base_url":"https://ubir.buffalo.edu/oai/request"},"display":{"title":"The Development of A Next-Generation Human Reliability Analysis: Systems Analysis for Formal Pharmaceutical Human Reliability (SAFPH℞)","abstract":"Ph.D.","abstract_html":"Ph.D.","abstract_has_math":false,"creators":["Zheng, Xi; 0000-0003-3183-7076"],"institution":"State University of New York at Buffalo","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Bolton, Matthew","Industrial and Systems Engineering"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2025,"date_issued":"2025-02-21T21:36:35Z","date_published":"2025-02-21T21:36:35Z","updated_at":"2026-07-27T19:05:34Z","subjects":["industrial engineering"],"languages":["eng"],"rights":["Users of works found in University at Buffalo Institutional Repository (UBIR) are responsible for identifying and contacting the copyright owner for permission to reuse. University at Buffalo Libraries do not manage rights for copyright-protected works and cannot assist with permissions.","Copyright retained by author."],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/10477/86697","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Bolton, Matthew","Industrial and Systems Engineering"]},{"key":"dc:creator","label":"Author","values":["Zheng, Xi; 0000-0003-3183-7076"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2025-02-21T21:36:35Z","2020"]},{"key":"dc:publisher","label":"Institution","values":["State University of New York at Buffalo"]},{"key":"dc:type","label":"Dc Type","values":["Text","Dissertation"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["industrial engineering"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Users of works found in University at Buffalo Institutional Repository (UBIR) are responsible for identifying and contacting the copyright owner for permission to reuse. University at Buffalo Libraries do not manage rights for copyright-protected works and cannot assist with permissions.","Copyright retained by author."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/10477/86697"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Ph.D.","Medication errors originating in community pharmacies are serious patient safety hazards. However, due to the complexity of the community pharmacy environment, current experimental and observational studies are insufficient to address these problems. This research aims to create a novel, formal, proof-based approach to human reliability analysis (HRA) that will provide pharmacies with the ability to accurately predict error rates, understand why errors are occurring, and better engineer their system to mitigate the errors. Traditional HRA can accurately predict human error rates in a number of environments. However, they are limited in that they are static and thus not able to handle the dynamic environmental elements that can impact human performance. To address this and allow analysts to accurately predict medication error rates, we have developed a next-generation HRA called the Systems Analysis for Formal Pharmaceutical Human Reliability (SAFPHR). This method addresses the limits of previous HRAs by combining concepts from the Cognitive Reliability and Error Analysis Method (CREAM) HRA with probabilistic model checking, a computational tool for automatically proving properties about complex, stochastic systems. By using different estimation methods and cognitive assumptions, we have fully developed the modeling and predictive capabilities of three versions of SAFPHR: basic SAFPHR, CPC-effect extended SAFPHR, and mode-effect extended SAFPHR. These three versions can collectively produce six different methods of computing error rates. To determine which of these estimates were the most accurate and valid, we formally modeled a full, generic, pharmacy dispensing procedure. We then used SAFPHR to make predictions about overall error rates as well as error rates originating from different stages of the dispensing process. These values were computed for all six estimation approaches and then compared with real, comprehensive error rates published in the literature. One method consistently produced accurate predictions both for the overall error rate and the individual stages. The results have important implications for pharmacy because they show that SAFPHR could be used to reduce medication error rates and thus significantly improve patient health and safety. Given its success in pharmacy and the generic nature of its underlying theory, SAFPHR could be used as a general HRA to improve safety and reliability in other critical domains. More avenues of future research are explored in the end.","**To request an accessible version of the file(s) associated with this item, contact library@buffalo.edu. Please include the item's persistent URL [http://hdl.handle.net/. . .] in your request.**"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["The Development of A Next-Generation Human Reliability Analysis: Systems Analysis for Formal Pharmaceutical Human Reliability (SAFPH℞)"]}]}],"canonical_facts":{"dc:contributor":["Bolton, Matthew","Industrial and Systems Engineering"],"dc:creator":["Zheng, Xi; 0000-0003-3183-7076"],"dc:date":["2025-02-21T21:36:35Z","2020"],"dc:description":["Ph.D.","Medication errors originating in community pharmacies are serious patient safety hazards. However, due to the complexity of the community pharmacy environment, current experimental and observational studies are insufficient to address these problems. This research aims to create a novel, formal, proof-based approach to human reliability analysis (HRA) that will provide pharmacies with the ability to accurately predict error rates, understand why errors are occurring, and better engineer their system to mitigate the errors. Traditional HRA can accurately predict human error rates in a number of environments. However, they are limited in that they are static and thus not able to handle the dynamic environmental elements that can impact human performance. To address this and allow analysts to accurately predict medication error rates, we have developed a next-generation HRA called the Systems Analysis for Formal Pharmaceutical Human Reliability (SAFPHR). This method addresses the limits of previous HRAs by combining concepts from the Cognitive Reliability and Error Analysis Method (CREAM) HRA with probabilistic model checking, a computational tool for automatically proving properties about complex, stochastic systems. By using different estimation methods and cognitive assumptions, we have fully developed the modeling and predictive capabilities of three versions of SAFPHR: basic SAFPHR, CPC-effect extended SAFPHR, and mode-effect extended SAFPHR. These three versions can collectively produce six different methods of computing error rates. To determine which of these estimates were the most accurate and valid, we formally modeled a full, generic, pharmacy dispensing procedure. We then used SAFPHR to make predictions about overall error rates as well as error rates originating from different stages of the dispensing process. These values were computed for all six estimation approaches and then compared with real, comprehensive error rates published in the literature. One method consistently produced accurate predictions both for the overall error rate and the individual stages. The results have important implications for pharmacy because they show that SAFPHR could be used to reduce medication error rates and thus significantly improve patient health and safety. Given its success in pharmacy and the generic nature of its underlying theory, SAFPHR could be used as a general HRA to improve safety and reliability in other critical domains. More avenues of future research are explored in the end.","**To request an accessible version of the file(s) associated with this item, contact library@buffalo.edu. Please include the item's persistent URL [http://hdl.handle.net/. . .] in your request.**"],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/10477/86697"],"dc:language":["eng"],"dc:publisher":["State University of New York at Buffalo"],"dc:rights":["Users of works found in University at Buffalo Institutional Repository (UBIR) are responsible for identifying and contacting the copyright owner for permission to reuse. University at Buffalo Libraries do not manage rights for copyright-protected works and cannot assist with permissions.","Copyright retained by author."],"dc:subject":["industrial engineering"],"dc:title":["The Development of A Next-Generation Human Reliability Analysis: Systems Analysis for Formal Pharmaceutical Human Reliability (SAFPH℞)"],"dc:type":["Text","Dissertation"]},"updated_at":"2026-07-27T19:05:34Z"}