Abstract is missing.
- Modeling Shared-Memory Multiprocessor Systems with AADLStéphane Rubini, Pierre Dissaux, Frank Singhoff. [doi]
- Multi-Core Code Generation from Polychronous Programs with Time-Predictable PropertiesZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. [doi]
- Automatic Derivation of AADL Product Architectures in Software Product Line DevelopmentJavier Gonzalez-Huerta, Silvia Abrahão, Emilio Insfrán, Bruce Lewis. [doi]
- Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software SystemsHuafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi. [doi]
- The Story of AADLPeter H. Feiler. [doi]
- A Discrete-Event Simulator for Early Validation of Avionics SystemsDenis Buzdalov, Alexey Khoroshilov. [doi]
- Contract-Based Specification and Analysis of AADL ModelsErnesto Posse, Jürgen Dingel. [doi]
- An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernetRobati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins. [doi]
- Executable AADL: Real-Time Simulation of AADL ModelsPierre Dissaux, Olivier Marc. [doi]