Checking consistency of robot software architectures in ROS.
Thomas WitteMatthias TichyPublished in: RoSE@ICSE (2018)
Keyphrases
- software architecture
- consistency checking
- mobile robot
- description language
- distributed systems
- software engineering
- human robot interaction
- functional requirements
- robot navigation
- vision system
- reference model
- autonomous robots
- multi robot
- software systems
- robotic systems
- humanoid robot
- product line
- real time
- path planning
- simulated robot
- embedded software
- robot control
- reference architecture
- software evolution
- architectural design
- robot manipulators
- design patterns
- software requirements
- service robots
- artificial intelligence
- dynamic reconfiguration
- database
- quality attributes
- motion planning
- path consistency
- database systems
- software development
- software design
- image quality
- position and orientation