Title
Automatic deployment space exploration using refinement transformationsAutomatic deployment space exploration using refinement transformations
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Research group
Antwerp Systems and software Modelling (AnSyMo)
Publication type
article
Publication
Berlin :Technische Universitšt Berlin,
Subject
Computer. Automation
Source (journal)
Electronic communications of the EASST. - Berlin, 2006, currens
Volume/pages
50(2011), p. 1-13
ISSN
1863-2122
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Abstract
To manage the complex engineering information for real-time systems, the system under development may be modelled in a high-level architecture de- scription language. This high-level information provides a basis for deployment space exploration as it can be used to generate a low-level implementation. During this deployment mapping many platform-dependent choices have to be made whose consequences cannot be easily predicted. In this paper we present an approach to the automatic exploration of the deployment space based on platform-based design. All possible solutions of a deployment step are generated using a refinement trans- formation. Non-conforming deployment alternatives are pruned as early as possible using simulation or analytical methods. We validate the feasibility of our approach by deploying part of an automotive power window optimized for its real-time be- haviour using an AUTOSAR-like representation. First results are promising and show that the optimal solution can indeed be found efficiently with our approach.
Full text (open access)
https://repository.uantwerpen.be/docman/irua/952c85/48e3d3f5.pdf
Handle