By Topic

An axiomatic model for formal specification requirements of ubiquitous healthcare systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Gawanmeh, A. ; Dept. of Electr. & Comput. Eng., Khalifa Univ. of Sci., Technol. & Res., Sharjah, United Arab Emirates

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.

Published in:

Consumer Communications and Networking Conference (CCNC), 2013 IEEE

Date of Conference:

11-14 Jan. 2013