An axiomatic model for formal specification requirements of ubiquitous healthcare systems

Formal models are necessary to capture the semantics and behavior of processes of various systems. They characterize and provide insight into the behavior of real systems and thus identify their deterministic and non-deterministic features. The design and deployment of healthcare systems utilize the current technology development in order to improve healthcare services and accommodate the increasing demand on these services while maintaining high quality and error free service. However, healthcare systems lack a formal model that can precisely define specification requirements about their design and operation. This paper introduces a formal axiomatic model for ubiquitous healthcare systems. This formal model precisely defines the formal specification requirements for healthcare systems including functional and security related requirements.

[1]  HoonJae Lee,et al.  Designing context awareness middleware architecture for personal healthcare information system , 2010, 2010 The 12th International Conference on Advanced Communication Technology (ICACT).

[2]  Weider D. Yu,et al.  Towards a Wireless Mobile Social Network System Design in Healthcare , 2009, 2009 Third International Conference on Multimedia and Ubiquitous Engineering.

[3]  Yeong Rak Seong,et al.  On-Line Dynamic Voltage Scaling on Processor with Discrete Frequency and Voltage Levels , 2007, 2007 International Conference on Convergence Information Technology (ICCIT 2007).

[4]  Val Jones.  Model driven development of m-health systems (with a touch of formality) , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[5]  Antonio Coronato,et al.  Runtime verification of location-dependent correctness and security properties in Ambient Intelligence applications , 2011, 2011 Baltic Congress on Future Internet and Communications.

[6]  Zhihua Wang,et al.  Key technologies in the integrated circuit design for the construction of a wireless healthcare system , 2011, 2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS).

[7]  Jonathan P. Bowen,et al.  Formal Methods: State of the Art and New Directions , 2009 .

[8]  Wan-Young Chung,et al.  Design and Evaluation of Query Supported Healthcare Information System Using Wireless Sensor Ad-hoc Network , 2007, 2007 International Conference on Convergence Information Technology (ICCIT 2007).

[9]  Jean-Raymond Abrial,et al.  Faultless Systems: Yes We Can! , 2009, Computer.

[10]  Berna Ors,et al.  System level design of a secure healthcare smart card system , 2011, 2011 IEEE Systems and Information Engineering Design Symposium.

[11]  Tetsuo Kinoshita,et al.  Design and Implementation of Healthcare Support System Based on Agent-based Framework , 2009, Proceedings of the 4th International Conference on Ubiquitous Information Technologies & Applications.

[12]  George S. Avrunin,et al.  Analyzing medical processes , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[13]  S.S. Xulu,et al.  Formal Model for e-Healthcare Readiness Assessment in Developing Country Context , 2007, 2007 Innovations in Information Technologies (IIT).

[14]  Karsten P. Ulland,et al.  Vii. References , 2022 .

[15]  Dimitri Konstantas,et al.  Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[16]  Yang Hongqiao,et al.  Modeling Requirement Driven Architecture of Adaptive Healthcare System Based on Semiotics , 2009, 2009 International Forum on Information Technology and Applications.

[17]  Marlon Vieira,et al.  Applying model-based testing to healthcare products , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.