| Vol-503 © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners. This volume is published by its editors.

# ACES-MB 2008
Model Based Architecting and Construction of Embedded Systems

### Proceedings of the First International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2008),
held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems (MoDELS'08)
Toulouse, France, September 29, 2008.

Edited by

### Stefan Van Baelen *
Iulian Ober **
Susanne Graf ***
Mamoun Filali **
Thomas Weigert ****
Sébastien Gérard *****

* K.U.Leuven - Distrinet, Leuven, Belgium
** University of Toulouse - IRIT, Toulouse, France
*** Université Joseph Fourier - VERIMAG, Grenoble, France
**** Missouri University of Science and Technology, Rolla, MO, USA
***** CEA-LIST, Saclay, France

- Here you can download the complete proceedings
- Below you can download each single contribution

## Table of Contents

- preface, pages 1-7

### AADL based Analysis

1. Multi-Level power consumption modelling in the AADL design flow for DSP, GPP, and FPGA
   Eric Senn, Johann Laurent, and Jean-Philippe Diguet, pages 9-22
2. VTS-based Specification and Verification of Behavioral Properties of AADL Models
   Daniel Monteverde, Alfredo Olivero, Sergio Yovine, and Victor Braberman, pages 23-37
3. Translating AADL into BIP - Application to the Verification of Real-time Systems
   Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, and Joseph Sifakis, pages 39-53

### Transformation and Synthesis

4. Deriving component designs from global requirements
   Gregor v. Bochmann, pages 55-69
5. Scalable Models Using Model Transformation
   Thomas Huining Feng, and Edward A. Lee, pages 71-85
6. ISE language: the ADL for Efficient Development of Cross Toolkits
   Nikolay Pakulin, and Vladimir Rubanov, pages 87-98

### Tools, Applications, Patterns

7. Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation
   Joseph Porter, Gabor Karsai, Peter Volgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, and Janos Sztipanovits, pages 99-113
8. Modeling Radio-Frequency Front-Ends Using SysML: A Case Study of a UMTS Transceiver
   Sabeur Lafi, Roger Champagne, Ammar Kouki, and Jean Belzile, pages 115-128
9. From high-level modelling of time in MARTE to real-time scheduling analysis
   Marie-Agnes Peraldi-Frati, and Yves Sorel, pages 129-143
10. A Reinterpretation of Patterns to Increase the Expressive Power of Model-Driven Engineering Approaches
    Matteo Bordin, Marco Panunzio, Carlo Santamaria, and Tullio Vardanega, pages 145-158

18-Sep-2009: submitted by S. Van Baelen
18-Sep-2009: published on CEUR-WS.org