ACVI@MoDELS

Keyphrases

Publications

2014

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

volume 1233, 2014

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, ACVI@MoDELS 2014, Valencia, Spain, September 29, 2014. ACVI@MoDELS 1233 (2014)