{"id":"https://openalex.org/W2735004968","doi":"https://doi.org/10.1145/3092703.3092724","title":"Automatic detection and validation of race conditions in interrupt-driven embedded software","display_name":"Automatic detection and validation of race conditions in interrupt-driven embedded software","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735004968","doi":"https://doi.org/10.1145/3092703.3092724","mag":"2735004968"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3092724","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3092724","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100701610","display_name":"Yu Wang","orcid":"https://orcid.org/0000-0002-7216-6929"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Wang","raw_affiliation_strings":["Nanjing University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linzhang Wang","raw_affiliation_strings":["Nanjing University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072070511","display_name":"Tingting Yu","orcid":"https://orcid.org/0000-0002-9461-4251"},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tingting Yu","raw_affiliation_strings":["University of Kentucky, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kentucky, USA","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhua Zhao","raw_affiliation_strings":["Nanjing University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["Nanjing University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"113","last_page":"124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.9701340198516846},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8136614561080933},{"id":"https://openalex.org/keywords/interrupt-handler","display_name":"Interrupt handler","score":0.7213877439498901},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.567204475402832},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5496712923049927},{"id":"https://openalex.org/keywords/race","display_name":"Race (biology)","score":0.4945373237133026},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.46378788352012634},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.42747819423675537}],"concepts":[{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.9701340198516846},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8136614561080933},{"id":"https://openalex.org/C28533478","wikidata":"https://www.wikidata.org/wiki/Q1541162","display_name":"Interrupt handler","level":4,"score":0.7213877439498901},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.567204475402832},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5496712923049927},{"id":"https://openalex.org/C76509639","wikidata":"https://www.wikidata.org/wiki/Q918036","display_name":"Race (biology)","level":2,"score":0.4945373237133026},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.46378788352012634},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.42747819423675537},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3092703.3092724","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3092724","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.5099999904632568,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326497","display_name":"China Academy of Space Technology","ror":"https://ror.org/025397a59"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":72,"referenced_works":["https://openalex.org/W1502602891","https://openalex.org/W1533195354","https://openalex.org/W1541313361","https://openalex.org/W1548806133","https://openalex.org/W1571371050","https://openalex.org/W1594381772","https://openalex.org/W1710734607","https://openalex.org/W1887412317","https://openalex.org/W1970363544","https://openalex.org/W1972544179","https://openalex.org/W1979693894","https://openalex.org/W1982725024","https://openalex.org/W1994878611","https://openalex.org/W2005335403","https://openalex.org/W2025786423","https://openalex.org/W2036520154","https://openalex.org/W2059987590","https://openalex.org/W2072419942","https://openalex.org/W2078197548","https://openalex.org/W2083636040","https://openalex.org/W2091085450","https://openalex.org/W2095416315","https://openalex.org/W2098151336","https://openalex.org/W2102640269","https://openalex.org/W2102731275","https://openalex.org/W2105391037","https://openalex.org/W2105794846","https://openalex.org/W2110852599","https://openalex.org/W2111413199","https://openalex.org/W2114753872","https://openalex.org/W2117184262","https://openalex.org/W2121816623","https://openalex.org/W2123468567","https://openalex.org/W2127989655","https://openalex.org/W2131135493","https://openalex.org/W2132800423","https://openalex.org/W2135395375","https://openalex.org/W2138000960","https://openalex.org/W2148308674","https://openalex.org/W2150602145","https://openalex.org/W2150984469","https://openalex.org/W2151585646","https://openalex.org/W2154569078","https://openalex.org/W2154903992","https://openalex.org/W2156370972","https://openalex.org/W2158124716","https://openalex.org/W2158600037","https://openalex.org/W2170998491","https://openalex.org/W2171480813","https://openalex.org/W2296019735","https://openalex.org/W2314208300","https://openalex.org/W2374182234","https://openalex.org/W2467090706","https://openalex.org/W2508576555","https://openalex.org/W2530873235","https://openalex.org/W2531260568","https://openalex.org/W2914127544","https://openalex.org/W2997474689","https://openalex.org/W3003354073","https://openalex.org/W3014461055","https://openalex.org/W3023641965","https://openalex.org/W3091178001","https://openalex.org/W3144922322","https://openalex.org/W3149170054","https://openalex.org/W4235116491","https://openalex.org/W4237706618","https://openalex.org/W4245550931","https://openalex.org/W4247660350","https://openalex.org/W4247946980","https://openalex.org/W4254906220","https://openalex.org/W4298072213","https://openalex.org/W7062416784"],"related_works":["https://openalex.org/W2391783641","https://openalex.org/W3022243336","https://openalex.org/W4243198198","https://openalex.org/W2109690896","https://openalex.org/W4231875098","https://openalex.org/W2505033426","https://openalex.org/W2163626079","https://openalex.org/W2602599056","https://openalex.org/W2382264333","https://openalex.org/W2904693149"],"abstract_inverted_index":{"Interrupt-driven":[0],"programs":[1,135],"are":[2],"widely":[3],"deployed":[4],"in":[5,23,53,84,137],"safety-critical":[6],"embedded":[7,86,134],"systems":[8,25],"to":[9,30,33,50,65,98,112,121],"perform":[10],"hardware":[11,66],"and":[12,38,44,80,95],"resource":[13],"dependent":[14],"data":[15,101],"operation":[16],"tasks.":[17],"The":[18,140],"frequent":[19],"use":[20],"of":[21,92],"interrupts":[22,120],"these":[24,115],"can":[26,78,145],"cause":[27],"race":[28,61,82,148],"conditions":[29,83],"occur":[31,122],"due":[32],"interactions":[34],"between":[35],"application":[36],"tasks":[37],"interrupt":[39],"handlers.":[40],"Numerous":[41],"program":[42],"analysis":[43,94],"testing":[45],"techniques":[46],"have":[47],"been":[48],"proposed":[49],"detect":[51,79,147],"races":[52,116],"multithreaded":[54],"programs.":[55],"Little":[56],"work,":[57],"however,":[58],"has":[59],"addressed":[60],"condition":[62],"problems":[63],"related":[64],"interrupts.":[67],"In":[68],"this":[69],"paper,":[70],"we":[71],"present":[72],"SDRacer,":[73],"an":[74],"automated":[75],"framework":[76],"that":[77,143],"validate":[81,114],"interrupt-driven":[85],"software.":[87],"It":[88,107],"uses":[89],"a":[90],"combination":[91],"static":[93],"symbolic":[96],"execution":[97],"generate":[99],"input":[100],"for":[102],"exercising":[103],"the":[104,119,124],"potential":[105,125],"races.":[106],"then":[108],"employs":[109],"virtual":[110],"platforms":[111],"dynamically":[113],"by":[117],"forcing":[118],"at":[123],"racing":[126],"points.":[127],"We":[128],"evaluate":[129],"SDRacer":[130,144],"on":[131],"nine":[132],"real-world":[133],"written":[136],"C":[138],"language.":[139],"results":[141],"show":[142],"precisely":[146],"conditions.":[149]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}