Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties
ناشر:
سال
: 2014شناسه الکترونیک: 10.1049/iet-sen.2013.0236
کلیدواژه(گان): ISO standards,automotive electrics,automotive electronics,data flow analysis,embedded systems,gears,program verification,road safety,ISO 26262 road vehicles functional safety standard,automotive electrical equipment,automotive electronic equipment,automotive embedded control systems,automotive embedded control units,automotive embedded systems,automotive gearbox control system,embedded programme verification,monitored properties,real-time runtime verification monitor,runtime ve
کالکشن
:
-
آمار بازدید
Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties
Show full item record
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 | |
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 |