, EVITA E-safety vehicle intrusion protected applications, 2008.

, SESAMO: security and safety modelling, pp.2012-2016, 2019.

, Aggregated Quality Assurance for Systems (AQUAS), 2013.

, TTool, 2009.

, SAFURE -Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems, 2015. Time4Sys. Retrieved, 2009.

C. André, Syntax and semantics of the clock constraint specification language (CCSL), 2009.

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: An integrated electronic system design environment, Computer, vol.36, pp.45-52, 2003.

B. Blanchet, B. Smyth, V. Cheval, and M. Sylvestre, ProVerif 2.00: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Version from, pp.5-16, 2018.

J. Deantoni and F. Mallet, Timesquare: Treat your models with logical time, International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

J. Eker, W. Jörn, . Janneck, A. Edward, J. Lee et al., Sonia Sachs, and Yuhong Xiong. 2003. Taming heterogeneity-the Ptolemy approach. Proc. IEEE, vol.91, pp.127-144, 2003.

A. Enrici, L. Li, L. Apvrille, and D. Blouin, A Tutorial on TTool/DIPLODOCUS: an Open-source Toolkit for the Design of Data-flow Embedded Systems, 2018.

R. Fujdiak, P. Blazek, L. Apvrille, Z. Martinasek, P. Mlynek et al., Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle, 8th Mediterranean Conference on Embedded Computing (MECO), pp.1-6, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02275984

R. Fujdiak, P. Mlynek, and P. Blazek, Seeking the relation between performance and security in modern systems: Metrics and measures, 2018 41st International Conference on Telecommunications and Signal Processing, pp.1-5, 2018.

F. Fummi, G. Perbellini, P. Gallo, M. Poncino, S. Martini et al., A timing-accurate modeling and simulation environment for networked embedded systems, Proceedings 2003. Design Automation Conference, pp.42-47, 2003.

T. Gruber, C. Schmittner, M. Matschnig, and B. Fischer, Co-Engineering-in-the-Loop, International Conference on Computer Safety, Reliability, and Security, pp.151-163, 2018.

D. Knorreck, UML-based design space exploration, fast simulation and static analysis, 2011.
URL : https://hal.archives-ouvertes.fr/pastel-00662744

L. Li, Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués, 2018.

C. Lin, B. Zheng, Q. Zhu, and A. Sangiovanni-vincentelli, Security-aware design methodology and optimization for automotive systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), vol.21, pp.1-26, 2015.

F. Lugou, W. Letitia, L. Li, R. Apvrille, and . Ameur-boulifa, Sysml models and model transformation for security, 4th International Conference on Model-Driven Engineering and Software Development (MODEL-SWARD), pp.331-338, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02287286

K. Shankar-mahadevan and . Virk, ARTS: A SystemC-based framework for multiprocessor systems-on-chip modelling, Design Automation for Embedded Systems, vol.11, pp.285-311, 2007.

B. Muller, -. , and H. Rauchfuss, A cosimulation framework for a distributed system of systems, IEEE 68th Vehicular Technology Conference. IEEE, pp.1-5, 2008.

C. Dorina and . Petriu, Software model-based performance analysis. Model Driven Engineering for distributed Real-Time Systems: MARTE modelling, model transformations and their usages, 2010.

D. Andy, C. Pimentel, S. Erbas, and . Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Trans. Comput, vol.55, issue.2, pp.99-112, 2006.

L. Pomante, V. Muttillo, B. K?ena, T. Vojnar, F. Veljkovi? et al., The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle, Microprocessors and Microsystems, vol.69, pp.54-67, 2019.

A. Ruiz, B. Gallina, J. Luis-de-la, S. Vara, H. Mazzini et al., Architecture-driven, multi-concern and seamless assurance and certification of cyber-physical systems, International Conference on Computer Safety, Reliability, and Security, pp.311-321, 2016.

A. Sanjit, S. Seshia, W. Hu, Q. Li, and . Zhu, Design automation of cyber-physical systems: challenges, advances, and opportunities, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.36, pp.1421-1434, 2016.

V. Benoit, R. Laurent, and D. Aurélien, Applying Timing Verification with TIDEAL/Time4Sys on Flight Management System, 2020.

A. Viehl, T. Schönwald, O. Bringmann, and W. Rosenstiel, Formal performance analysis and simulation of UML/SysML models for ESL design, Proceedings of the conference on Design, automation and test in Europe: Proceedings. European Design and Automation Association, pp.242-247, 2006.

B. Zheng, P. Deng, R. Anguluri, Q. Zhu, and F. Pasqualetti, Cross-layer codesign for secure cyber-physical systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.35, pp.699-711, 2016.

M. Zoor, R. Ludovic-apvrille, and . Pacalet, Impact of Security Measures on Performance Aspects in SysML Models, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, vol.1, pp.373-380, 2020.