Cyber-Physical Systems, 2013. ,
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, pp.1305-1320, 1991. ,
A Multi-Periodic Synchronous Data-Flow Language, 11th IEEE High Assurance Systems Engineering Symposium, pp.251-260, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00802695
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. The SEI series in software engineering, p.820515268, 2013. ,
Systèmes temps réel embarqués: Conception et implémentation, 2014. ,
Verification, Validation, and Test-MATLAB & Simulink Solutions ,
Distributed Real-Time Software for Cyber-Physical Systems, Proceedings of the IEEE, vol.100, pp.45-59, 2012. ,
CPS foundations, Design Automation Conference, pp.737-742, 2010. ,
, System Design, Modeling, and Simulation Using Ptolemy II. Ptolemy.org, 2014.
Model engineering using multimodeling, 2008. ,
Time, Clocks, and the Ordering of Events in a Distributed System, Commun. ACM, vol.21, pp.558-565, 1978. ,
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs, IEEE Transactions on Software Engineering, issue.5, pp.440-452, 1979. ,
, IEEE Standard for Modeling and Simulation (M & S) High Level Architecture (HLA): Federate Interface Specification, 2010.
Real-Time Distributed Aircraft Simulation through HLA, p.2012 ,
, IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications, pp.251-254, 2012.
Towards a Distributed and Deterministic Framework to Design Cyber-Physical Systems, tech. rep., ISAE-Supaero, 2013. ,
The high level architecture RTI as a master to the functional mock-up interface components, 2013 International Conference on Computing, Networking and Communications (ICNC), pp.315-320, 2013. ,
, CERTI Home page, 2002.
Time Management of Heterogeneous Distributed Simulation, Proceedings of the 31st ,
URL : https://hal.archives-ouvertes.fr/hal-01697206
, European Simulation and Modelling Conference (ESM)-Modelling and Simulation, pp.343-349, 2017.
Basic Event Graph Modeling, 2001. ,
The Semantics of Data Flow Diagrams, Proceedings of the International Conference on Management of Data, pp.66-78, 1993. ,
The Program Dependence Graph and Its Use in Optimization, ACM Transactions on Programming Languages and Systems, vol.9, p.31, 1987. ,
Distributed Simulation of Heterogeneous and Real-Time Systems, 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, pp.55-62, 2013. ,
How to solve ODEs in real-time HLA distributed simulation, Simulation Innovation Workshop (SIW), p.13, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01399161