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 条
  • [41] Validation & verification of intelligent and adaptive control systems
    Crum, VW
    Plaisted, C
    Buffington, JM
    Prasanth, R
    Tallant, GS
    Bose, P
    Krogh, B
    Johnson, T
    2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 68 - 77
  • [42] Runtime verification and validation of functional reactive systems
    Perez, Ivan
    Nilsson, Henrik
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2020, 30
  • [43] A Review of Verification and Validation for Space Autonomous Systems
    Rafael C. Cardoso
    Georgios Kourtis
    Louise A. Dennis
    Clare Dixon
    Marie Farrell
    Michael Fisher
    Matt Webster
    Current Robotics Reports, 2021, 2 (3): : 273 - 283
  • [44] Verification and validation of knowledge-based systems
    Tsai, WT
    Vishnuvajjala, R
    Zhang, D
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1999, 11 (01) : 202 - 212
  • [45] VERIFICATION AND VALIDATION OF CASE-BASED SYSTEMS
    OLEARY, DE
    EXPERT SYSTEMS WITH APPLICATIONS, 1993, 6 (01) : 57 - 66
  • [46] The Challenges of Verification and Validation of Automated Planning Systems
    Frank, Jeremy
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 2 - 2
  • [47] A Framework for Formal Verification and Validation of Railway Systems
    Benabbi, Yannis
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 371 - 374
  • [48] The Verification and Validation of Fuzzy Knowledge in Planning Systems
    Mazilescu, Vasile
    Sarpe, Daniela
    Novac-Ududec, Cornelia
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND INFORMATION TECHNOLOGY, 2009, : 91 - +
  • [49] Validation and verification of virtual environment training systems
    Zeltzer, D
    Pioch, NJ
    PROCEEDINGS OF THE IEEE 1996 VIRTUAL REALITY ANNUAL INTERNATIONAL SYMPOSIUM, 1996, : 123 - 130
  • [50] Validation & verification of intelligent and adaptive control systems
    Tallant, Gregory S.
    Hull, Richard A.
    Bose, Prasanta
    Johnson, Tim
    Buffington, James M.
    Krogh, Bruce
    Crum, Vincent W.
    Prasanth, Ravi
    2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 2926 - 2936
12345