Formal Specification and Verification of Ubiquitous and Pervasive Systems

被引：27
|
作者：
Coronato, Antonio [1 ]
De Pietro, Giuseppe [1 ]
机构：
[1] CNR, ICAR, I-00185 Rome, Italy
来源：
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS | 2011年 / 6卷 / 01期
关键词：
Verification; Performance; Formal specification; ubiquitous and pervasive safety-critical applications; methodologies and tools;
D O I：
10.1145/1921641.1921650
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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 verification.
引用
收藏
页数：6
相关论文
共 50 条
  • [1] Formal Specification and Verification of User-centric Privacy Policies for Ubiquitous Systems
    Joshaghani, Rezvan
    Black, Stacy
    Sherman, Elena
    Mehrpouyan, Hoda
    [J]. IDEAS '19: PROCEEDINGS OF THE 23RD INTERNATIONAL DATABASE APPLICATIONS & ENGINEERING SYMPOSIUM (IDEAS 2019), 2019, : 252 - 261
  • [2] A Formal specification model for survivability in pervasive systems
    Ayara, A.
    Najjar, F.
    [J]. PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, 2008, : 444 - +
  • [3] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 371 - 378
  • [4] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    [J]. INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [5] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. INTEGRATION-THE VLSI JOURNAL, 1989, 7 (03) : 247 - 266
  • [6] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [7] Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment
    Hilia, Mohamed
    Chibani, Abdelghani
    Djouani, Karim
    Amirat, Yacine
    [J]. SERVICE-ORIENTED COMPUTING, (ICSOC 2016), 2016, 9936 : 685 - 693
  • [8] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [9] AN AXIOMATIC MODEL FOR FORMAL SPECIFICATION REQUIREMENTS OF UBIQUITOUS HEALTHCARE SYSTEMS
    Gawanmeh, Amjad
    [J]. 2013 IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE (CCNC), 2013, : 898 - 902
  • [10] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
12345