| 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 | |