Toward the Design of Robotic Software with Verifiable Safety.
Chih-Hong ChengMarkus RickertChristian BucklEdward A. LeeAlois C. KnollPublished in: COMPSAC (1) (2009)
Keyphrases
- software design
- user interface
- software architecture
- design concepts
- hardware design
- real time
- embedded systems
- computer aided
- software suite
- industrial strength
- safety critical
- product line
- software environment
- software systems
- design process
- building blocks
- software development
- software engineering
- case study
- data sets