Timing Analysis and Code Generation of Vehicle Control Software using Taxys.
Stavros TripakisSergio YovinePublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- unmanned aerial vehicles
- control software
- code generation
- application development
- autonomous vehicles
- path planning
- software development
- code generator
- modeling language
- model driven
- formal specification
- rapid prototyping
- design patterns
- software reuse
- real time
- software systems
- data driven
- data management
- data warehouse
- database systems
- artificial intelligence