Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering.
Kristof MeixnerDietmar WinklerPetr NovákStefan BifflPublished in: MODELSWARD (2019)
Keyphrases
- model driven
- robot control
- systems engineering
- data driven
- software engineering
- mobile robot
- service oriented
- metamodel
- systems development
- knowledge extraction
- data integration
- autonomous robots
- industrial applications
- requirements engineering
- reinforcement learning
- subsumption architecture
- source code
- pid controller
- development process
- software systems
- web services
- databases
- computational biology
- knowledge based systems
- distributed systems
- machine learning