Medication errors in community pharmacies are a major threat to patient health and safety. Current experimental and observational studies are insufficient to address the medication error problem due to its complexity. Thus, we adapt a well-validated human reliability analyses (HRA) approach for use with the probabilistic model checking, to create and validate a formal approach that allows the analysts to predict medication error rates and explore interventions for different community pharmacy procedures. We use the method to analyze a common dispensing procedure of community pharmacies and compare our results to published error rates. Finally, we discuss our results and explore how our method could be further developed in the future.
Get full access to this article
View all access options for this article.
References
1.
AshcroftD. M.MorecroftC.ParkerD.NoyceP. R. (2006). Likelihood of reporting adverse events in community pharmacy: An experimental study. Quality and Safety in Health Care, 15(1), 48–52.
2.
BellJ.HolroydJ. (2009). Review of human reliability assessment methods (Tech. Rep. No. RR679). Derbyshire: Health and Safety Executive.
3.
BoltonM. L.BassE. J. (2013). Generating erroneous human behavior from strategic knowledge in task models and evaluating its impact on system safety with model checking. IEEE Transactions on Systems, Man and Cybernetics: Systems, 43(6), 1314–1327.
4.
BoltonM. L.BassE. J.SiminiceanuR. I. (2012). Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking. International Journal of Human-Computer Studies, 70(11), 888–906.
5.
BoltonM. L.BassE. J.SiminiceanuR. I. (2013). Using formal verification to evaluate human-automation interaction in safety critical systems, a review. IEEE Transactions on Systems, Man and Cybernetics: Systems, 3(3), 488–503.
6.
BoydR.ParkerW. A.YungD. K. (1981). Characterization of pharmacy workload and pharmacist activities in a Canadian community pharmacy. Contemporary Pharmacy Practice, 5(4), 219–225.
7.
CastigliaF.GiardinaM.CaravelloF. P. (2008). Fuzzy fault tree analysis in modern γ -ray industrial irradiator: Use of fuzzy version of HEART and CREAM techniques for human error evaluation. In International conference on probabilistic safety assessment and management. Hong Kong.
8.
CinaJ. L.GandhiT. K.ChurchillW.FanikosJ.McCreaM.RothschildJ. M.. . . PoonE. G. (2006). How many hospital pharmacy medication dispensing errors go undetected?The Joint Commission Journal on Quality and Patient Safety, 32(2), 73–80.
9.
ClarkeE. M.GrumbergO.PeledD. A. (1999). Model checking. Cambridge: MIT Press.
10.
ClemensP. L.SimmonsR. J. (1998). System safety and risk management: NIOSH instructional module. Cincinnati: U.S. Department of Health and Human Services.
11.
FengL.HumphreyL.LeeI.TopcuU. (2016). Human-interpretable diagnostic information for robotic planning systems. In International conference on intelligent robots and systems (pp. 1673–1680). Piscataway: IEEE.
12.
FengL.WiltscheC.HumphreyL.TopcuU. (2016). Synthesis of human-in-the-loop control protocols for autonomous systems. IEEE Transactions on Automation Science and Engineering, 13(2), 450–462.
13.
FlynnE. A.BarkerK. N.CarnahanB. J. (2003). National observational study of prescription dispensing accuracy and safety in 50 pharmacies. Journal of the American Pharmaceutical Association, 43(2), 191–200.
14.
FujitaY.HollnagelE. (2004). Failures without errors: Quantification of context in HRA. Reliability Engineering & System Safety, 83(2), 145–151.
15.
GengJ.MurèS.BaldissoneG.CamuncoliG.DemichelaM. (2015). Human error probability estimation in ATEX-HMI area classification: From THERP to FUZZY CREAM. Chemical Engineering Transactions, 43, 1243–1248.
16.
HannamanG.SpurginA.LukicY. (1984). Human cognitive reliability model for pra analysis. NUS-4531.
HollnagelE. (1998b). Context, cognition and control. In WaernY. (Ed.), Co-operative process management, cognition and information technology (pp. 27–52). London: Taylor & Francis.
IOM. (2006). Preventing medication errors (AspdenP.WolcottJ. A.BootmanJ. L.CronenwettL. R., Eds.). Washington, DC: The National Academies Press.
21.
KirwanB.GibsonH.KennedyR.EdmundsJ.CooksleyG.UmbersI. (2004). Nuclear action reliability assessment (NARA): A data-based HRA tool. In International conference on probabilistic safety assessment and management (pp. 1206–1211). Berlin.
22.
KwiatkowskaM.NormanG.ParkerD. (2007). Stochastic model checking. In BernardoM.HillstonJ. (Eds.), Formal methods for the design of computer, communication and software systems: Performance evaluation (Vol. 4486, pp. 220–270). Berlin: Springer.
23.
KwiatkowskaM.NormanG.ParkerD. (2011). PRISM 4.0: Verification of probabilistic real-time systems. In International conference on computer aided verification (pp. 585–591).
24.
PanD.BoltonM. L. (2016). Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior. International Journal of Industrial Ergonomics.
25.
PhippsD. L.NoyceP. R.ParkerD.AshcroftD. M. (2009). Medication safety in community pharmacy: A qualitative study of the sociotechnical context. BMC Health Services Research, 9(1), 1.
26.
RantanenE.DeeterJ.BurkeS.WangY. (2012). Human factors evaluation of pharmacy operations. In 2012 symposium on human factors and ergonomics in health care: Bridging the gap. Santa Monica: HFES.
27.
SwainA. D.GuttmannH. E. (1983). Handbook of human-reliability analysis with emphasis on nuclear power plant applications: Final report (Tech. Rep. No. 7011944). Albuquerque: Sandia National Labs.
28.
WilliamsJ. C. (1985). HEART–A proposed method for achieving high reliability in process operation by means of human factors engineering technology. In Proceedings of the symposium on the achievement of reliability in operating plant (pp. 87–109). Manchester: Safety and Reliability Society.
29.
WingJ. M. (1990). A specifier’s introduction to formal methods. Computer, 23(9), 8, 10–22, 24.
