posted by user: juli1 || 2219 views || tracked by 2 users: [display]

ACVI 2015 : Architecture Centric Virtual Integration


When Jun 26, 2015 - Jun 26, 2015
Where Madrid
Submission Deadline Apr 19, 2015
Notification Due May 1, 2015
Final Version Due May 15, 2015
Categories    aadl   architecture   embedded system   model

Call For Papers

Second Workshop on Architecture Centric Virtual Integration at

20th International Conference on Reliable Software Technologies
Ada-Europe 2015


Important dates
* Paper Submission Deadline: April 19, 2015
* Paper Notification to Authors: May 01, 2015
* Workshop Date: June 26, 2015

New real-time systems have increasingly complex architectures because of the
intricacy of the multiple interdependent features they have to manage. They must
meet new requirements of reusability, interoperability, flexibility and
portability. These new dimensions favor the use of an architecture description
language that offers a global vision of the system, and which is particularly
suitable for handling real-time characteristics.
Due to the even more increased complexity of distributed, real-time and embedded
systems (DRE), the need for a model-driven approach is more obvious in this
domain than in monolithic RT systems. The purpose of this workshop is to provide
an opportunity to gather researchers and industrial practitioners to survey
existing efforts related to behavior modelling and model-based analysis of DRE

Cyber-Physical systems (CPS) combine many challenges to meet requirements for
reusability, interoperability, flexibility or dependability. The use of
architecture description language helps to integrate components before
implementing the system. Such integration approach eases system design analysis
and implementation, detects design errors and potential defects before
development efforts, avoiding re-engineering costs and making the system more
robust and safe.
This first edition of this workshop seeks contributions from researchers and
practitioners interested in architecture-centric methods and their use to design
and analyze systems. The conference topics of interest are:
* Modeling Notations: new languages, inter-operability between languages
* Architecture Centric Analysis Tools
* Virtual Integration Process and Tools
* Definition of extensions for the design of specific systems (e.g. avionics) or
support of a particular analysis (e.g. safety)
* Automatic Code Generation from Models
* Model Transformation
* Model Analysis Methods
* Support of Certification (e.g. DO178C) using Models
* Industrial experiences of use of Model-Based technologies

Paper submission
To contribute, please send a position paper or a technical paper via easychair

Workshop Proceedings
Selected papers will be including in online proceedings published by CEUR
This will make sure your paper is accessible online.


Program Steering Committee
* Julien Delange
* Peter Feiler

Program Committee
* Matteo Bordin, Adacore, Paris, France
* Etienne Borde, TELECOM ParisTech, Paris, France.
* Agusti Canals. CS Communications, France
* Jorgen Hansson, University of Skovde, Sweden
* Jerome Hugues, ISAE, Toulouse, France.
* Emilio Insfran, Politecnica Valencia University, Spain
* Alexey Khoroshilov, ISPRAS
* Bruce Lewis, US Army, USA
* Stephane Rubini, Lab-STICC, France
* Oleg Sokolsky, UPENN, USA
* Steve Vestal, Adventium Labs, USA
* Bechir Zalila, University of Sfax, Tunisia
* Jean-Pierre Talpin, INRIA, France
* Masumi Toyoshima, Denso Corposation

Contact & Information
* Website:
* E-mail:

Related Resources

CLUSTER 2020   IEEE International Conference on Cluster Computing
DIM 2020   The Ninth IEEE International Workshop on Data Integration and Mining
SBAC-PAD 2020   International Symposium on Computer Architecture and High Performance Computing
ISPDC 2020   19th International Symposium on Parallel and Distributed Computing
SPIE--VRIS--EI Compendex, Scopus 2020   SPIE--2020 2nd International Conference on Virtual Reality and Intelligent System (VRIS 2020)--EI Compendex, Scopus
3rd ICSTR London 16-17 April 2020   3rd ICSTR London – International Conference on Science & Technology Research, 16-17 April 2020
IVA 2020   ACM 20th International Conference on Intelligent Virtual Agents
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ICSTR Tokyo 03-04 April 2020   ICSTR Tokyo – International Conference on Science & Technology Research, 03-04 April 2020