Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010. ,
DOI : 10.1145/1879021.1879052
Real-Time Specification Patterns and Tools, FMICS, 2012. ,
DOI : 10.1007/978-3-642-32469-7_1
URL : https://hal.archives-ouvertes.fr/hal-00782649
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
RTD-Finder -A Tool for Compositional Verification of Real-Time Component-Based Systems, TACAS, 2016. ,
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004. ,
DOI : 10.1137/0216062
The ES- TEREL Language, Proceeding of the IEEE, 1991. ,
Model-Driven Software Engineering in Robotics, IEEE RAM, 2015. ,
RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications, SIMPAR, 2012. ,
DOI : 10.1007/978-3-642-34327-8_16
URL : https://hal.archives-ouvertes.fr/hal-00995125
Robotics Middleware: A Comprehensive Literature Survey and Attribute-Based Bibliography, Journal of Robotics, vol.17, issue.4, 2012. ,
DOI : 10.1109/TSMCC.2004.826285
URL : http://doi.org/10.1155/2012/959013
Formal Verification in Robotics: Why and How?, 1996. ,
DOI : 10.1007/978-1-4471-1021-7_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.7017
GenoM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot Architecture, IROS, 1997. ,
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots, 2016. ,
DOI : 10.1007/978-3-319-47846-3_24
URL : https://hal.archives-ouvertes.fr/hal-01346080
Measurement-based real-time analysis of robotic software architectures, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016. ,
DOI : 10.1109/IROS.2016.7759509
URL : https://hal.archives-ouvertes.fr/hal-01411373
A Modeling Framework for Software Architecture Specification and Validation, SIMPAR, 2014. ,
DOI : 10.1007/978-3-319-11900-7_26
Decisional autonomy of planetary rovers, Journal of Field Robotics, vol.2, issue.7, 2007. ,
DOI : 10.1002/rob.20206
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.7454
An End-To-End System for Accomplishing Tasks with Modular Robots, Robotics: Science and Systems XII, 2016. ,
DOI : 10.15607/RSS.2016.XII.025
Formal Construction and Verification of Home Service Robots: A Case Study, Automated Technology for Verification and Analysis, 2005. ,
DOI : 10.1007/11562948_32
Robot challenges: Toward development of verification and synthesis techniques, IEEE RAM, 2011. ,
Correct, Reactive, High-Level Robot Control, IEEE Robotics & Automation Magazine, vol.18, issue.3, 2011. ,
DOI : 10.1109/MRA.2011.942116
GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, 2010. ,
DOI : 10.1109/ROBOT.2010.5509539
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.6615
Robotic Surgery, IEEE Robotics & Automation Magazine, vol.18, issue.3, 2011. ,
DOI : 10.1109/MRA.2011.942112
ROS: an open-source Robot Operating System, 2009. ,
Language and code generator composition for model-driven engineering of robotics component & connector systems, 2015. ,
Robotic software systems: From code-driven to model-driven designs, 2009. ,
DOI : 10.5772/25896
URL : http://www.intechopen.com/articles/show/title/robotic-software-systems-from-code-driven-to-model-driven-software-development
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008. ,
DOI : 10.1145/1347375.1347389