, 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.
Syntax and semantics of the clock constraint specification language (CCSL), 2009. ,
Metropolis: An integrated electronic system design environment, Computer, vol.36, pp.45-52, 2003. ,
ProVerif 2.00: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Version from, pp.5-16, 2018. ,
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
, Sonia Sachs, and Yuhong Xiong. 2003. Taming heterogeneity-the Ptolemy approach. Proc. IEEE, vol.91, pp.127-144, 2003.
A Tutorial on TTool/DIPLODOCUS: an Open-source Toolkit for the Design of Data-flow Embedded Systems, 2018. ,
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
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. ,
A timing-accurate modeling and simulation environment for networked embedded systems, Proceedings 2003. Design Automation Conference, pp.42-47, 2003. ,
Co-Engineering-in-the-Loop, International Conference on Computer Safety, Reliability, and Security, pp.151-163, 2018. ,
UML-based design space exploration, fast simulation and static analysis, 2011. ,
URL : https://hal.archives-ouvertes.fr/pastel-00662744
Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués, 2018. ,
Security-aware design methodology and optimization for automotive systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), vol.21, pp.1-26, 2015. ,
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
ARTS: A SystemC-based framework for multiprocessor systems-on-chip modelling, Design Automation for Embedded Systems, vol.11, pp.285-311, 2007. ,
A cosimulation framework for a distributed system of systems, IEEE 68th Vehicular Technology Conference. IEEE, pp.1-5, 2008. ,
Software model-based performance analysis. Model Driven Engineering for distributed Real-Time Systems: MARTE modelling, model transformations and their usages, 2010. ,
A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Trans. Comput, vol.55, issue.2, pp.99-112, 2006. ,
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. ,
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. ,
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. ,
Applying Timing Verification with TIDEAL/Time4Sys on Flight Management System, 2020. ,
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. ,
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. ,
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. ,