ArtistDesign NoE

70. Participants

Stefan Van Baelen — 2011-10-18T00:19:41Z

ACES-MB 2011 Participants

Nico Adler
Joachim Denil
Tayfun Gezgin
Sebastien Gerard
Hassan Gomaa
Gerd Kainz
Masumi Kawakami
Kilian Kempf
Hiroshi Miyazaki
Robert Pettit
Margarete Sackmann
Bran Selic
Mathias Soeken
Arnor Solberg
Stefan Van Baelen
Hans Vangheluwe

80. Programme, Slides

Stefan Van Baelen — 2011-09-06T11:44:26Z

Programme

9h00-9h30: Welcome, introduction and presentation of the participants

Session 1: System & Software Development and Modeling

09h30-10h00 Hassan Gomaa. Towards Integrated System and Software Modeling for Embedded Systems 10h00-10h30 Frank Slomka, Steffen Kollmann, Steffen Moser and Kilian Kempf. A Multidisciplinary Design Methodology for Cyber-physical Systems

10h30-11h00: Coffee break

Session 1: System & Software Development and Modeling (ctd.)

11h00-11h30 Margarete Sackmann, Peter Ebraert and Dirk Janssens. A Model-Driven Approach for Software Parallelization

Session 2: System & Software Architecture

11h30-12h00 Raphael Weber, Tayfun Gezgin and Maurice Girod. A Refinement Checking Technique for Contract-Based Architecture Designs 12h00-12h30 Nico Adler, Philipp Graf and Klaus D. Müller-Glaser. Model-based Consistency Checks of Electric and Electronic Architectures against Requirements

12h30-14h00: Lunch break

Session 2: System & Software Architecture (ctd.)

14h00-14h30 Robert Pettit, Hassan Gomaa and Julie Fant. Modeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets

Session 3

14h30-15h30 Discussion

15h30-16h00: Coffee break

16h00-17h20 Discussion

17h20-17h30: Conclusions and Closing

90. Proceedings, Report

Stefan Van Baelen — 2011-09-06T11:36:35Z

The workshop proceedings are available here.
The workshop proceedings have also been published as CEUR Workshop Proceedings (CEUR-WS vol. 795).
The workshop report that has been included in the MoDELS'11 Workshop Reader is available here.

40. Important Dates

Stefan Van Baelen — 2011-05-23T16:02:47Z

Submission Deadline
~~July 17^th, 2011~~ - EXTENDED to August 5th, 2011 (Samoan Time).

Notification of Acceptance
September 6^th, 2011
MoDELS 2011 Early Registration Date
September 16^th, 2011
Workshop Date
October 18^th, 2011.

30. Submissions

Stefan Van Baelen — 2011-05-23T15:44:26Z

Attendees are invited to submit a short position paper (max. 5 pages) or a full technical contribution (max. 15 pages) in PDF format. Submissions must conform to the Springer LNCS formatting guidelines.

Only full papers can be candidate for the best paper award (which will be included in the MoDELS 2011 Workshop Reader). All accepted papers (full and short) will be published in the Workshop Proceedings, which will be given to the participants in hardcopy form, and distributed electronically via CEUR and the ARTIST2 Website.

Papers must be submitted online using easychair through the link http://www.easychair.org/conferences/?conf=acesmb11.

Those who have no easychair account are invited to first create one.

For any additional information or in case of problems with the submission site, please contact aces@irit.fr.

95. Other Editions

Stefan Van Baelen — 2011-05-20T13:04:55Z

Previous Editions:

ACES-MB 2008, September 29th, 2008, in conjunction with MoDELS 2008, Toulouse, France.
ACES-MB 2009, October 6th, 2009, in conjunction with MoDELS 2009, Denver, Colorado, USA.
ACES-MB 2010, October 4th, 2010, in conjunction with MoDELS 2010, Oslo, Norway.

Next Edition:

ACES-MB 2012, September 30th, 2012, in conjunction with MoDELS 2012, Innsbruck, Austria.

50. Committees

Stefan Van Baelen — 2011-05-20T13:01:44Z

Organizing Committee

Stefan Van Baelen K.U.Leuven-DistriNet, Belgium
Sébastien Gérard CEA-LIST/LISE, France
Ileana Ober University of Toulouse-IRIT, France
Thomas Weigert Missouri S&T, USA
Huascar Espinoza Tecnalia-ESI, Spain
Iulian Ober University of Toulouse-IRIT, France

Steering Committee

Mamoun Filali University of Toulouse-CNRS-IRIT, France
Susanne Graf Univ. Joseph Fourier-CNRS-VERIMAG, France

Program Committee

Jean-Michel Bruel University of Toulouse-IRIT, France
Agusti Canals CS-SI, France
Daniela Cancila Atego, France
Arnaud Cuccuru CEA-LIST/LISE, France
Jean-Marie Farines UFSC, Brasil
Robert France CSU, USA
Pierre Gaufillet Airbus, France
Bruce Lewis US Army, USA
Isabelle Perseil Inserm, France
Dorina Petriu Carleton University, Canada
Andreas Prinz University of Agder, Norway
Bernhard Rumpe RWTH Aachen, Germany
Douglas C. Schmidt Vanderbilt University, USA
Bran Selic Malina Software, Canada
Martin Törngren KTH Stockholm, Sweden
Tullio Vardanega University of Padua, Italy
Eugenio Villar Universidad de Cantabria, Spain
Tim Weilkiens OOSE Innovative Informatik GmbH, Germany
Sergio Yovine VERIMAG, France

20. Topics, Format

Stefan Van Baelen — 2011-05-20T12:57:27Z

Topics

We target in particular:

Architecture description languages (ADLs). Architecture models are crucial elements in system and software development, as they capture the earliest decisions which have a huge impact on the realisation of the (non-functional) requirements, the remaining development of the system or software, and its deployment. We are particularly interested in examining:
Position of ADLs in an MBE approach;
Relations between architecture models and other types of models used during requirement engineering (e.g., SysML, EAST-ADL, AADL), design (e.g., UML), etc.;
Techniques for deriving architecture models from requirements, and deriving high-level design models from architecture models;
Verification and early validation using architecture models.
Domain specific design and implementation languages. To achieve the high confidence levels required for critical embedded systems through analytical methods, in practice languages with particularly well-behaved semantics are often used, such as synchronous languages and models (Lustre/SCADE, Signal/Polychrony, Esterel), super-synchronous models (TTA, Giotto), scheduling-friendly models (HRT-UML, Ada Ravenscar), or the like. We are interested in examining the model-oriented counterparts of such languages, together with the related analysis and development methods.
Languages for capturing non-functional constraints (MARTE, AADL, OMEGA, etc.)
Component languages and system description languages (SysML, MARTE, EAST-ADL, AADL, BIP, FRACTAL, Ptolemy, etc.).

Format

This full-day workshop will consist of an introduction by the organizers, an invited talk, presentations of accepted papers, an in-depth discussion of a set of topics that are identified by the attendees, and a concluding session presenting the results of the discussion groups.

10. Overview

Stefan Van Baelen — 2011-05-20T12:56:29Z

Motivation

The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for example, real-time deadlines and to platform parameters like energy consumption or memory footprint. The last few years have seen an increased interest in using model-based engineering (MBE) techniques to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models in a layered construction of systems. MBE techniques are interesting and promising for the following reasons: They allow to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models, and they support a layered construction of systems, in which the (platform independent) functional aspects are kept separate from architectural and non-functional (platform specific) aspects, where the final system is obtained by combining these aspects later using model transformations.

Objective

The objective of this workshop is to bring together researchers and practitioners interested in model-based engineering to explore the frontiers of architecting and construction of embedded systems. We are seeking contributions relating to this subject at different levels, from modelling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Concerning models and languages, we welcome contributions presenting novel modelling approaches as well as contributions evaluating existing ones.

Call for Papers

The Call for Papers of the ACES^MB 2011 workshop can be found here.

70. Participants

Stefan Van Baelen — 2010-11-23T09:16:41Z

Registered Participants

Marcos Aurélio Almeida Da Silva (France)
Mustafa Altinkaya (Turkey)
Luigi Andolfato (Germany)
Andrius Armonas (Lithuania)
Jakob Axelsson (Sweden)
Razieh Behjati (Norway)
Matthias Biehl (Sweden)
Dominique Blouin (France)
Willi Braun (Germany)
Robert Braun (Sweden)
Lionel Briand (Norway)
Cyril Carrez (Norway)
Antonio Cicchetti (Sweden)
Andrew Costa (Brazil)
Javier Criado (Spain)
Michael Dayan (Israel)
Vegard Dehlen (Norway)
Tolga Demirtas (Turkey)
Cedric Dumoulin (France)
Marina Egea (Spain)
Anne Etien (France)
Peter Fritzson (Sweden)
Sebastien Gerard (France)
Martin Gogolla (Germany)
Javier Gonzalez-Huerta (Spain)
Regina Hebig (Germany)
Rogardt Heldal (Sweden)
Muhammad Zohaib Iqbal (Norway)
Nerijus Jankevicius (Lithuania)
Ke Jiang (China)
Martin Johansen (Norway)
Lucia Kapova (Germany)
Surya Bahadur Kathayat (Norway)
Ferhat Khendek (Canada)
Alper Tolga Kocatas (Turkey)
Outi Laitinen (Finland)
Yngve Lamo (Norway)
Jose Carlos Maldonado (Brazil)
Alfredo Motta (Italy)
Stefan Neumann (Germany)
Oksana Nikiforova (Latvia)
Iulian Ober (France)
Gøran K. Olsen (Norway)
Aida Omerovic (Norway)
Michele Orsi (Germany)
Richard Paige (United Kingdom)
Chris Paredis (United States)
Robert Pettit (United States)
Zvezdan Protic (Netherlands)
Martin Radetzki (Germany)
Amine Raji (France)
István Ráth (Hungary)
Jan Reimann (Germany)
Dirk Reiss (Germany)
Jon Rustand (Norway)
Adrian Rutle (Norway)
Mehrdad Sabetzadeh (Norway)
Hamid Salemizadeh (United States)
Tripti Saxena (United States)
Wladimir Schamai (Germany)
Tobias Schwalb (Germany)
Asadullah Shaikh (Denmark)
Martin Sjölund (Sweden)
Anton Sodja (Slovenia)
Dominik Sojer (Germany)
Arnor Solberg (Norway)
Mathias Staf (Sweden)
Heiko Stallbaum (Germany)
Andreas Steck (Germany)
Selo Sulistyo (Norway)
Andreas Svendsen (Norway)
Dhouib Saadia (France)
Zoltan Theisz (Hungary)
Susumu Tokumoto (Japan)
Masumi Toyoshima (Japan)
Michael Tschernuth (Austria)
Ukpai Ukpai (United States)
Stefan Van Baelen (Belgium)
Christopher vanBuskirk (United States)
Hans Vangheluwe (Belgium)
Cristina Vicente-Chicote (Spain)
Erez Vizel (Israel)
Gereon Weiss (Germany)
Martin Wieber (Germany)
Laurent Wouters (France)
Tao Yue (Norway)
Weiqing Zhang (Norway)