UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems.
Irune AgirrePeio OnaindiaTomaso PoggiIrune YarzaFrancisco J. CazorlaLeonidas KosmidisKim GrüttnerMohammed AbuteirJan LoeweJuan M. OrbegozoStefania BottaPublished in: DSD (2020)
Keyphrases
- computer systems
- commercial software
- complex systems
- source code
- user interface
- highly modular
- software packages
- data intensive
- software components
- building blocks
- distributed systems
- expert systems
- embedded systems
- software design
- formal methods
- technical issues
- software implementation
- scientific computing
- management system
- safety critical