TY - GEN
T1 - An extensible model-based framework for robotics software development
AU - Ramaswamy, Arunkumar
AU - Monsuez, Bruno
AU - Tapus, Adriana
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/5/11
Y1 - 2017/5/11
N2 - In order to promote reuse of software in robotics, standardization, benchmarking, and formalization activities in robotics are being undertaken by many technical working groups and independent agencies. Absence of integrated tools is the real barrier that exists between early adopters of such efforts and early majority of research and industrial community. In this paper, we provide a detailed discussion on how frameworks for designing robotic systems can be formally specified and developed using our meta-framework-SafeRobots. We have demonstrated this process using a mobile robot case study.
AB - In order to promote reuse of software in robotics, standardization, benchmarking, and formalization activities in robotics are being undertaken by many technical working groups and independent agencies. Absence of integrated tools is the real barrier that exists between early adopters of such efforts and early majority of research and industrial community. In this paper, we provide a detailed discussion on how frameworks for designing robotic systems can be formally specified and developed using our meta-framework-SafeRobots. We have demonstrated this process using a mobile robot case study.
UR - https://www.scopus.com/pages/publications/85020235395
U2 - 10.1109/IRC.2017.21
DO - 10.1109/IRC.2017.21
M3 - Conference contribution
AN - SCOPUS:85020235395
T3 - Proceedings - 2017 1st IEEE International Conference on Robotic Computing, IRC 2017
SP - 73
EP - 76
BT - Proceedings - 2017 1st IEEE International Conference on Robotic Computing, IRC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1st IEEE International Conference on Robotic Computing, IRC 2017
Y2 - 10 April 2017 through 12 April 2017
ER -