Virtualized In Situ Software Update Verification: Verification of Over-the-Air Automotive Software Updates.
David CoeJeffrey H. KulickAleksandar MilenkovicLetha H. EtzkornPublished in: IEEE Veh. Technol. Mag. (2020)
Keyphrases
- software development
- software systems
- data structure
- source code
- model checking
- neural network
- software tools
- asynchronous circuits
- mobile devices
- software design
- face verification
- formal methods
- development process
- formal verification
- hardware design
- requirements engineering
- software package
- embedded systems
- operating system
- cloud computing
- information systems