Experience with Applying Formal Methods to Protocol Specification and System Architecture

被引：0
|
作者：
Mani Azimi
Ching-Tsun Chou
Akhilesh Kumar
Victor W. Lee
Phamndra K. Mannava
Seungjoon Park
机构：
[1] Intel Corporation,
[2] SC12-608,undefined
来源：
Formal Methods in System Design | 2003年 / 22卷
关键词：
formal verification; cache coherence protocols; sliding window protocols; rule-based checking of tables; minimal deadlock-free wormhole routing schemes; fault-tolerant link initialization;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.
引用
收藏
页码：109 / 116
页数：7
相关论文
共 50 条
  • [1] Experience with applying formal methods to protocol specification and system architecture
    Azimi, M
    Chou, CT
    Kumar, A
    Lee, VW
    Mannava, PK
    Park, S
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (02) : 109 - 116
  • [2] JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION
    COHEN, B
    [J]. SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 26 - 35
  • [3] Applying practical formal methods to the specification and analysis of security properties
    Heitmeyer, C
    [J]. INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 84 - 89
  • [4] Applying formal specification in industry
    Larsen, PG
    Fitzgerald, J
    Brookes, T
    [J]. IEEE SOFTWARE, 1996, 13 (03) : 48 - +
  • [5] Semi-Formal and Formal Interface Specification for System of Systems Architecture
    Bryans, Jeremy
    Payne, Richard
    Holt, Jon
    Perry, Simon
    [J]. 2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 612 - 619
  • [6] Applying formal methods to a protocol standard and its implementations
    Bruns, G
    Staskauskas, M
    [J]. SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 198 - 205
  • [7] Formal Methods for Safety Critical System Specification
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip
    [J]. 2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 201 - 204
  • [8] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    [J]. 2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [9] Applying Continuous Formal Methods to Cardano (Experience Report)
    Chapman, James
    Bailly, Arnaud
    Vinogradova, Polina
    [J]. PROCEEDINGS OF THE 2ND ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL SOFTWARE ARCHITECTURE, FUNARCH 2024, 2024, : 18 - 24
  • [10] Formal specification of a protocol processor
    Westerlund, T
    Plosila, J
    [J]. EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2005, 3553 : 122 - 131
12345