,
,
, Robotnik summit-xl data sheet
Timed automata, CAV, pp.8-22, 1999. ,
Model-checking in dense real-time, vol.104, pp.2-34, 1993. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
TIMES: a tool for schedulability analysis and code generation of real-time systems, In FORMATS, pp.60-72 ,
, , 2003.
Imitator 2.5: A tool for analyzing robustness in scheduling problems, FM, pp.33-36, 2012. ,
A tutorial on uppaal, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004. ,
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. ,
Modeling urgency in timed systems, ISC: the significant difference, pp.103-129, 1998. ,
Stochastic analysis of periodic real-time systems, RTSS, pp.289-300, 2002. ,
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
Formal verification of complex robotic systems on resource-constrained platforms, FormaliSE, pp.2-9, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01778960
Model checking realtime properties on the functional layer of autonomous robots, ICFEM, pp.383-399 ,
URL : https://hal.archives-ouvertes.fr/hal-01346080
, , 2016.
On the Semantics of the GenoM3 Framework, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01992470
Statistical model checking of complex robotic systems, SPIN, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02152286
Measurement-based real-time analysis of robotic software architectures, IROS, pp.3306-3311, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01411373
A performance and schedulability analysis of an autonomous mobile robot, ECRTS, pp.239-248, 2005. ,
Symbolic model checking for real-time systems, Information and computation, vol.111, issue.2, pp.193-244, 1994. ,
Using integer clocks to verify clock-synchronization protocols, Innovations in Systems and Software Engineering, vol.7, pp.119-130, 2011. ,
Non-preemptive earliest-deadline-first scheduling policy: A performance study, MASCOTS, pp.201-208, 2005. ,
Formal Construction and Verification of Home Service Robots: A Case Study, ATVA, pp.429-443, 2005. ,
A parametric model-checker for Petri nets with stopwatches, TACAS, pp.54-57, 2009. ,
Genom3: Building middleware-independent robotic components, ICRA, pp.4627-4632, 2010. ,
Recoverability of Communication Protocols: Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976. ,
Automatic property checking of robotic applications, IROS, pp.3869-3876, 2017. ,
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. ,
Modeling cache coherence to expose interference, ECRTS, 2019. ,
A real-time model for the robotic highway safety marker system, RTAS, pp.331-340, 2004. ,
Scheduling tasks with variable deadlines, RTAS, pp.120-122, 2001. ,
Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.3-10, 2002. ,