Design and Runtime Verification Side-by-Side in eTrice

被引：0
|
作者：
Kanav, Sudeep [1 ]
Lucio, Levi [1 ]
Hilden, Christian [2 ]
Schuetz, Thomas [2 ]
机构：
[1] Fortiss GmbH, Munich, Germany
[2] PROTOS Software GmbH, Munich, Germany
来源：
NASA FORMAL METHODS (NFM 2019) | 2019年 / 11460卷
关键词：
D O I：
10.1007/978-3-030-20652-9_17
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
eTrice is a mature open-source model-based software engineering tool, based on the ROOM methodology. It is currently used in the industry for the development of solutions for domains such as health, heavy machinery and the automotive. eTrice natively incorporates mechanisms for runtime verification. At the request of the developers of eTrice, we have incorporated model checking in their tool chain, by partly reusing the existing runtime verification architecture. We report on the implementation of the tool, experiments that we conducted, and lessons learned regarding the synergies between the two verification techniques.
引用
收藏
页码：255 / 262
页数：8
相关论文
共 50 条
  • [1] Managed C++ and the side-by-side cache - Creating libraries that load at runtime
    Grimes, R
    [J]. DR DOBBS JOURNAL, 2006, 31 (04): : 34 - 36
  • [2] SIDE-BY-SIDE
    MONTELEONI, M
    [J]. NATURE, 1995, 375 (6532) : 530 - 530
  • [3] Simulation Study of Side-by-Side Spiral Coil Design For Micromagnetometer
    Sulaiman, Nadzril
    Majlis, Burhanuddin Yeop
    [J]. NEMS/MEMS TECHNOLOGY AND DEVICES, 2011, 254 : 175 - 178
  • [4] DESIGN AND PERFORMANCE OF DUAL-ELEMENT SIDE-BY-SIDE HEADS
    CHANG, PT
    LEE, J
    JENSEN, R
    SUSSNER, H
    [J]. IEEE TRANSACTIONS ON MAGNETICS, 1987, 23 (05) : 2934 - 2936
  • [5] SIDE-BY-SIDE PERFORMANCE MONITORING
    ADAMS, JA
    [J]. SOLAR AGE, 1985, 10 (07): : 68 - 70
  • [6] ETHICS AND MORALITY, SIDE-BY-SIDE
    不详
    [J]. ORGANIZATION, 1995, 2 (02) : 179 - 180
  • [7] MORE ON SIDE-BY-SIDE DNA
    不详
    [J]. SEARCH, 1977, 8 (11-1): : 384 - 385
  • [8] Distributed Side-by-Side Programming
    Dewan, Prasun
    Agarwal, Puneet
    Shroff, Gautam
    Hegde, Rajesh
    [J]. 2009 ICSE WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING, 2009, : 48 - +
  • [9] Magnetic-Geared Motor in Side-by-Side Arrangement - Concept and Design
    Jungmayr, Gerald
    Marth, Edmund
    Segon, Gordan
    [J]. 2019 IEEE INTERNATIONAL ELECTRIC MACHINES & DRIVES CONFERENCE (IEMDC), 2019, : 847 - 853
  • [10] Side-by-side collaboration: a case study
    Flor, NV
    [J]. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1998, 49 (03) : 201 - 222
12345