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 条
  • [41] Bridging the Technology Gap: Building a Development Model for Rural Alaska
    Dinero, Steven
    Mariotz, Elizabeth
    Bhagat, Parimal
    JOURNAL OF CULTURAL GEOGRAPHY, 2007, 24 (02) : 53 - 77
  • [42] Bridging the gap between research and agile practice: an evolutionary model
    Barroca, Leonor
    Sharp, Helen
    Salah, Dina
    Taylor, Katie
    Gregory, Peggy
    INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2018, 9 (02) : 323 - 334
  • [43] BRIDGING THE CREDIBILITY GAP BETWEEN MODEL BUILDER AND FORECAST USER
    MCLEOD, G
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1985, 36 (12) : 1154 - 1154
  • [44] Bridging the gap between X(5) and the interacting boson model
    McCutchan, EA
    Zamfir, NV
    Casten, RF
    PHYSICAL REVIEW C, 2005, 71 (03):
  • [45] Model-Based Mutation Testing of Real-Time Systems via Model Checking
    Lorber, Florian
    Larsen, Kim G.
    Nielsen, Brian
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 59 - 68
  • [46] Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
    Wieczorek, Sebastian
    Kozyura, Vitaly
    Roth, Andreas
    Leuschel, Michael
    Bendisposto, Jens
    Plagge, Daniel
    Schieferdecker, Ina
    TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, 2009, 5826 : 179 - +
  • [47] The development of a maximum likelihood model for model-based applications
    Chen, Y.
    Hoo, K. A.
    COMPUTERS & CHEMICAL ENGINEERING, 2012, 43 : 23 - 32
  • [48] CFD for model-based controller development
    Desta, TZ
    Janssens, K
    Van Brecht, A
    Meyers, J
    Baelmans, M
    Berckmans, D
    BUILDING AND ENVIRONMENT, 2004, 39 (06) : 621 - 633
  • [49] Testing concept for model-based development
    Fey, Ines
    WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 7, 2005, : 48 - 52
  • [50] Model-based development of embedded systems
    Conrad, Mirko
    Giese, Holger
    Rumpe, Bernhard
    Schätz, Bernhard
    Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, MBEES 2007, 2007,
12345