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 条
  • [31] Open Source Hardware in the Loop Real-time Simulation of Zonal DC systems
    Chiandone, Massimiliano
    Vicenzutti, Andrea
    Bosich, Daniele
    Tavagnutti, Andrea Alessia
    Barbini, Nicola
    Sulligoi, Giorgio
    [J]. 2022 OPEN SOURCE MODELLING AND SIMULATION OF ENERGY SYSTEM (OSMSES), 2022,
  • [32] Energy Systems and Communication Networks Real-Time Simulation for Controller Hardware In the Loop
    Benigni, Andrea
    Ginn, Herbert
    [J]. 2017 IEEE CONFERENCE ON ENERGY INTERNET AND ENERGY SYSTEM INTEGRATION (EI2), 2017,
  • [33] JMASS, real-time, and hardware-in-the-loop
    Larkin, B
    [J]. PROCEEDINGS OF THE IEEE 1997 AEROSPACE AND ELECTRONICS CONFERENCE - NAECON 1997, VOLS 1 AND 2, 1997, : 525 - 529
  • [34] Calau: An Environment for Modeling and Analyzing Embedded Real-Time Systems
    Andrade, Ermeson C.
    Alves, Marcelo
    Nogueira, Bruno
    Maciel, Paulo
    [J]. PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 3135 - 3140
  • [35] Real-Time Adaptive Background Modeling for Multicore Embedded Systems
    Senyo Apewokin
    Brian Valentine
    Jee Choi
    Linda Wills
    Scott Wills
    [J]. Journal of Signal Processing Systems, 2011, 62 : 65 - 76
  • [36] Modeling and Analysis of Scheduling for Distributed Real-time Embedded Systems
    Hai-Tao Zhang Gui-Fang Wu Electronic and Information Engineering College
    [J]. Machine Intelligence Research, 2010, (04) : 525 - 530
  • [37] EXECUTABLE MODELING AIDS DESIGN OF REAL-TIME EMBEDDED SYSTEMS
    HARDING, B
    [J]. COMPUTER DESIGN, 1988, 27 (22): : 48 - 49
  • [38] Modeling and analysis of scheduling for distributed real-time embedded systems
    Zhang H.-T.
    Wu G.-F.
    [J]. International Journal of Automation and Computing, 2010, 7 (04) : 525 - 530
  • [39] Modeling and Analysis of Scheduling for Distributed Real-time Embedded Systems
    HaiTao Zhang GuiFang Wu Electronic and Information Engineering CollegeHenan University of Science and TechnologyLuoyang PRC
    [J]. International Journal of Automation & Computing, 2010, 7 (04) : 525 - 530
  • [40] Real-Time Adaptive Background Modeling for Multicore Embedded Systems
    Apewokin, Senyo
    Valentine, Brian
    Choi, Jee
    Wills, Linda
    Wills, Scott
    [J]. JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2011, 62 (01): : 65 - 76
12345