, AADL: Architecture Analysis and Design Language

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real-time scheduling framework, ACM SIGAda Ada Letters, vol.24, issue.4, 2004.

A. Analyste,

. Aadl-inspector,

, Common Criteria for Information Technology Security Evaluation

, Return of Experience, P. Dissaux and P. Farail, 7th European Congress on Embedded Real Time Software and Systems (ERTS 2014)

, The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures, P. Dissaux, O. Marc and all, 7th European Congress on Embedded Real Time Software and Systems (ERTS 2014)

P. Merging, P. Heterogeneous-models, B. Dissaux, and . Hall, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)

, Extending AADL for Security Design Assurance of Cyber-Physical Systems, R. Ellison, A. Householder and all

I. Atchadam, F. Singhoff, H. N. Tran, N. Bouzid, and L. Lemarchand, Combined security and schedulability analysis for MILS real-time critical architectures, 4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems/CERTS, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02153499

, JCA) Demonstration Architecture Centric Virtual Integration Process (ACVIP) Shadow Effort, A. Boydston, P. Feiler and all, AHS 71st Annual Forum, 2015.

, The Economic Impacts of Inadequate Infrastructure for Software Testing, NIST Planning report, pp.2-3, 2002.

J. Hansson, B. Lewis, J. Hugues, L. Wrage, P. Feiler et al., Model-Based Verification of Security and Non-Functional Behavior using AADL, IEEE Security & Privacy, 2009.

D. E. Bell, L. J. La-padula, ;. Mitre, and . Bedford-ma, Secure computer system: Unified exposition and multics interpretation, 1976.

K. J. Biba, ;. Mitre, and . Bedford-ma, Integrity considerations for secure computer systems, 1977.

, Virtual Execution of Real Time Software Architecture Models, P. Dissaux, SAE Technical Paper, 2015.

, The Open PSA initiative

R. Bouaziz and L. , Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems
URL : https://hal.archives-ouvertes.fr/hal-01717138

F. Lemarchand, B. Singhoff, and M. Zalila, Real-Time Systems, vol.54, pp.424-483, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01717138

, From the prototype to the final embedded system using the Ocarina AADL tool suite, 2008.

, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.4, p.42