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
[J]. PROCEEDINGS OF THE ASME 35TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING , 2016, VOL 7, 2016,
[22] Establishing Standards for Side-by-Side Radiographic Comparisons
Ross, Ann H.
Lanfear, Alicja K.
Maxwell, Ashley B.
[J]. AMERICAN JOURNAL OF FORENSIC MEDICINE AND PATHOLOGY, 2016, 37 (02): : 86 - 94
[23] STEREOCHEMICAL DETAILS OF THE SIDE-BY-SIDE MODEL FOR DNA
MILLANE, RP
RODLEY, GA
[J]. NUCLEIC ACIDS RESEARCH, 1981, 9 (07) : 1765 - 1773
[24] PROCESS MAKES COEX PARTS SIDE-BY-SIDE
SCHUT, JH
[J]. PLASTICS WORLD, 1994, 52 (12): : 8 - 8
[25] Straightening Tubular Flow for Side-by-Side Visualization
Angelelli, Paolo
Hauser, Helwig
[J]. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2011, 17 (12) : 2063 - 2070
[26] Side-by-Side: At the Intersections of Latinx Studies and ChYALit
Garcia, Marilisa Jimenez
[J]. LION AND THE UNICORN, 2017, 41 (01): : 113 - 122
[27] The scaling and performance of side-by-side pitching hydrofoils
Gungor, Ahmet
Hemmati, Arman
[J]. 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
[J]. 13TH EUROPEAN TURBULENCE CONFERENCE (ETC13): VORTICITY DYNAMICS, 2011, 318
[29] MODEL EXPERIMENTS OF FLOATING SIDE-BY-SIDE BARGES
Chua, Kie Hian
de Mello, Pedro Cardozo
Nishimoto, Kazuo
Choo, Yoo Sang
[J]. PROCEEDINGS OF THE ASME 38TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, 2019, VOL 9, 2019,
[30] SIDE-BY-SIDE PLACEMENT MAKES FOR CLEAR WINDOWS
GOSCH, J
[J]. ELECTRONIC DESIGN, 1989, 37 (17) : 29 - 30

← 1 2 3 4 5 →