Verification and Analysis of Dependable Automotive Communication Systems based on HW/SW Co-Simulation

被引：2

作者：

Karner, Michael ^{[1
]}

Steger, Christian ^{[1
]}

Weiss, Reinhold ^{[1
,3
]}

Armengaud, Eric ^{[2
]}

Watzenig, Daniel ^{[2
]}

机构：

[1] Graz Univ Technol, Inst Tech Informat, Inffeldgasse 16-1, A-8010 Graz, Austria

[2] Virtual Vehicle Competence Ctr, A-8010 Graz, Austria

[3] Univ Appl Sci, A-8605 Kapfenberg, Austria

来源：

2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS | 2008年

关键词：

D O I：

10.1109/ETFA.2008.4638432

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The introduction of FlexRay in the automotive industry as well as the standardization efforts for the hardware and software architecture rise different challenges: How to efficiently integrate the new services in the system, how to validate the communication architecture with respect to the effects influencing the network? The research project TEODACS aims at answering these questions. We present in this document a new validation approach for the communication architecture based on the simulation of the entire FlexRay network within a co-simulation framework. This environment largely reduces the processing resources required for simulation and thus makes the analysis of such complex system possible.

引用

页码：444 / +

页数：2

共 50 条

[41] SystemC-VHDL co-simulation and synthesis in the HW domain
Bombana, M
Bruschi, F
DESIGNERS FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2003, : 101 - 105
[42] Towards the Verification of Hybrid Co-simulation Algorithms
Thule, Casper
Gomes, Claudio
Deantoni, Julien
Larsen, Peter Gorm
Brauer, Joerg
Vangheluwe, Hans
SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 5 - 20
[43] Co-simulation for verification of digital control implementation
Pongratananukul, N
Kasparis, T
PESC 04: 2004 IEEE 35TH ANNUAL POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-6, CONFERENCE PROCEEDINGS, 2004, : 3609 - 3614
[44] Getting to the bottom of HW/SW co-verification performance claims
Stranbro, Michael
Computer Design, 1998, 37 (12):
[45] Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification
Bruns, Niklas
Herdt, Vladimir
Drechsler, Rolf
PROCEEDINGS OF THE 2022 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2022,
[46] SIMULATION-BASED HW/SW CO-DEBUGGING FOR FIELD-PROGRAMMABLE SYSTEMS-ON-CHIP
Willenberg, Ruediger
Chow, Paul
2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS, 2013,
[47] Early HW/SW Co-Verification Using Virtual Platforms
Choi, Jungyun
Kang, Kyungsu
Lee, Byunghoon
Park, Sangho
Im, Jaewoo
18TH INTERNATIONAL SOC DESIGN CONFERENCE 2021 (ISOCC 2021), 2021, : 51 - 52
[48] TEODACS: A new Vision for Testing Dependable Automotive Communication Systems
Armengaud, Eric
Watzenig, Daniel
Steger, Christian
Berger, Hubert
Gall, Harald
Pfister, Felix
Pistauer, Markus
2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 257 - +
[49] Throughput Estimation for ModelSim Simulator Tool Based HW/SW Co-Verification System
Ruan, A. W.
Liao, Y. B.
Li, P.
Li, W. C.
Li, W.
2009 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLUMES I & II, 2009, : 1014 - 1018
[50] Performance estimation for an EDA tool-based HW/SW co-verification environment
Ruan, A. W.
Liao, Y. B.
Li, P.
Li, W. C.
COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2010, 29 (02) : 306 - 316

← 1 2 3 4 5 →