Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems - the Case of Aerial Drones.
Ahmed El YaacoubLuca MottolaThiemo VoigtPhilipp RümmerPublished in: ICCPS (2022)
Keyphrases
- embedded systems
- safety critical
- low cost
- embedded devices
- safety analysis
- embedded software
- real time systems
- embedded real time systems
- hardware software
- software systems
- formal methods
- agent architecture
- field programmable gate array
- artificial intelligence
- user model
- data model
- mobile devices
- high level
- information systems