Bridging the Gap Between Model-Based Development and Model Checking

被引：0
|
作者：
Miller, Steven P. [1 ]
机构：
[1] Rockwell Collins, Cedar Rapids, IA 52498 USA
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS | 2009年 / 5505卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The growing power of model checking is making it feasible to use formal verification for important classes of software systems. However, for this to be practical it is necessary to bridge the gap between the commercial modeling tools industrial developers prefer to rise and the input; languages of the formal verification tools. This paper describes a translator framework that makes it possible to use several popular formal verification tools with commercial modeling tools. The practicality of this approach is illustrated by four case studies in which model checking was successfully used in the development of avionics software.
引用
收藏
页码：443 / 453
页数：11
相关论文
共 50 条
  • [1] Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking
    Rao A.
    Wang Y.
    SAE International Journal of Advances and Current Practices in Mobility, 2023, 6 (02): : 814 - 826
  • [2] Bridging the Gap between Expert - Novice Differences: The Model-Based Feedback Approach
    Ifenthaler, Dirk
    JOURNAL OF RESEARCH ON TECHNOLOGY IN EDUCATION, 2010, 43 (02) : 103 - 117
  • [3] Model-based control with intermittent feedback: bridging the gap between continuous and instantaneous feedback
    Estrada, Tomas
    Antsaklis, Panos J.
    INTERNATIONAL JOURNAL OF CONTROL, 2010, 83 (12) : 2588 - 2605
  • [4] Model-based design of the polymer microstructure: bridging the gap between polymer chemistry and engineering
    D'hooge, Dagmar R.
    Van Steenberge, Paul H. M.
    Derboven, Pieter
    Reyniers, Marie-Francoise
    Marin, Guy B.
    POLYMER CHEMISTRY, 2015, 6 (40) : 7081 - 7096
  • [5] Bridging the Gap between FRAM and Safety Practice by Applying FSM and Model Checking
    Zheng, Zixia
    Tian, Jin
    PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
  • [6] Model-Based Diagnostic using Model Checking
    Bourahla, Mustapha
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2009, : 229 - 236
  • [7] Bridging the gap between efficacy trials and model-based impact evaluation for new tuberculosis vaccines
    Tovar, Mario
    Arregui, Sergio
    Marinova, Dessislava
    Martin, Carlos
    Sanz, Joaquin
    Moreno, Yamir
    NATURE COMMUNICATIONS, 2019, 10 (1)
  • [8] Bridging the gap between efficacy trials and model-based impact evaluation for new tuberculosis vaccines
    Mario Tovar
    Sergio Arregui
    Dessislava Marinova
    Carlos Martín
    Joaquín Sanz
    Yamir Moreno
    Nature Communications, 10
  • [9] Lightweight Consistency Checking for Agile Model-Based Development in Practice
    Jongeling, Robbert
    Ciccozzi, Federico
    Cicchetti, Antonio
    Carlson, Jan
    JOURNAL OF OBJECT TECHNOLOGY, 2019, 18 (02):
  • [10] Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
    Klauck, Michaela
    Steinmetz, Marcel
    Hoffmann, Joerg
    Hermanns, Holger
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020, 68 : 247 - 310
12345