{"id":"https://openalex.org/W2942049119","doi":"https://doi.org/10.1109/tcad.2019.2912919","title":"Online Firmware Functional Validation Scheme Using Colored Petri Net Model","display_name":"Online Firmware Functional Validation Scheme Using Colored Petri Net Model","publication_year":2019,"publication_date":"2019-04-25","ids":{"openalex":"https://openalex.org/W2942049119","doi":"https://doi.org/10.1109/tcad.2019.2912919","mag":"2942049119"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2019.2912919","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2912919","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","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/A5015624315","display_name":"Rongyang Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rongyang Liu","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057615824","display_name":"J.G. Delgado-Frias","orcid":"https://orcid.org/0000-0002-7026-9991"},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jose G. Delgado-Frias","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA"],"raw_orcid":"https://orcid.org/0000-0002-7026-9991","affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036438152","display_name":"Doug Boyce","orcid":null},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Doug Boyce","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102822328","display_name":"Yi Qian","orcid":"https://orcid.org/0000-0003-1063-1853"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yi Qian","raw_affiliation_strings":["Intel Architecture Graphics and Software Group, Intel Corporation, Hillsboro, USA"],"raw_orcid":"https://orcid.org/0000-0003-1063-1853","affiliations":[{"raw_affiliation_string":"Intel Architecture Graphics and Software Group, Intel Corporation, Hillsboro, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038426107","display_name":"Rahul Khanna","orcid":"https://orcid.org/0000-0001-8101-4655"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Khanna","raw_affiliation_strings":["Intel Architecture Graphics and Software Group, Intel Corporation, Hillsboro, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Architecture Graphics and Software Group, Intel Corporation, Hillsboro, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3056,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88109244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"39","issue":"7","first_page":"1532","last_page":"1545"},"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.9991999864578247,"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.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9988999962806702,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/firmware","display_name":"Firmware","score":0.9297523498535156},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8197200298309326},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.5381119847297668},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5150301456451416},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.49709275364875793},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4568444490432739},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4534376859664917},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4296455383300781},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3907477855682373},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3122549057006836},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.27776390314102173},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16956815123558044},{"id":"https://openalex.org/keywords/bubble","display_name":"Bubble","score":0.07814201712608337}],"concepts":[{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.9297523498535156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8197200298309326},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.5381119847297668},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5150301456451416},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.49709275364875793},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4568444490432739},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4534376859664917},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4296455383300781},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3907477855682373},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3122549057006836},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27776390314102173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16956815123558044},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.07814201712608337},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2019.2912919","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2912919","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W3947704","https://openalex.org/W76940708","https://openalex.org/W1540883472","https://openalex.org/W1568573127","https://openalex.org/W1592055490","https://openalex.org/W1710734607","https://openalex.org/W1992658597","https://openalex.org/W1996109622","https://openalex.org/W2033140592","https://openalex.org/W2049695835","https://openalex.org/W2060389212","https://openalex.org/W2069627149","https://openalex.org/W2084964781","https://openalex.org/W2101623441","https://openalex.org/W2106343727","https://openalex.org/W2108629956","https://openalex.org/W2118382442","https://openalex.org/W2123566310","https://openalex.org/W2129538349","https://openalex.org/W2142340571","https://openalex.org/W2165414132","https://openalex.org/W2175772294","https://openalex.org/W2537852264","https://openalex.org/W2756881735","https://openalex.org/W2769401718","https://openalex.org/W2797046864","https://openalex.org/W3145128584","https://openalex.org/W4230569261","https://openalex.org/W4246219036","https://openalex.org/W4249484115","https://openalex.org/W4250741432","https://openalex.org/W4285719527","https://openalex.org/W4300101217","https://openalex.org/W6603073347","https://openalex.org/W6637688222"],"related_works":["https://openalex.org/W2582981600","https://openalex.org/W4389238932","https://openalex.org/W4387467152","https://openalex.org/W3010413952","https://openalex.org/W4253989935","https://openalex.org/W4379115910","https://openalex.org/W4287635472","https://openalex.org/W1657880117","https://openalex.org/W2810560948","https://openalex.org/W2595172197"],"abstract_inverted_index":{"Firmware":[0],"functional":[1,53],"validation":[2,38,46,54,103,114,125],"suffers":[3],"from":[4,68],"a":[5,22],"series":[6],"of":[7,25,31,96,126],"performance":[8],"limitations":[9],"in":[10,13,123,133],"practice,":[11],"which":[12,63],"turn":[14],"heavily":[15],"relies":[16],"on":[17,76],"manual":[18],"effort":[19],"and":[20,108,117],"becomes":[21],"major":[23],"bottleneck":[24],"product":[26],"time":[27],"cycle.":[28],"The":[29],"requirement":[30],"repetitive":[32],"run-time":[33],"firmware":[34,52,70,84,136],"execution":[35,85],"for":[36],"the":[37,45,57,69,77,83,94,112,124,127],"environment":[39],"demands":[40],"novel":[41],"techniques":[42],"to":[43,110],"accelerate":[44],"process.":[47],"We":[48],"propose":[49],"an":[50,91],"online":[51],"scheme":[55],"utilizing":[56],"colored":[58],"Petri":[59],"net":[60],"(CPN)":[61],"model":[62],"can":[64,98],"be":[65,99],"generated":[66,78],"automatically":[67],"source":[71],"code.":[72],"With":[73],"simulation":[74],"runs":[75],"CPN":[79],"models":[80],"at":[81],"run-time,":[82],"path":[86],"is":[87,121],"presented":[88],"and,":[89],"if":[90],"error":[92,97],"occurs,":[93],"location":[95],"identified.":[100],"An":[101],"integrated":[102],"tool":[104,120],"has":[105],"been":[106],"designed":[107],"implemented":[109],"show":[111],"proposed":[113],"methodology's":[115],"potential":[116],"effectiveness.":[118],"This":[119],"used":[122],"universal":[128],"serial":[129],"bus":[130],"(USB)":[131],"initialization":[132],"unified":[134],"extensible":[135],"interface":[137],"(UEFI).":[138]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}