contributor author | Heffernan, Donal | |
contributor author | MacNamee, Ciaran | |
contributor author | Fogarty, Padraig | |
date accessioned | 2020-03-13T00:24:52Z | |
date available | 2020-03-13T00:24:52Z | |
date issued | 2014 | |
identifier issn | 1751-8806 | |
identifier other | 6915834.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1145862?locale-attribute=en&show=full | |
format | general | |
language | English | |
publisher | IET | |
title | Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties | |
type | Journal Paper | |
contenttype | Metadata Only | |
identifier padid | 8328631 | |
subject keywords | ISO standards | |
subject keywords | automotive electrics | |
subject keywords | automotive electronics | |
subject keywords | data flow analysis | |
subject keywords | embedded systems | |
subject keywords | gears | |
subject keywords | program verification | |
subject keywords | road safety | |
subject keywords | ISO 26262 road vehicles functional safety standard | |
subject keywords | automotive electrical equipment | |
subject keywords | automotive electronic equipment | |
subject keywords | automotive embedded control systems | |
subject keywords | automotive embedded control units | |
subject keywords | automotive embedded systems | |
subject keywords | automotive gearbox control system | |
subject keywords | embedded programme verification | |
subject keywords | monitored properties | |
subject keywords | real-time runtime verification monitor | |
subject keywords | runtime ve | |
identifier doi | 10.1049/iet-sen.2013.0236 | |
journal title | Software, IET | |
journal volume | 8 | |
journal issue | 5 | |
filesize | 919660 | |
citations | 0 | |