Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems

被引：0

作者：

Isasa, Jose Antonio Esparza ^{[1
]}

Jorgensen, Peter Wurtz Vinther ^{[1
]}

Larsen, Peter Gorm ^{[1
]}

机构：

[1] Aarhus Univ, Dept Engn, Finlandsgade 22, Aarhus, Denmark

来源：

PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014) | 2014年

关键词：

Hardware In the Loop (HIL); Modeling; Embedded Systems; VDM-RT;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper introduces a generic solution for gradually moving from a model of an embedded system to include embedded hardware and software components into the simulation of the model. Our technique enables combined execution (co-execution) of system components models expressed in the VDM-RT formalism with actual hardware/software realizations through the application of Hardware In the Loop (HIL) simulation. Introducing such component realizations in the simulation increases the fidelity of the simulation outcome, thus enabling improved prediction of properties for the system realization.

引用

页码：209 / 216

页数：8

共 50 条

[21] Modeling and verification of real-time embedded systems with urgency
Hsiung, Pao-Ann
Lin, Shang-Wei
Chen, Yean-Ru
Huang, Chun-Hsian
Shih, Chihhsiong
Chu, William C.
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (10) : 1627 - 1641
[22] Research on Modeling and Design of Real-Time Embedded Systems
Shen Yuncheng
[J]. 2014 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA), 2014, : 547 - 550
[23] Modeling of real-time embedded systems using SDL
Babau, JP
Alkhodre, A
Schwarz, JJ
[J]. SYSTEM ON CHIP DESIGN LANGUAGES: EXTENDED PAPERS: BEST OF FDL'01 AND HDLCON'01, 2002, : 257 - 265
[24] Modeling of dynamically modifiable embedded real-time systems
Rammig, F
Rust, C
[J]. NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 28 - 34
[25] Refined Modeling of Wind Energy Conversion Systems and Real-time Co-simulation With Hardware-in-loop
Jia F.
Cai X.
Li Z.
Lou Y.
[J]. 1600, Chinese Society for Electrical Engineering (37): : 1239 - 1250
[26] Real-time Hardware-in-the-loop Test for a Small Upper Stage Embedded Control System
Ghorbani, Mehrdad
Pasand, Milad
Bayati, Alireza Ghasem
Baheri, Neda
[J]. 2018 CSI INTERNATIONAL SYMPOSIUM ON REAL-TIME AND EMBEDDED SYSTEMS AND TECHNOLOGIES (RTEST), 2018, : 96 - 103
[27] Automated software and hardware evolution analysis for distributed real-time and embedded systems
Dougherty, Brian
White, Jules
Schmidt, Douglas C.
[J]. OPEN COMPUTER SCIENCE, 2011, 1 (01): : 36 - 57
[28] Hardware-software timing coverification of concurrent embedded real-time systems
Hsiung, PA
[J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (02): : 83 - 92
[29] Design and Hardware Implementation of a Chaotic Encryption Scheme for Real-time Embedded Systems
Pande, Amit
Zambreno, Joseph
[J]. 2010 INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND COMMUNICATIONS (SPCOM), 2010,
[30] A Low-Cost Hardware-In-The-Loop Real Time Simulation of Control Systems
Rosas Velasquez, Diego
Tomanguilla Collazos, Victor
Machuca Mines, Jose
[J]. PROCEEDINGS OF THE 2017 IEEE XXIV INTERNATIONAL CONFERENCE ON ELECTRONICS, ELECTRICAL ENGINEERING AND COMPUTING (INTERCON), 2017,

← 1 2 3 4 5 →