{"id":"https://openalex.org/W2301048433","doi":"https://doi.org/10.4271/2016-01-0126","title":"RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring","display_name":"RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring","publication_year":2016,"publication_date":"2016-04-05","ids":{"openalex":"https://openalex.org/W2301048433","doi":"https://doi.org/10.4271/2016-01-0126","mag":"2301048433"},"language":"en","primary_location":{"id":"doi:10.4271/2016-01-0126","doi":"https://doi.org/10.4271/2016-01-0126","is_oa":false,"landing_page_url":"https://doi.org/10.4271/2016-01-0126","pdf_url":null,"source":{"id":"https://openalex.org/S4210202285","display_name":"SAE technical papers on CD-ROM/SAE technical paper series","issn_l":"0148-7191","issn":["0148-7191","1083-4958","2688-3627"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SAE Technical Paper Series","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005725160","display_name":"Philip Daian","orcid":"https://orcid.org/0000-0002-6152-2713","observed_orcids":["https://orcid.org/0000-0002-6152-2713"]},"institutions":[{"id":"https://openalex.org/I4210161168","display_name":"Runtime Verification (United States)","ror":"https://ror.org/04gmecg65","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161168"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Philip Daian","raw_affiliation_strings":["Runtime Verification Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Runtime Verification Inc","institution_ids":["https://openalex.org/I4210161168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047019072","display_name":"Shinichi Shiraishi","orcid":"https://orcid.org/0000-0003-2001-7662","observed_orcids":["https://orcid.org/0000-0003-2001-7662"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shinichi Shiraishi","raw_affiliation_strings":["Toyota Info Technology Center, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Info Technology Center, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056227671","display_name":"Akihito Iwai","orcid":"https://orcid.org/0009-0000-8479-8619","observed_orcids":["https://orcid.org/0009-0000-8479-8619"]},"institutions":[{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Akihito Iwai","raw_affiliation_strings":["DENSO International America Inc","DENSO INTERNATIONAL AMERICA, INCORPORATED"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DENSO International America Inc","institution_ids":["https://openalex.org/I67530263"]},{"raw_affiliation_string":"DENSO INTERNATIONAL AMERICA, INCORPORATED","institution_ids":["https://openalex.org/I67530263"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053490423","display_name":"Bhargava Manja","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210161168","display_name":"Runtime Verification (United States)","ror":"https://ror.org/04gmecg65","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161168"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bhargava Manja","raw_affiliation_strings":["Runtime Verification Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Runtime Verification Inc","institution_ids":["https://openalex.org/I4210161168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053878331","display_name":"Grigore Ro\u015fu","orcid":"https://orcid.org/0000-0002-3102-0421","observed_orcids":["https://orcid.org/0000-0002-3102-0421"]},"institutions":[{"id":"https://openalex.org/I4210161168","display_name":"Runtime Verification (United States)","ror":"https://ror.org/04gmecg65","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161168"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grigore Rosu","raw_affiliation_strings":["Runtime Verification Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Runtime Verification Inc","institution_ids":["https://openalex.org/I4210161168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.549,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.5302237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6934000253677368,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6934000253677368,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.2824999988079071,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.00800000037997961,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.9160000085830688},{"id":"https://openalex.org/keywords/can-bus","display_name":"CAN bus","score":0.8019999861717224},{"id":"https://openalex.org/keywords/automotive-recalls","display_name":"automotive recalls","score":0.871999979019165}],"concepts":[{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.686812698841095},{"id":"https://openalex.org/C2986542766","wikidata":"https://www.wikidata.org/wiki/Q2090494","display_name":"Vehicle safety","level":2,"score":0.5574668049812317},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.5350536108016968},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4507541358470917},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.43883758783340454},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2598060369491577},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2073027789592743}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4271/2016-01-0126","doi":"https://doi.org/10.4271/2016-01-0126","is_oa":false,"landing_page_url":"https://doi.org/10.4271/2016-01-0126","pdf_url":null,"source":{"id":"https://openalex.org/S4210202285","display_name":"SAE technical papers on CD-ROM/SAE technical paper series","issn_l":"0148-7191","issn":["0148-7191","1083-4958","2688-3627"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SAE Technical Paper Series","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W161166442","https://openalex.org/W236653988","https://openalex.org/W1414322427","https://openalex.org/W1519936759","https://openalex.org/W1545344643","https://openalex.org/W1575809242","https://openalex.org/W1582385421","https://openalex.org/W1597173694","https://openalex.org/W1790612874","https://openalex.org/W1862118794","https://openalex.org/W1969670854","https://openalex.org/W1974880906","https://openalex.org/W1985367567","https://openalex.org/W1986440342","https://openalex.org/W1997179160","https://openalex.org/W2002128397","https://openalex.org/W2006611045","https://openalex.org/W2104717300","https://openalex.org/W2113560220","https://openalex.org/W2115965729","https://openalex.org/W2137591753","https://openalex.org/W2150593762","https://openalex.org/W2153691835","https://openalex.org/W2154366986","https://openalex.org/W2160146193","https://openalex.org/W2164119561","https://openalex.org/W2188582538","https://openalex.org/W2280486853","https://openalex.org/W2901400492","https://openalex.org/W4240278694","https://openalex.org/W4251484012","https://openalex.org/W4391285994","https://openalex.org/W6922046549"],"related_works":["https://openalex.org/W4405595496","https://openalex.org/W7160863265","https://openalex.org/W7134411593","https://openalex.org/W64030814","https://openalex.org/W2595789093","https://openalex.org/W7043811132","https://openalex.org/W2750930407","https://openalex.org/W1482912459","https://openalex.org/W2968441472","https://openalex.org/W2275241203"],"abstract_inverted_index":{"The":[0],"Runtime":[1],"Verification":[2],"ECU":[3,152],"(RV-ECU)":[4],"is":[5,124,142],"a":[6,27,66,122,139,199],"new":[7,119],"development":[8,211],"platform":[9],"for":[10,78,157],"checking":[11],"and":[12,20,34,45,136,150,170,172,202,224],"enforcing":[13],"the":[14,53,56,69,82,112,127,158,161,179,192,196,210],"safety":[15,47,61,79,128,153,159,176,215],"of":[16,55,91,129,160,175,194,212],"automotive":[17,185],"bus":[18],"communications":[19],"software":[21,206],"systems.":[22],"RV-ECU":[23,70,85,114,141,197],"uses":[24],"runtime":[25],"verification,":[26],"formal":[28,60,214],"analysis":[29],"subfield":[30],"geared":[31],"at":[32],"validating":[33],"verifying":[35],"systems":[36],"as":[37,81,148,187,198],"they":[38],"run,":[39],"to":[40,144,190,205],"ensure":[41],"that":[42,76,131],"all":[43],"manufacturer":[44],"third-party":[46,108],"specifications":[48,120,177,216],"are":[49],"complied":[50],"with":[51,102,118],"during":[52],"operation":[54],"vehicle.":[57],"By":[58],"compiling":[59],"properties":[62],"into":[63],"code":[64,75],"using":[65],"certifying":[67],"compiler,":[68],"executes":[71],"only":[72],"provably":[73],"correct":[74],"checks":[77],"violations":[80,90],"system":[83],"runs.":[84],"can":[86,115],"also":[87],"recover":[88],"from":[89],"these":[92],"properties,":[93],"either":[94],"by":[95],"itself":[96],"in":[97],"simple":[98],"cases":[99],"or":[100],"together":[101],"safe":[103],"message-sending":[104],"libraries":[105],"implementable":[106],"on":[107,111,178],"control":[109],"units":[110],"bus.":[113,181],"be":[116,146],"updated":[117],"after":[121],"vehicle":[123,163],"released,":[125],"enhancing":[126],"vehicles":[130],"have":[132],"already":[133],"been":[134],"sold":[135],"deployed.":[137],"Currently":[138],"prototype,":[140],"meant":[143],"eventually":[145],"deployed":[147],"global":[149],"local":[151],"monitors,":[154],"ultimately":[155],"responsible":[156],"entire":[162],"system.":[164],"We":[165,182],"describe":[166],"its":[167],"overall":[168],"architecture":[169],"implementation,":[171],"demonstrate":[173,191],"monitoring":[174],"CAN":[180],"use":[183],"past":[184],"recalls":[186],"case":[188],"studies":[189],"potential":[193],"updating":[195],"cost":[200],"effective":[201],"practical":[203],"alternative":[204],"recalls,":[207],"while":[208],"requiring":[209],"rigorous,":[213],"easily":[217],"sharable":[218],"across":[219],"manufacturers,":[220],"OEMs,":[221],"regulatory":[222],"agencies":[223],"even":[225],"car":[226],"owners.":[227]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}