Meeting Real-Time Requirements with Multi-core Processors, Computer Safety, Reliability, and Security, vol.7613, pp.117-131, 2012. ,
From LOTOS to LNT," in ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, ser, LNCS, vol.10500, pp.3-26, 2017. ,
A Model Checking Language for Concurrent Value-Passing Systems, FM 2008: Formal Methods, vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, pp.89-107, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00715056
Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique, 2015. ,
, Certification Authorities Software Team (CAST), 2016.
The use of multicore processors in airbone systems, 2011. ,
Metrics: A Measurement Environment For Multi-Core Time Critical Systems, Zenodo, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02278292
Phylog -etude de la certificabilité des architectures logicielmatériel reposant sur des calculateurs multi/many-core, ONERA, Tech. Rep, 2017. ,
Automatic Identification of Timing Interferences on Multi-Core Processors in a Model-Based Approach ,
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software, 2010 31st IEEE Real-Time Systems Symposium, pp.339-349, 2010. ,
Towards WCET analysis of multicore architectures using UPPAAL, 10th international workshop on worst-case execution time analysis (WCET 2010). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010. ,
Contention in multicore hardware shared resources: Understanding of the state of the art, 14th International Workshop on Worst-Case Execution Time Analysis. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2014. ,
, AURIX TC27x D-Step 32-Bit Single-Chip Microcontroller User's Manual V2, vol.2, pp.2014-2026
Reference manual of the lnt to lotos translator, 2018. ,
Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Integrated Formal Methods, vol.3771, pp.70-88, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01957351
SVL: a Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pp.377-392, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072396
Compositional verification of asynchronous concurrent systems using CADP, Acta Informatica, vol.52, issue.4-5, pp.337-392, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01138749
Freedom from interference among time-triggered and angle-triggered tasks: a powertrain case study, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-02272222
OTAWA, a framework for experimenting WCET computations, 3rd European Congress on Embedded Real-Time Software, vol.1, 2006. ,
A Model Based Safety Critical Flow for the AURIX(tm) Multi-core Platform, 2018. ,