Julien Delange, Jerome Hugues, and Peter Feiler
http://acvi-workshop.org/acvi2016
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.
Miroslaw Staron, Yanja Dajsuren, and Harald Altinger
http://www.win.tue.nl/wasa2016/
With the advent of software and electronics, automotive companies are enabling innovation to improve safety, driver experience, and fuel efficiency. Increasing use of software over the years, introduced the paradigm shift by requiring automotive companies to develop their systems using architecture and model-based techniques. The goal of this workshop is to address issues related to the appropriate automotive system/software architecture and engineering techniques, which can be accepted by the automotive industry. Therefore, our goals is to bring together researchers and practitioners in the area of automotive system/software architecture and engineering.
Michel Chaudron, Bedir Tekinerdogan, and Anne Koziolek
Although methods and techniques have been developed for quantitatively assessing quality properties such as performance, reliability, and availability; there are some properties that elude quantitative assessment, such as maintainability or interoperability. In these cases it may be hard to understand whether a given metric is valid, or how it should be interpreted. This is why qualitative approaches can represent a complementary approach for (automatically) making sense of this quantitative data. In this workshop we aim to bring together researchers that are interested in discussing, investigating and creating qualitative approaches for assessing, and in general reasoning about, these architectural properties.
Hans van Vliet, Barbara Paech, Antony Tang, and Maryam Razavian
http://is.ieis.tue.nl/research/bpm/MARCH16/
The focus of MARCH is on the process of making software architecture design decisions. In this workshop, we seek to explore and understand the decision making process, how different factors influence the quality of software architecture decisions, and ways to assure good software architecture decision making.