Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Daniela Genius, Letitia W. Li, Ludovic Apvrille

2017

Abstract

The design methodology of an embedded system should start with a system-level partitioning dividing functions into hardware and software. However, since this partitioning decision is taken at a high level of abstraction, we propose regularly validating the selected partitioning during software development. The paper introduces a new model-based engineering process with a supporting toolkit, first performing system-level partitioning, and then assessing the partitioning choices thus obtained at different levels of abstraction during software design. This assessment shall in particular validate the assumptions made on system-level (e.g. on cache miss rates) that cannot be precisely determined without low-level hardware model. High-level partitioning simulations/verification rely on custom model-checkers and abstract models of software and hardware, while low-level prototyping simulations rely on automatically generated C-POSIX software code executing on a cycle-precise virtual prototyping platform. An automotive case study on an automatic braking application illustrates our complete approach.

Paper Citation

in Harvard Style

Genius D., W. Li L. and Apvrille L. (2017). Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 78-89. DOI: 10.5220/0006140600780089

in Bibtex Style

@conference{modelsward17,
author={Daniela Genius and Letitia W. Li and Ludovic Apvrille},
title={Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={78-89},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006140600780089},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
SN - 978-989-758-210-3
AU - Genius D.
AU - W. Li L.
AU - Apvrille L.
PY - 2017
SP - 78
EP - 89
DO - 10.5220/0006140600780089