{"id":"https://openalex.org/W4385428196","doi":"https://doi.org/10.1145/3611390","title":"Support of MISRA C++ Analyzer for Reliability of Embedded Systems","display_name":"Support of MISRA C++ Analyzer for Reliability of Embedded Systems","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385428196","doi":"https://doi.org/10.1145/3611390"},"language":"en","primary_location":{"id":"doi:10.1145/3611390","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611390","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611390","source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3611390","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013968721","display_name":"Che-Chia Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Che-Chia Lin","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Taiwan"],"raw_orcid":"https://orcid.org/0009-0001-3078-0939","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058684855","display_name":"Wei-Hsu Chu","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Wei-Hsu Chu","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Taiwan"],"raw_orcid":"https://orcid.org/0009-0004-4758-5533","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chia-Hsuan Chang","orcid":"https://orcid.org/0000-0003-3241-8949"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chia-Hsuan Chang","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Taiwan"],"raw_orcid":"https://orcid.org/0000-0003-3241-8949","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076915932","display_name":"Hui-Hsin Liao","orcid":"https://orcid.org/0000-0002-4674-9872"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Hui-Hsin Liao","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-4674-9872","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101660516","display_name":"Chun\u2010Chieh Yang","orcid":"https://orcid.org/0000-0002-1897-5338"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chun-Chieh Yang","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-1897-5338","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038803698","display_name":"Jenq\u2010Kuen Lee","orcid":"https://orcid.org/0000-0001-9919-6258"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jenq-Kuen Lee","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Taiwan"],"raw_orcid":"https://orcid.org/0000-0001-9919-6258","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059393275","display_name":"Yi\u2010Ping You","orcid":"https://orcid.org/0000-0002-4455-3147"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Ping You","raw_affiliation_strings":["Department of Computer Science, National Yang Ming Chiao Tung University, Hsinchu, Taiwan","Department of Computer Science, National Yang Ming Chiao Tung University, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-4455-3147","affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Yang Ming Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]},{"raw_affiliation_string":"Department of Computer Science, National Yang Ming Chiao Tung University, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113456765","display_name":"Tien-Yuan Hsieh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148468","display_name":"Industrial Technology Research Institute","ror":"https://ror.org/05szzwt63","country_code":"TW","type":"nonprofit","lineage":["https://openalex.org/I4210148468"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Tien-Yuan Hsieh","raw_affiliation_strings":["Industrial Technology Research Institute, Hsinchu, Taiwan","Industrial Technology Research Institute, Taiwan"],"raw_orcid":"https://orcid.org/0009-0005-3095-3085","affiliations":[{"raw_affiliation_string":"Industrial Technology Research Institute, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I4210148468"]},{"raw_affiliation_string":"Industrial Technology Research Institute, Taiwan","institution_ids":["https://openalex.org/I4210148468"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0953159,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"1","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.769484281539917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5207059979438782},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4662908911705017},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4546130895614624},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4272494614124298},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4175824820995331},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.14215093851089478}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.769484281539917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5207059979438782},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4662908911705017},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4546130895614624},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4272494614124298},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4175824820995331},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.14215093851089478},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3611390","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611390","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611390","source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3611390","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611390","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611390","source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322214","display_name":"Industrial Technology Research Institute","ror":"https://ror.org/05szzwt63"},{"id":"https://openalex.org/F4320322410","display_name":"MediaTek","ror":"https://ror.org/05g9jck81"},{"id":"https://openalex.org/F4320331164","display_name":"National Science and Technology Council","ror":"https://ror.org/00wnb9798"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385428196.pdf","grobid_xml":"https://content.openalex.org/works/W4385428196.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W164384110","https://openalex.org/W1871378126","https://openalex.org/W1995268554","https://openalex.org/W2050086297","https://openalex.org/W2060033172","https://openalex.org/W2072385532","https://openalex.org/W2077998140","https://openalex.org/W2078794610","https://openalex.org/W2081433422","https://openalex.org/W2086056732","https://openalex.org/W2131093354","https://openalex.org/W2232025525","https://openalex.org/W2297774820","https://openalex.org/W2479544990","https://openalex.org/W2579357702","https://openalex.org/W3081092838","https://openalex.org/W3159746323","https://openalex.org/W3206908800","https://openalex.org/W4247367085","https://openalex.org/W6649016163"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2061417947","https://openalex.org/W2621101275","https://openalex.org/W3096156304","https://openalex.org/W4321791309"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPS)":[2],"are":[3,61,176],"increasingly":[4],"used":[5,185],"in":[6,145],"many":[7],"complex":[8],"applications,":[9],"such":[10],"as":[11],"autonomous":[12],"delivery":[13],"drones,":[14],"the":[15,67,76,83,88,95,100,104,131,148,170,224],"automotive":[16],"CPS":[17,35,53,120],"design,":[18],"power":[19],"grid":[20],"control":[21],"systems,":[22],"and":[23,40,58,99,112,163],"medical":[24],"robotics.":[25],"However,":[26,55],"existing":[27],"programming":[28,48,110],"languages":[29,111],"lack":[30],"certain":[31],"design":[32],"patterns":[33],"for":[34,94,118,195,218],"designs,":[36],"including":[37],"temporal":[38],"semantics":[39],"concurrency":[41],"models.":[42],"Future":[43],"research":[44,122],"directions":[45],"may":[46],"involve":[47],"language":[49,121],"extensions":[50,123],"to":[51,65,108,124,141,158,186,235],"support":[52],"designs.":[54],"JSF++,":[56],"MISRA,":[57],"MISRA":[59,84,105],"C++":[60,85,106,139,221],"providing":[62],"specifications":[63,129],"intended":[64],"increase":[66],"reliability":[68,127],"of":[69,78,97,103],"safety-critical":[70],"systems.":[71,113],"This":[72,114],"article":[73],"also":[74,177],"describes":[75],"development":[77],"rule":[79],"checkers":[80,175],"based":[81],"on":[82],"specification":[86,107],"using":[87,130,137,216],"Clang":[89,132,225],"open-source":[90,220],"tool,":[91],"which":[92],"allows":[93],"annotation":[96],"code":[98],"easy":[101],"extension":[102],"other":[109],"is":[115,183,210,227],"potentially":[116],"useful":[117],"future":[119],"work":[125],"with":[126,147,190],"software":[128,197],"tool.":[133,152],"Experiments":[134],"were":[135],"performed":[136],"key":[138,155],"benchmarks":[140,167],"validate":[142],"our":[143,174,196,204],"method":[144,205],"comparison":[146],"well-known":[149],"Coverity":[150,217],"commercial":[151],"We":[153],"illustrate":[154],"rules":[156,171],"related":[157],"class,":[159],"inheritance,":[160],"template,":[161],"overloading,":[162],"exception":[164],"handling.":[165],"Open-source":[166],"that":[168,203,209,214],"violate":[169],"detected":[172],"by":[173],"illustrated.":[178],"A":[179],"random":[180],"graph":[181],"generator":[182],"further":[184,232],"generate":[187],"diamond":[188],"case":[189],"multiple":[191],"inheritance":[192],"test":[193],"data":[194],"validations.":[198],"The":[199],"experimental":[200],"results":[201],"demonstrate":[202],"can":[206],"provide":[207],"information":[208],"more":[211],"detailed":[212],"than":[213],"obtained":[215],"nine":[219],"benchmarks.":[222],"Since":[223],"tool":[226],"widely":[228],"used,":[229],"it":[230],"will":[231],"allow":[233],"developers":[234],"annotate":[236],"their":[237],"own":[238],"extensions.":[239]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}