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 条
  • [21] Bridging model-based and language-based security
    Heldal, R
    Hultin, F
    COMPUTER SECURITY - ESORICS 2003, PROCEEDINGS, 2003, 2808 : 235 - 252
  • [22] Efficient Refinement Checking for Model-Based Mutation Testing
    Aichernig, Bernhard K.
    Joebstl, Elisabeth
    2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 21 - 30
  • [23] Rapid Property Specification and Checking for Model-Based Formalisms
    Balasubramanian, Daniel
    Pap, Gabor
    Nine, Harmon
    Karsai, Gabor
    Lowry, Michael
    Pasareanu, Corina
    Pressburger, Tom
    2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 121 - 127
  • [24] Bridging the gap between model system and human biology
    Åberg, A
    GENETIC ENGINEERING NEWS, 2005, 25 (19): : 6 - +
  • [25] MODEL FOR BRIDGING GAP BETWEEN UNDERGRADUATE RESEARCH AND PRACTICE
    GRINNELL, RM
    KYTE, NS
    JOURNAL OF EDUCATION FOR SOCIAL WORK, 1977, 13 (03): : 30 - 36
  • [26] Whose model is it?: Bridging the gap between engineering and statistics
    P. Lenk
    Experimental Techniques, 1999, 23 : 34 - 36
  • [27] Whose model is it?: Bridging the gap between engineering and statistics
    Lenk, P
    EXPERIMENTAL TECHNIQUES, 1999, 23 (01) : 34 - 36
  • [28] Soft splicing model: bridging the gap between composite model and finite mixture model
    Fung, Tsz Chai
    Jeong, Himchan
    Tzougas, George
    SCANDINAVIAN ACTUARIAL JOURNAL, 2024, 2024 (02) : 168 - 197
  • [29] Integrating model checking with HiP-HOPS in model-based safety analysis
    Sharvia, Septavera
    Papadopoulos, Yiannis
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 135 : 64 - 80
  • [30] Definition of a system model for model-based development
    Hannes Hick
    Matthias Bajzek
    Clemens Faustmann
    SN Applied Sciences, 2019, 1
12345