Virtual Test Environment for Efficient Verification of Software Updates for Variant-Rich Automotive Systems.
Houssem GuissoumaAndreas LauberAmir MkademEric SaxPublished in: SysCon (2019)
Keyphrases
- formal methods
- operating environment
- computer systems
- safety critical
- real time
- software environment
- virtual world
- high level
- enterprise systems
- mobile robot
- open systems
- computing environments
- software architecture
- commercial software
- test cases
- intelligent systems
- software development
- safety analysis
- test data generation
- technical issues
- graphical user interfaces
- reactive systems
- computing systems
- working environment
- spare parts
- industrial strength
- test generation
- formal verification
- real environment
- simulation environment
- software developers
- business applications
- software components
- augmented reality
- complex systems
- virtual environment
- open source
- management system
- expert systems
- real world