posted by user: juli1 || 1028 views || tracked by 1 users: [display]

ACVI 2016 : Architecture Centric Virtual Integration

FacebookTwitterLinkedInGoogle

Link: http://www.aadl.info/aadl/acvi/acvi2016
 
When Apr 4, 2016 - Apr 8, 2016
Where Venice
Submission Deadline Feb 18, 2016
Notification Due Mar 4, 2016
Final Version Due Mar 11, 2016
Categories    software architecture   integration   cyber-physical
 

Call For Papers

============================================================================
Third Workshop on Architecture Centric Virtual Integration at

WICSA and CompArch 2016

http://www.acvi-workshop.org/acvi2016/

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

Important dates
===============
* Paper Submission Deadline: February 18, 2016
* Paper Notification to Authors: March, 4 2016
* Camera-ready due: March, 11 2016
* Workshop Date: TBD

Architectural modeling and model-based technologies provide
foundations to perform early analysis of designs. These technologies
provide virtual integration capabilities by weaving architectural
models to other formal models (behavioral, error, mechanical, etc.).
Such virtual integration capability allows for a wide variety of
analysis techniques such as performance, safety, security analysis,
connection with requirements but also code generation and simulation
of models.

The Architecture-Centric Virtual Integration (ACVI) workshop is an
opportunity to gather researchers and industrial practitioners to
share and identify gaps in existing efforts related to virtual
integration, including (but not limited to) safety-critical systems
modeling, analysis and simulation

Topics
======
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
at: https://easychair.org/conferences/?conf=wicsaandcomparch2016

Paper format
============
All papers must conform, at time of submission, to the IEEE Formatting Guidelines,
use the A4 page format, and be submitted electronically through the Online
Submission Site.


Committees
===========

Program Steering Committee
==========================
* Julien Delange
* Peter Feiler
* Jerome Hugues

Program Committee
=================
* Guy Bois, Polytechnique Montréal, Canada
* 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
* Thomas Noll, University of Aachen, Germany
* Henry Muccini, University L'Aquipa, Italy
* Alexey Khoroshilov, ISPRAS
* Bruce Lewis, US Army, USA
* Stephane Rubini, Lab-STICC, France
* Oleg Sokolsky, UPENN, USA
* Bechir Zalila, University of Sfax, Tunisia
* Jean-Pierre Talpin, INRIA, France
* Masumi Toyoshima, Denso Corposation

Contact & Information
=====================
* Website: http://www.acvi-workshop.org/acvi2016/
* E-mail: contact@acvi-workshop.org

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
Microservices 2017   Microservices - Special Issue at IEEE Software
Erudition 2017   Rockcliffe Erudition Conference 2017
IJSPTM 2017   International Journal of Security, Privacy and Trust Management
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
DevTernity 2017   DevTernity 2017 International Conference, Riga, Latvia
ICVR 2017   2017 3rd International Conference on Virtual Reality ICVR 2017
ISEC 2018   11th Innovations in Software Engineering Conference
HPCA 2018   HPCA 2018: 24th IEEE International Symposium on High-Performance Computer Architecture
ICSA 2018   International Conference on Software Architecture