Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties.
Donal HeffernanCiaran MacNameePadraig FogartyPublished in: IET Softw. (2014)
Keyphrases
- embedded systems
- safety critical
- low cost
- formal methods
- resource limited
- computing power
- real time systems
- real time
- embedded devices
- processing power
- real time image processing
- monitoring system
- software systems
- hw sw
- embedded software
- cyber physical systems
- functional verification
- embedded real time systems
- hardware software
- flash memory
- project management