, AADL: Architecture Analysis and Design Language
Cheddar: a flexible real-time scheduling framework, ACM SIGAda Ada Letters, vol.24, issue.4, 2004. ,
,
,
, 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)
, 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
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.
Model-Based Verification of Security and Non-Functional Behavior using AADL, IEEE Security & Privacy, 2009. ,
, Secure computer system: Unified exposition and multics interpretation, 1976.
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
Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems ,
URL : https://hal.archives-ouvertes.fr/hal-01717138
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