Calibration of deployment simulation models: a multi-paradigm modelling approach

Authors:
Joachim Denil;Hans Vangheluwe;Paul De Meulenaere;Serge Demeyer
Affiliations:
Karel de Grote University College, Antwerp, Belgium and ANSYMO, University of Antwerp, Antwerp, Belgium;ANSYMO, University of Antwerp, Antwerp, Belgium and McGill University, Montréal, Canada;Karel de Grote University College, Antwerp, Belgium;ANSYMO, University of Antwerp, Antwerp, Belgium
Venue:
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Year:
2012

Citing 10
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Metropolis: An Integrated Electronic System Design Environment

Computer
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models

ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Traffic-aware stress testing of distributed systems based on UML models

Proceedings of the 28th international conference on Software engineering
The worst-case execution-time problem—overview of methods and survey of tools

ACM Transactions on Embedded Computing Systems (TECS)
Calibration of abstract performance models for system-level design space exploration

Journal of Signal Processing Systems - Special Issue: Embedded computing systems for DSP
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
DEVS for AUTOSAR platform modelling

Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
System-level design: orthogonalization of concerns and platform-based design

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In embedded systems development, software engineers increasingly rely on modelling and simulation to produce optimal design solutions. A bottleneck in the Modelling and Simulation Based Design (MSBD) process is model calibration. Setting up experiments to estimate parameter values such that the model accurately reflects real-world system structure and behaviour is technically complex and labour intensive. Parameters to be estimated are for example effective processor speed, memory consumption and network throughput of the hardware platform on which software is deployed. In this paper we show how Multi-Paradigm Modelling (MPM) allows for the synthesis of a model calibration infrastructure. This includes the synthesis, from a model, of a simulator for the "environment" in which a system-to-be built will operate. To demonstrate the feasibility of our approach, we calibrate the model of an automotive power window controller running on the AUTOSAR-platform.