loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: José Antonio Esparza Isasa ; Peter Würtz Vinther Jørgensen and Peter Gorm Larsen

Affiliation: Aarhus University, Denmark

Keyword(s): Hardware In the Loop (HIL), Modeling, Embedded Systems, VDM-RT.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Hybrid Multi-Modeling Approaches ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model Quality Assurance Techniques ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering ; Systems Engineering

Abstract: 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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.234.139.149

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Esparza Isasa, J.; Jørgensen, P. and Larsen, P. (2014). Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-007-9; ISSN 2184-4348, SciTePress, pages 209-216. DOI: 10.5220/0004698902090216

@conference{modelsward14,
author={José Antonio {Esparza Isasa}. and Peter Würtz Vinther Jørgensen. and Peter Gorm Larsen.},
title={Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2014},
pages={209-216},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004698902090216},
isbn={978-989-758-007-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems
SN - 978-989-758-007-9
IS - 2184-4348
AU - Esparza Isasa, J.
AU - Jørgensen, P.
AU - Larsen, P.
PY - 2014
SP - 209
EP - 216
DO - 10.5220/0004698902090216
PB - SciTePress