. <'if-{$argv-<-20}-{'>lcm_p-+-w,

. <'}-else-{'>period,

, Robotnik summit-xl data sheet

R. Alur, Timed automata, CAV, pp.8-22, 1999.

R. Alur, C. Courcoubetis, and D. Dill, Model-checking in dense real-time, vol.104, pp.2-34, 1993.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.

T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, TIMES: a tool for schedulability analysis and code generation of real-time systems, In FORMATS, pp.60-72

. Springer, , 2003.

É. André, L. Fribourg, U. Kühne, and R. Soulat, Imitator 2.5: A tool for analyzing robustness in scheduling problems, FM, pp.33-36, 2012.

G. Behrmann, A. David, and K. G. Larsen, A tutorial on uppaal, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004.

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA-construction of abstract state spaces for Petri nets and time Petri nets, Jour. of prod. research, vol.42, issue.14, pp.2741-2756, 2004.

S. Bornot, J. Sifakis, and S. Tripakis, Modeling urgency in timed systems, ISC: the significant difference, pp.103-129, 1998.

J. Díaz, D. García, K. Kim, C. Lee, L. Bello et al., Stochastic analysis of periodic real-time systems, RTSS, pp.289-300, 2002.

M. Foughali, Toward a correct-and-scalable verification of concurrent robotic systems: Insights on formalisms and tools, ACSD, pp.29-38, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01515012

M. Foughali, B. Berthomieu, S. Zilio, P. Hladik, F. Ingrand et al., Formal verification of complex robotic systems on resource-constrained platforms, FormaliSE, pp.2-9, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778960

M. Foughali, B. Berthomieu, S. Zilio, F. Ingrand, and A. Mallet, Model checking realtime properties on the functional layer of autonomous robots, ICFEM, pp.383-399
URL : https://hal.archives-ouvertes.fr/hal-01346080

. Springer, , 2016.

M. Foughali, S. Zilio, and F. Ingrand, On the Semantics of the GenoM3 Framework, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01992470

M. Foughali, F. Ingrand, and C. Seceleanu, Statistical model checking of complex robotic systems, SPIN, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02152286

N. Gobillot, F. Guet, D. Doose, C. Grand, C. Lesire et al., Measurement-based real-time analysis of robotic software architectures, IROS, pp.3306-3311, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01411373

S. Goddard, J. Huang, and S. Farritor, A performance and schedulability analysis of an autonomous mobile robot, ECRTS, pp.239-248, 2005.

T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, Information and computation, vol.111, issue.2, pp.193-244, 1994.

X. Huang, A. Singh, and S. Smolka, Using integer clocks to verify clock-synchronization protocols, Innovations in Systems and Software Engineering, vol.7, pp.119-130, 2011.

M. Kargahi and A. Movaghar, Non-preemptive earliest-deadline-first scheduling policy: A performance study, MASCOTS, pp.201-208, 2005.

M. Kim and K. Kang, Formal Construction and Verification of Home Service Robots: A Case Study, ATVA, pp.429-443, 2005.

D. Lime, O. Roux, C. Seidner, L. Traonouez, and . Romeo, A parametric model-checker for Petri nets with stopwatches, TACAS, pp.54-57, 2009.

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, Genom3: Building middleware-independent robotic components, ICRA, pp.4627-4632, 2010.

P. Merlin and D. Farber, Recoverability of Communication Protocols: Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, and J. Timmis, Automatic property checking of robotic applications, IROS, pp.3869-3876, 2017.

M. Piaggio, A. Sgorbissa, and R. Zaccaria, Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics, Journal of Experimental & Theoretical Artificial Intelligence, vol.12, issue.2, pp.235-245, 2000.

N. Sensfelder, J. Brunel, and C. Pagetti, Modeling cache coherence to expose interference, ECRTS, 2019.

J. Shi, S. Goddard, A. Lal, and S. Farritor, A real-time model for the robotic highway safety marker system, RTAS, pp.331-340, 2004.

C. Shih, L. Sha, and J. Liu, Scheduling tasks with variable deadlines, RTAS, pp.120-122, 2001.

A. Sowmya, D. Tsz, -. So, and W. H. Tang, Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.3-10, 2002.