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 条
  • [21] HYDRODYNAMICS OF SIDE-BY-SIDE FIXED FLOATING BODIES
    Chua, Kie Hian
    Taylor, Rodney Eatock
    Choo, Yoo Sang
    PROCEEDINGS OF THE ASME 35TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING , 2016, VOL 7, 2016,
  • [22] Side-by-Side: At the Intersections of Latinx Studies and ChYALit
    Garcia, Marilisa Jimenez
    LION AND THE UNICORN, 2017, 41 (01): : 113 - 122
  • [23] Straightening Tubular Flow for Side-by-Side Visualization
    Angelelli, Paolo
    Hauser, Helwig
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2011, 17 (12) : 2063 - 2070
  • [24] Establishing Standards for Side-by-Side Radiographic Comparisons
    Ross, Ann H.
    Lanfear, Alicja K.
    Maxwell, Ashley B.
    AMERICAN JOURNAL OF FORENSIC MEDICINE AND PATHOLOGY, 2016, 37 (02): : 86 - 94
  • [25] STEREOCHEMICAL DETAILS OF THE SIDE-BY-SIDE MODEL FOR DNA
    MILLANE, RP
    RODLEY, GA
    NUCLEIC ACIDS RESEARCH, 1981, 9 (07) : 1765 - 1773
  • [26] PROCESS MAKES COEX PARTS SIDE-BY-SIDE
    SCHUT, JH
    PLASTICS WORLD, 1994, 52 (12): : 8 - 8
  • [27] The scaling and performance of side-by-side pitching hydrofoils
    Gungor, Ahmet
    Hemmati, Arman
    JOURNAL OF FLUIDS AND STRUCTURES, 2021, 104
  • [28] The turbulent wake behind side-by-side plates
    Dadmarzi, Fatemeh Hoseini
    Narasimhamurthy, Vagesh D.
    Andersson, Helge I.
    Pettersen, Bjornar
    13TH EUROPEAN TURBULENCE CONFERENCE (ETC13): VORTICITY DYNAMICS, 2011, 318
  • [29] Advances in the hydrodynamics of side-by-side moored vessels
    Pauw, Willemijn H.
    Huijsmans, Rene H. M.
    Voogt, Arjan
    Proceedings of the 26th International Conference on Offshore Mechanics and Arctic Engineering, Vol 4, 2007, : 597 - 603
  • [30] SIDE-BY-SIDE PLACEMENT MAKES FOR CLEAR WINDOWS
    GOSCH, J
    ELECTRONIC DESIGN, 1989, 37 (17) : 29 - 30
12345