Design and Verification of a Trustable Medical System

Developing an advanced medical informatics system is a grand challenge in the 21st century. In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process. Our method greatly improves the dependability and efficiency of the complicate system. This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process. For the verification, a tool, called UPPAAL, is used to ensure the safety and correctness of the medical system. Our result suggests a way to corporate design and verification in system development process.

[1]  Zhenbang Chen,et al.  Refinement and verification in component-based model-driven design , 2009, Sci. Comput. Program..

[2]  Jifeng He,et al.  rCOS: A refinement calculus of object systems , 2006, Theor. Comput. Sci..

[3]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[4]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[5]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[6]  Ivan Porres,et al.  Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA , 2007, CAiSE Forum.

[7]  LiuZhiming,et al.  Refinement and verification in component-based model-driven design , 2009 .

[8]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[9]  Xin Chen,et al.  A model of component-based programming , 2007, FSEN'07.

[10]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process , 2001 .

[11]  Xin Chen,et al.  Separation of Concerns and Consistent Integration in Requirements Modelling , 2007, SOFSEM.

[12]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[13]  Christopher G. Lasater,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[14]  Ilkka Kunnamo,et al.  Electronic primary care guidelines with links to Cochrane reviews--EBM Guidelines. , 2005, Family practice.