Critical systems validation and verification with CSP and FDR

被引：0
|
作者：
Goldsmith, M
Zakiuddin, I
机构：
[1] Formal Syst Europe Ltd, Oxford OX4 1JS, England
[2] Def Evaluat & Res Agcy, Malvern, Worcs, England
来源：
APPLIED FORMAL METHODS - FM-TRENDS 98 | 1999年 / 1641卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Formal Systems and DERA have enjoyed a number of fruitful collaborations in recent years, especially in projects exploiting the FDR tool to analyse CSP models of systems. This paper presents an overview of the approach and some of the diverse applications to which it has been applied.
引用
收藏
页码：243 / 250
页数：8
相关论文
共 50 条
  • [1] VERIFICATION AND VALIDATION OF DISTRIBUTED FLIGHT CRITICAL SYSTEMS
    Hall, Brendan
    Driscoll, Kevin
    Schweiker, Kevin
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [2] Early Verification and Validation of Mission Critical Systems
    Ponsard, C.
    Massonet, P.
    Rifaut, A.
    Molderez, J. F.
    van Lamsweerde, A.
    Van, H. Tran
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 237 - 254
  • [3] Early verification and validation of mission critical systems
    Ponsard, C.
    Massonet, P.
    Molderez, J. F.
    Rifaut, A.
    van Lamsweerde, A.
    Van, H. Tran
    FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (03) : 233 - 247
  • [4] Verification and Validation of Flight Critical Systems (VVFCS)
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [5] Early verification and validation of mission critical systems
    C. Ponsard
    P. Massonet
    J. F. Molderez
    A. Rifaut
    A. van Lamsweerde
    H. Tran Van
    Formal Methods in System Design, 2007, 30
  • [6] Proxy Verification and Validation For Critical Autonomous and AI Systems
    Laplante, Phil
    Kassab, Mohamad
    DeFranco, Joanna
    2022 IEEE 29TH ANNUAL SOFTWARE TECHNOLOGY CONFERENCE (STC 2022), 2022, : 37 - 40
  • [7] Specification, validation, and verification of time-critical systems
    Shieh, SP
    Chen, JN
    COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
  • [8] XANDAR: Verification & Validation Approach for Safety-critical Systems
    Sonigara, Balmukund
    Sezer, Sakir
    Siddiqui, Fahad
    Weber, Raphael
    Antonopoulos, Konstantinos
    Panagiotou, Christos
    Antonopoulos, Christos P.
    Keramidas, Georgios
    Voros, Nikolaos
    Yengec-Tasdemir, Sena Busra
    Hui, Henry
    McLaughlin, Kieran
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
  • [9] Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool
    Leuschel, Michael
    Fontaine, Marc
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 278 - 297
  • [10] Architectural Verification of Control Systems Using CSP
    Jesus, Joabe
    Mota, Alexandre
    Sampaio, Augusto
    Grijo, Luiz
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 323 - +
12345