Robustness Verification Challenges in Automotive Telematics Software.
Ali ShahrokniRobert FeldtFredrik PettersonAnders BackPublished in: SEKE (2009)
Keyphrases
- lessons learned
- software development
- real world
- software systems
- source code
- formal methods
- commercial software
- model checking
- software architecture
- user interface
- software platform
- safety critical
- computing infrastructure
- formal verification
- hardware design
- software packages
- key issues
- software design
- face verification
- software maintenance
- technical issues
- computer systems
- open source
- digital images
- data mining