Stefan C. Christov
George S. Avrunin
ABSTRACT
The software engineering and medical informatics communities have been developing a range of approaches for reasoning about medical processes. To facilitate the comparison of such approaches, it would be desirable to have a set of medical examples, or benchmarks, that are easily available, described in considerable detail, and characterized in terms of the real-world complexities they capture. This paper presents one such benchmark and discusses a list of desiderata that medical benchmarks can be evaluated against.
- G. S. Avrunin, J. C. Corbett, and M. B. Dwyer. Benchmarking finite-state verifiers. Softw. Tools for Technology Transfer, 2(4):317--320, 2000.Google Scholar
Cross Ref
- A. G. Cass, B. S. Lerner, J. Stanley M. Sutton, E. K. McCall, et al. Little-JIL/Juliette: a process definition language and interpreter. In Proc. 22nd Intl. Conf. Softw. Eng., 754--757, 2000. Google ScholarDigital Library
- B. Chen, G. S. Avrunin, E. A. Henneman, L. A. Clarke, et al. Analyzing medical processes. In Proc. 30th Intl. Conf. Softw. Eng., 623--632, 2008. Google ScholarDigital Library
- S. Christov, B. Chen, G. S. Avrunin, L. A. Clarke, et al. Rigorously defining and analyzing medical processes: An experience report. MoDELS 2007 Wkshps, Springer, LNCS 5002, 118--131, 2008. Google ScholarDigital Library
- R. L. Cobleigh, G. S. Avrunin, and L. A. Clarke. User guidance for creating precise and accessible property specifications. In Proc. 14th ACM SIGSOFT Intl. Symp. Found. Softw. Eng., 208--218, 2006. Google ScholarDigital Library
- C. Damas, B. Lambeau, F. Roucoux, and A. van Lamsweerde. Analyzing critical process models through behavior model synthesis. In Proc. 2009 31st Intl. Conf. Softw. Eng., 441--451, 2009. Google ScholarDigital Library
- M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In Proc. 21st Intl. Conf. Softw. Eng., 411--420, 1999. Google ScholarDigital Library
- M. B. Dwyer, L. A. Clarke, J. M. Cobleigh, and G. Naumovich. Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol., 13(4):359--430, 2004. Google ScholarDigital Library
- S. Konrad and B. H. C. Cheng. Real-time specification patterns. In Proc. 27th Intl. Conf. Softw. Eng., 372--381, 2005. Google ScholarDigital Library
- S. T. Mark and M. A. Musen. A flexible approach to guideline modeling. In Proc. AMIA Symp., 420--424, 1999.Google Scholar
- M. Peleg, A. Boxwala, O. Ogunyemi, Q. Zeng, et al. GLIF3: The evolution of a guideline representation format. In Proc. AMIA Symp., 645--649, 2000.Google Scholar
- M. Peleg, S. W. Tu, J. Bury, P. Ciccarese, et al. Comparing computer-interpretable guideline models: A case-study approach. JAMIA, 10:2003, 2002.Google Scholar
- Y. Shahar, S. Miksch, and P. Johnson. The Asgaard project: A task-specific framework for the application and critiquing of time-oriented clinical guidelines. In A. I. in Med., 29--51, 1998. Google ScholarDigital Library
- Computational Technology for Effective Health Care: Immediate Steps and Strategic Directions. Nat. Acad. Press, 2009.Google Scholar
- A. ten Teije, M. Marcos, M. Balser, J. van Croonenborg, et al. Improving medical protocols by formal methods. A. I. in Med., 36(3):193--209, 2006. Google ScholarDigital Library
- A. van Lamsweerde. Formal specification: A roadmap. In The Future of Software Engineering, 147--159. 2000. Google ScholarDigital Library
- J. M. Wilkinson and K. V. Leuven. Procedure checklist for administering a blood transfusion. http://davisplus.fadavis.com/wilkinson/Procedure_Checklists/PC_Ch36-01.doc.Google Scholar
- J. M. Wilkinson and K. Van Leuven. Fundamentals of Nursing. F. A. Davis Company, 2007.Google Scholar
Recommendations
Subsetting the SPEC CPU2006 benchmark suite
On August 24, 2006, the Standard Performance Evaluation Corporation (SPEC) announced CPU2006 -- the next generation of industry-standardized CPU-intensive benchmark suite. The SPEC CPU benchmark suite has become the most frequently used suite for ...
A Benchmark Characterization of the EEMBC Benchmark Suite
Benchmark consumers expect benchmark suites to be complete, accurate, and consistent, and benchmark scores serve as relative measures of performance. However, it is important to understand how benchmarks stress the processors that they aim to test. This ...
Establishment of a National Benchmark of Software Engineering Practices
ISESS '99: Proceedings of the 4th IEEE International Symposium and Forum on Software Engineering StandardsSoftware engineering process benchmarking is one of the important methodologies in software process assessment and improvement. In collaboration with IBM, IVF has conducted a Swedish national benchmarking survey to derive a national benchmark of ...
Comments