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 条
  • [1] Modeling and validating distributed embedded real-time systems with VDM++
    Verhoef, Marcel
    Larsen, Peter Gorm
    Hooman, Jozef
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 147 - 162
  • [2] Validation support for distributed real-time embedded systems in VDM plus
    Fitzgerald, John S.
    Larsen, Peter Gorm
    Tjell, Simon
    Verhoef, Marcel
    [J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 331 - +
  • [3] Hardware interface design for real time embedded systems
    Baganne, A
    Philippe, JL
    Martin, E
    [J]. SEVENTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1997, : 58 - 63
  • [4] Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation using High Level Architecture
    Junior, Jose Claudio Vieira S.
    Brito, Alisson V.
    Nascimento, Tiago P.
    [J]. 2015 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2015, : 142 - 147
  • [5] Real-time Hardware-in-the-Loop Modeling for Microgrid Applications
    Baccino, Francesco
    Brissette, A.
    Ishchenko, D.
    Kondabathini, A.
    Serra, Pietro
    [J]. 2017 6TH INTERNATIONAL CONFERENCE ON CLEAN ELECTRICAL POWER (ICCEP): RENEWABLE ENERGY IMPACT, 2017, : 152 - 157
  • [6] Hardware-software partitioning for real-time embedded systems
    Univ of Notre Dame, Notre Dame, United States
    [J]. Des Autom Embedded Syst, 3-4 (339-358):
  • [7] Hardware-software partitioning for real-time embedded systems
    Hu, XS
    DAmbrosio, JG
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 1997, 2 (3-4) : 339 - 358
  • [8] A Real-Time Hypervisor for Embedded Systems with Hardware Virtualization Support
    Shimada, Takumi
    Yashiro, Takeshi
    Koshizuka, Noboru
    Sakamura, Ken
    [J]. 2015 TRON SYMPOSIUM (TRONSHOW), 2015,
  • [9] Hardware Support for Resource Partitioning in Real-Time Embedded Systems
    Honmura, Tetsuro
    Kondoh, Yuki
    Yamada, Tetsuya
    Takada, Masashi
    Nitoh, Takumi
    Nojiri, Tohru
    Toyama, Keisuke
    Saitoh, Yasuhiko
    Nishi, Hirofumi
    Sato, Mikiko
    Namiki, Mitaro
    [J]. 2013 IEEE COOL CHIPS XVI (COOL CHIPS), 2013,
  • [10] Hardware-Software Partitioning for Real-Time Embedded Systems
    Xiaobo (Sharon) Hu
    Joseph G. D’Ambrosio
    [J]. Design Automation for Embedded Systems, 1997, 2 : 339 - 358
12345