Formally Synthesising a Protocol Converter: A Case Study

被引：0
|
作者：
Cao, Jing [1 ]
Nymeyer, Albert [1 ]
机构：
[1] Univ New S Wales, Sydney, NSW 2052, Australia
来源：
IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS | 2009年 / 5642卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A formal method of synthesising a converter that translates signals between two heterogeneous, off-the-shelf protocol IPs is presented in the form of a case study. At the heart of the method is a model checker that guarantees the converter satisfies correctness conditions, as well as user-defined properties. In this approach, the issue of nondeterminism is explicitly addressed, and is used to synthesise an optimal converter.
引用
收藏
页码：249 / 252
页数：4
相关论文
共 50 条
  • [41] A Wave Energy Converter Design Load Case Study
    van Rij, Jennifer
    Yu, Yi-Hsiang
    Guo, Yi
    Coe, Ryan G.
    [J]. JOURNAL OF MARINE SCIENCE AND ENGINEERING, 2019, 7 (08)
  • [42] A formal approach to the protocol converter problem
    Avnit, Karin
    D'Silva, Vijay
    Sowmya, Arcot
    Ramesh, S.
    Parameswaran, Sri
    [J]. 2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3, 2008, : 252 - +
  • [43] NTCIP™ network driver and protocol converter
    不详
    [J]. ITE JOURNAL-INSTITUTE OF TRANSPORTATION ENGINEERS, 2001, 71 (05): : 20 - 20
  • [44] Formally verified TSM centric privacy preserving NFC mobile payment framework and protocol
    [J]. Ammayappan, Kavitha (kavitha.a@samsung.com), 1600, Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (08):
  • [45] Formally justifying user-centred design rules: A case study on post-completion errors
    Curzon, P
    Blandford, A
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 461 - 480
  • [46] Designing a Case Study Protocol for Application in IS research
    Maimbo, Hilangwa
    Pervan, Graham
    [J]. PACIFIC ASIA CONFERENCE ON INFORMATION SYSTEMS 2005, SECTIONS 1-8 AND POSTER SESSIONS 1-6, 2005, : 1281 - +
  • [47] Interactions with Feedback: A Case Study of Protocol Analysis
    Kumar, Margaret
    Kumar, Vijay
    [J]. PERTANIKA JOURNAL OF SOCIAL SCIENCE AND HUMANITIES, 2012, 20 (04): : 1161 - 1173
  • [48] Micro protocol design: The SNMP case study
    Gotzhein, R
    Khendek, F
    Schaible, P
    [J]. TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 61 - 73
  • [49] A Virtual Case Presentation Platform: Protocol Study
    Awada, Imad Alex
    Florea, Adina Magda
    Scafa-Udriste, Alexandru
    [J]. METHODS AND PROTOCOLS, 2024, 7 (02)
  • [50] A Formally Verified Protocol for Secure Vertical Handovers in 4G Heterogeneous Networks
    Qachri, Naim
    Markowitch, Olivier
    Dricot, Jean-Michel
    [J]. INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2013, 7 (06): : 309 - 326
12345