posted by organizer: idragomir || 2120 views || tracked by 8 users: [display]

ACES-MB 2014 : 7th International Workshop on Model-Based Architecting and Construction of Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.irit.fr/ACES-MB
 
When Sep 30, 2014 - Sep 30, 2014
Where Valencia, Spain
Submission Deadline Jul 18, 2014
Notification Due Aug 11, 2014
Categories    model-driven development   architecture   languages   verification
 

Call For Papers

Call for Papers - ACES-MB 2014

=======================================================

7th International Workshop on
Model-Based Architecting and Construction of Embedded Systems

in conjunction with MoDELS 2014, Valencia, Spain

www.irit.fr/ACES-MB

=======================================================

--------------------------------------
Objectives
--------------------------------------

The design of embedded systems with real-time and other critical constraints raises distinctive problems throughout the development process, from high-level system engineering to low-level system designs. On the high-level engineering side, model-based system engineering is becoming the norm in industry. The formalization of system engineering models and approaches is considered to be a major fact for further gains in productivity, quality and time-to-market such complex systems. However, system and architecture modeling are rather an art than a systematic activity; therefore methodologies and design patterns must be proposed.

On the low-level design side, specific architectural choices have to be made as early as possible and non-functional constraints such as real-time deadlines must be handled. Model-based engineering techniques provide means to capture this architectural and non-functional information using domain-specific models and allow separating functional aspects (platform independent) from architectural and non-functional aspects (platform specific). These aspects are combined later via model transformations, but managing the feature interactions among the functional and non-functional aspects remains a key issue.

This full-day workshop is an opportunity to share and discuss advances and current research on model-based techniques that contribute to a better architecting and construction of embedded and cyber-physical systems with a focus on approaches yielding efficient and provably correct designs.


--------------------------------------
Topics
--------------------------------------

We are seeking contributions at all levels of the construction of embedded systems, from high-level modeling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementations and deployments. You are kindly invited to submit papers in the following non-exclusive list of topics:
- Model-based system engineering: semantics of system models, refinement of system designs into hardware/software implementations, integration and interaction of system and software design models, validation of systems.
- Architecture description: position of ADLs in a model-based engineering approach, techniques for deriving architecture models from requirements and high-level designs from architecture models, verification and validation using architecture models.
- Capturing and exploitation of non-functional aspects: interactions among functional and non-functional aspects of the design, including but not limited to performance, quality of service, hard real-time constraints, power and resource management, security, etc.
- Domain specific design and implementation languages: computation and composition models (LUSTRE/SCADE, SIGNAL/POLYCHRONY, TTA, GIOTTO, HRT-UML, ADA RAVENSCAR, etc.), component languages (BIP, FRACTAL, PTOLEMY, etc.).
- Model-based analysis, verification and validation techniques of the above-mentioned models.


--------------------------------------
Submission
--------------------------------------

We expect papers of two kinds: short position paper (max. 6 pages) or full technical contribution (max. 10 pages) in the PDF format of Springer LNCS (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Papers must be submitted online via EasyChair: https://www.easychair.org/conferences/?conf=acesmb14.

All accepted papers will be electronically published as CEUR workshop proceedings, which is indexed by DBLP and Google Scholar.


--------------------------------------
Important dates
--------------------------------------

Paper submission deadline: July 18, 2014 (deadline extended)
Notification to authors: August 11, 2014
Workshop date: September 30, 2014


--------------------------------------
Organizing committee
--------------------------------------

Florian Noyrit, CEA-LIST, France
Susanne Graf, VERIMAG, France
Iulia Dragomir, IRIT-University of Toulouse, France


--------------------------------------
Programme committee
--------------------------------------

DeJiu Chen, KTH, Sweden
Arnaud Cuccuru, CEA-LIST, France
Iulia Dragomir, IRIT-University of Toulouse, France
Mamoun Filali, IRIT-CNRS, France
Sébastien Gérard, CEA-LIST, France
Susanne Graf, VERIMAG, France
Alexander Knapp, University of Augsburg, Germany
Florian Noyrit, CEA-LIST, France
Ileana Ober, IRIT-University of Toulouse, France
Iulian Ober, IRIT-University of Toulouse, France
Andreas Prinz, University of Agder, Norway
Bernhard Rumpe, RWTH Aachen, Germany
Bran Selic, Malina Software, Canada
Tullio Vardanega, University of Padua, Italy
Eugenio Villar, University of Cantabria, Spain
Thomas Weigert, Missouri S&T, USA
Tim Weilkiens, OOSE Innovative Informatik GmbH, Germany
Virginie Wiels, ONERA Toulouse, France

For any inquiries, feel free to contact us at aces@irit.fr.

Related Resources

WOCSE 2017   2017 International Workshop On Complex System Engineering
ICSA 2018   International Conference on Software Architecture
ModComp 2017   4rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2017
IJBBR 2017   International Journal of BRIC Business Research
The 15th Overture Workshop 2017   The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering
ICAMC 2017   2017 3rd International Conference on Architecture, Materials and Construction (ICAMC 2017)
ICSA 2018   International Conference on Software Architecture
COMMitMDE 2017   2nd International Workshop on Collaborative Modelling in MDE @ MoDELS 2017
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ICCUE 2018   2018 5th International Conference on Civil and Urban Engineering (ICCUE 2018)