Vol-1232⫷ Vol-1233 ⫸Vol-1234
urn:nbn:de:0074-1233-7

Copyright © 2014 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

ACVI 2014
Architecture Centric Virtual Integration

Proceedings of the First International Workshop on Architecture Centric Virtual Integration
co-located with the 17th International Conference on Model Driven Engineering Languages and Systems ( MoDELS 2014 )

Valencia, Spain, September 29, 2014 .

Edited by

Julien Delange *
Peter Feiler *

* Software Engineering Institute , Carnegie Mellon University, Pittsburgh, PA, USA

Table of Contents

Keynote

The Story of AADL
Peter Feiler

Accepted Papers

Contract-Based Specification and Analysis of AADL Models
Ernesto Posse, Juergen Dingel
An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet
Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins
A Discrete-Event Simulator for Early Validation of Avionics Systems
Denis Buzdalov, Alexey Khoroshilov
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Modeling Shared-Memory Multiprocessor Systems with AADL
Stéphane Rubini, Pierre Dissaux, Frank Singhoff
Executable AADL: Real-Time Simulation of AADL Models
Pierre Dissaux, Olivier Marc
Automatic Derivation of AADL Product Architectures in Software Product Line Development
Javier Gonzalez-Huerta, Silvia Abrahao, Emilio Insfran, Bruce Lewis
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems
Huafeng Yu, Jean-Pierre Talpin, Sandeep Shukla, Prachi Joshi, Shin'Ichi Shiraishi

Completed Proceedings

Proceedings of the 1st Architecture-Centric Virtual Integration Workshop

2014-09-10: submitted by Julien Delange
2014-09-10 : published on CEUR-WS.org | valid HTML5 |