Behavior Modeling and Verification of Movement Authority Scenario of Chinese Train Control System using AADL, Science China Information Sciences, vol.58, issue.11, pp.1-20, 2015. ,
Quantitative Performance Evaluation of Uncertainty-aware Hybrid AADL Designs using Statistical Model Checking, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.36, issue.12, 1989. ,
URL : https://hal.archives-ouvertes.fr/hal-01644285
Safety, Dependability and Performance Analysis of Extended AADL Models, The Computer Journal, vol.54, issue.5, pp.754-775, 2010. ,
Translating aadl into bip-application to the verification of real-time systems, International Conference on Model Driven Engineering Languages and Systems, pp.5-19, 2008. ,
Analyzing dynamic fault trees derived from model-based system architectures, Nuclear Engineering and Technology, vol.40, issue.5, pp.365-374, 2008. ,
Incremental life cycle assurance of safety-critical systems, 8th European Congress on Embedded Real Time Software and Systems (ERTS), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01289468
Model-based Engineering with AADL: an Introduction to the SAE Architecture Analysis & Design Language, 2012. ,
The architecture analysis & design language (aadl): An introduction, 2006. ,
The SAE Architecture Analysis & Design Language (AADL) a Standard for Engineering Performance Critical Systems, 2006 IEEE Conference on Computer Aided Control System Design, pp.1206-1211, 2006. ,
Resolute: an Assurance Case Language for Architecture Models, ACM SIGAda Ada Letters, vol.34, pp.19-28, 2014. ,
ROI Analysis of the System Architecture Virtual Integration Initiative, 2018. ,
From the Prototype to the Final Embedded System using the Ocarina AADL Tool Suite, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.4, p.42, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01175916
Attack graph modeling for nuclear power plant, 10th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), pp.1-6, 2018. ,
The use of Triple-Modular Redundancy to Improve Computer Reliability, IBM journal of research and development, vol.6, issue.2, pp.200-209, 1962. ,
Lessons Learned in Inter-Organization Virtual Integration, SAE Technical, 1944. ,
Modeling Railway Cyber-Physical Systems based on AADL, 19th International Conference on Automation and Computing, pp.1-6, 2013. ,