ACVI16

Date: Apr 04, 2016 7:30 am – Apr 08, 2016 8:30 pm
Location: Venice Italy

Workshop on Architecture Centric Virtual Integration

at WICSA and CompArch 2016 | http://www.aadl.info/aadl/acvi/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://www.easychair.org/conferences/?conf=acvi16

COMMITTEES

Program Steering Committee

  • Julien Delange
  • Peter Feiler
  • Jérôme 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.aadl.info/aadl/avci/acvi2016/
  • E-mail: acvi16@easychair.org
  • CPS Technologies
  • Architectures
  • Platforms
  • Systems Engineering
  • Architectures
  • Modeling
  • Simulation
  • Validation and Verification
  • Certification
  • Workshop
  • 2016
Submitted by Julien Delange on