[aadl]: Papers for WICSA and CompArch 2016 (UNCLASSIFIED)

[Lewis, Bruce CIV (US)]

CLASSIFICATION: UNCLASSIFIED

Dear All,

As you may recall, the 3rd ACVI workshop is meeting at the WICSA and CompArch 2016 Conference in Venice, Italy, April 5-8.
http://www.softwarearchitecture.org/

Architecture Centric Virtual Integration Workshop (ACVI)

Program Chairs

Julien Delange, Jerome Hugues, and Peter Feiler

Website

http://acvi-workshop.org/acvi2016

Abstract

Safety-critical, real-time embedded systems can benefit from model-driven virtual integration approaches that help capture system specifications and verify them against requirements and potential design mistakes. These models can lead to early error detection, which in turn can lead to a reduction of error leakage and rework costs. By weaving architectural and formal models (e.g., behavioral, error, mechanical, etc.) one can obtain various analysis techniques for performance, safety, security analysis, etc.; perform model simulations; and test the code that is generated from these models.

Paper submissions are due in 8 days on February, 18.  

Please consider submitting a paper. There are many benefits for publishing in this workshop (such as attending the workshop and the main conference, having a publication in the IEEE library).

Thanks,
Bruce Lewis
Chair, AADL Committee
256-808-9246

CLASSIFICATION: UNCLASSIFIED