Implementation of AADL interpreter based on K

被引:0
|
作者
Zhang, Fan [1 ]
Su, Weining [1 ]
Gang, Yang [1 ]
Wang, Tianfang [1 ]
机构
[1] School of Computer Science and Engineering Northwestern, Polytechnical University Xi’an, China
来源
International Journal of Hybrid Information Technology | 2015年 / 8卷 / 04期
基金
中国国家自然科学基金;
关键词
Formal methods - Software design - Embedded systems - Software architecture - Real time systems;
D O I
10.14257/ijhit.2015.8.4.20
中图分类号
学科分类号
摘要
By using model-driven architecture (MDA), most of errors can be discovered and solved at the early stage of system design. AADL lacks formal semantics which are essential for real-time embedded systems with high safety requirements. In this paper, we design and implementation the AADL Interpreter based on K semantics framework, and this lays a solid foundation for formal analysis and verification of AADL model. © 2015 SERSC
引用
收藏
页码:177 / 184
相关论文
共 50 条
  • [1] Implementation of Language Interpreter based on Reusable Components
    Du Genyuan
    Miao Fang
    2009 INTERNATIONAL CONFERENCE ON EDUCATION TECHNOLOGY AND COMPUTER, PROCEEDINGS, 2009, : 53 - 55
  • [2] Design and implementation of abstract syntax of AADL and code generation based on Spoofax/XL
    School of Computer Science and Engineering, Northwestern Polytechnical University, Xi’an, China
    Int. J. u e Serv. Sci. Technol., 3 (171-178): : 171 - 178
  • [3] Design and Implementation of G-Code Interpreter Based on QT
    Cheng, Guang-he
    Zhao, Shuai
    Sun, Rui-rui
    2016 INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND AUTOMATION (ICEEA 2016), 2016,
  • [4] TRANSPUTER-BASED IMPLEMENTATION AND EVALUATION OF PARALLEL PROLOG INTERPRETER
    AVVENUTI, M
    CORSINI, P
    FROSINI, G
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (07) : 453 - 465
  • [5] IMPLEMENTATION OF AN INTERPRETER FOR ABSTRACT EQUATIONS
    HOFFMANN, CM
    ODONNELL, MJ
    STRANDH, RI
    SOFTWARE-PRACTICE & EXPERIENCE, 1985, 15 (12): : 1185 - 1204
  • [6] A Prototype Implementation of the NNEF Interpreter
    Baek, Nakhoon
    ADVANCES IN ARTIFICIAL INTELLIGENCE AND APPLIED COGNITIVE COMPUTING, 2021, : 715 - 719
  • [7] PASCAL IMPLEMENTATION OF A LISP INTERPRETER
    FURNARI, M
    SIGPLAN NOTICES, 1987, 22 (05): : 42 - 46
  • [8] Design and Implementation of AADL Model Safety Assessment Tool
    Zhao, Hongbing
    Song, Deming
    Dong, Yunwei
    2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 251 - 257
  • [9] Design and implementation of an abstract interpreter for VHDL
    Hymans, C
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 263 - 269
  • [10] THE IMPLEMENTATION OF FPROLOG - A FUZZY PROLOG INTERPRETER
    MARTIN, TP
    BALDWIN, JF
    PILSWORTH, BW
    FUZZY SETS AND SYSTEMS, 1987, 23 (01) : 119 - 129