Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Formal Specification and Verification of Ubiquitous and Pervasive Systems

Formal Specification and Verification of Ubiquitous and Pervasive Systems TAA00008 ACM (Typeset by SPi, Manila, Philippines) 1 of 6 February 15, 2011 Formal Speci cation and Veri cation of Ubiquitous and Pervasive Systems ANTONIO CORONATO and GIUSEPPE DE PIETRO, ICAR-CNR This article presents a methodology to formally express requirements in safety-critical ubiquitous and pervasive 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 extending several formal methods. The article also discusses some issues concerning both static and dynamic veri cation. Categories and Subject Descriptors: D.2.1 [Software Engineering]: Requirements/Speci cations; C.4 [Performance of Systems]: Reliability, availability, and serviceability General Terms: Veri cation, Performance Additional Key Words and Phrases: Formal speci cation, ubiquitous and pervasive safety-critical applications, methodologies and tools ACM Reference Format: Coronato, A. and De Pietro, G. 2011. Formal speci cation and veri cation of ubiquitous and pervasive systems. ACM Trans. Auton. Adapt. Syst. 6, 1, Article 9 (February 2011), 6 pages. DOI = 10.1145/1921641.1921650 http://doi.acm.org/10.1145/1921641.1921650 1. INTRODUCTION An emerging trend is to use pervasive and ubiquitous technologies in new domains like hospitals, old people ™s homes, emergency scenarios, etc. But such kinds of environment present a http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Autonomous and Adaptive Systems (TAAS) Association for Computing Machinery

Formal Specification and Verification of Ubiquitous and Pervasive Systems

Loading next page...
 
/lp/association-for-computing-machinery/formal-specification-and-verification-of-ubiquitous-and-pervasive-cnauSoqqpU
Publisher
Association for Computing Machinery
Copyright
Copyright © 2011 by ACM Inc.
ISSN
1556-4665
DOI
1921641.1921650
Publisher site
See Article on Publisher Site

Abstract

TAA00008 ACM (Typeset by SPi, Manila, Philippines) 1 of 6 February 15, 2011 Formal Speci cation and Veri cation of Ubiquitous and Pervasive Systems ANTONIO CORONATO and GIUSEPPE DE PIETRO, ICAR-CNR This article presents a methodology to formally express requirements in safety-critical ubiquitous and pervasive 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 extending several formal methods. The article also discusses some issues concerning both static and dynamic veri cation. Categories and Subject Descriptors: D.2.1 [Software Engineering]: Requirements/Speci cations; C.4 [Performance of Systems]: Reliability, availability, and serviceability General Terms: Veri cation, Performance Additional Key Words and Phrases: Formal speci cation, ubiquitous and pervasive safety-critical applications, methodologies and tools ACM Reference Format: Coronato, A. and De Pietro, G. 2011. Formal speci cation and veri cation of ubiquitous and pervasive systems. ACM Trans. Auton. Adapt. Syst. 6, 1, Article 9 (February 2011), 6 pages. DOI = 10.1145/1921641.1921650 http://doi.acm.org/10.1145/1921641.1921650 1. INTRODUCTION An emerging trend is to use pervasive and ubiquitous technologies in new domains like hospitals, old people ™s homes, emergency scenarios, etc. But such kinds of environment present a

Journal

ACM Transactions on Autonomous and Adaptive Systems (TAAS)Association for Computing Machinery

Published: Feb 1, 2011

There are no references for this article.