Reverse Engineering of Middleware for Verification of Robot Control Architectures.
Ali KhaliliLorenzo NataleArmando TacchellaPublished in: SIMPAR (2014)
Keyphrases
- reverse engineering
- robot control
- subsumption architecture
- software engineering
- mobile robot
- software maintenance
- autonomous robots
- dynamic analysis
- object oriented
- model checking
- unstructured environments
- reverse engineer
- gene regulatory networks
- formal verification
- conceptual schema
- motion control
- legacy systems
- database
- pid controller
- web services