Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
The pi calculus and its applications
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An axiomatic basis for computer programming
Communications of the ACM
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Computer
Ten Commandments of Formal Methods
Computer
Comments on "Formal Methods Application: An Empirical Tale of Software Development"
IEEE Transactions on Software Engineering
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
IEEE Transactions on Software Engineering
Model checking mobile ambients
Theoretical Computer Science
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Software fault avoidance issues
Ubiquity
Provably Correct Pervasive Computing Environments
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
A Mobile Care System With Alert Mechanism
IEEE Transactions on Information Technology in Biomedicine
A middleware architecture for safety critical ambient intelligence applications
ruSMART/NEW2AN'10 Proceedings of the Third conference on Smart Spaces and next generation wired, and 10th international conference on Wireless networking
Formal Specification and Verification of Ubiquitous and Pervasive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
ACARP: auto correct activity recognition rules using process analysis toolkit (PAT)
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
Formal verification of context and situation models in pervasive computing
Pervasive and Mobile Computing
Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People
Mobile Networks and Applications
Computationally Significant Semantics in Pervasive Healthcare
Journal of Integrated Design & Process Science
| Hi-index | 0.00 |
Wireless and pervasive healthcare applications typically present critical requirements from the point of view of functional correctness, reliability, availability, security, and safety. In contrast to the case of classic safety critical applications, the behavior of wireless and pervasive applications is affected by the movements and location of users and resources. This article presents a methodology to formally express requirements in safety critical wireless and pervasive healthcare applications in order to achieve a higher degree of dependability. In particular, it will be shown how it is possible to formalize and constrict mobility characteristics by combining, and in some cases extending, several formal methods. The article also describes a rigorous specification process. Finally, it concludes with a case study of a real safety critical pervasive healthcare application that is going to be deployed in a city hospital.