{"id":"https://openalex.org/W2056893153","doi":"https://doi.org/10.1109/sies.2010.5551379","title":"Verification of a CAN bus model in SystemC with functional coverage","display_name":"Verification of a CAN bus model in SystemC with functional coverage","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2056893153","doi":"https://doi.org/10.1109/sies.2010.5551379","mag":"2056893153"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2010.5551379","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551379","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-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/A5028817309","display_name":"Gilles B. Defo","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gilles B. Defo","raw_affiliation_strings":["Faculty of Electrical Engineering Computer Science and Mathematics, University of Paderborn/C-LAB, Paderborn, Germany","University of Paderborn/C-LAB, Faculty of Electrical Engineering, Computer Science and Mathematics, 33102 Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering Computer Science and Mathematics, University of Paderborn/C-LAB, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn/C-LAB, Faculty of Electrical Engineering, Computer Science and Mathematics, 33102 Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029449933","display_name":"Christoph Kuznik","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Kuznik","raw_affiliation_strings":["Faculty of Electrical Engineering Computer Science and Mathematics, University of Paderborn/C-LAB, Paderborn, Germany","University of Paderborn/C-LAB, Faculty of Electrical Engineering, Computer Science and Mathematics, 33102 Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering Computer Science and Mathematics, University of Paderborn/C-LAB, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn/C-LAB, Faculty of Electrical Engineering, Computer Science and Mathematics, 33102 Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110622459","display_name":"Wolfgang M\u00fcller","orcid":"https://orcid.org/0000-0001-6474-3733"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Muller","raw_affiliation_strings":["Faculty of Electrical Engineering Computer Science and Mathematics, University of Paderborn/C-LAB, Paderborn, Germany","University of Paderborn/C-LAB, Faculty of Electrical Engineering, Computer Science and Mathematics, 33102 Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering Computer Science and Mathematics, University of Paderborn/C-LAB, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn/C-LAB, Faculty of Electrical Engineering, Computer Science and Mathematics, 33102 Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I206945453"],"apc_list":null,"apc_paid":null,"fwci":2.1663,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89129736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"0","issue":null,"first_page":"28","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9975000023841858,"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/systemc","display_name":"SystemC","score":0.9724240899085999},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8405967354774475},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.7553194761276245},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.6189932227134705},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5965520143508911},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5335965752601624},{"id":"https://openalex.org/keywords/transaction-level-modeling","display_name":"Transaction-level modeling","score":0.5229530930519104},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.49584898352622986},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4894324839115143},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.45683926343917847},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4547700881958008},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.43897002935409546},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.42267730832099915},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30570220947265625},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3053056001663208},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.1445097029209137},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.1279744803905487},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.1081366240978241}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.9724240899085999},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8405967354774475},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.7553194761276245},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.6189932227134705},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5965520143508911},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5335965752601624},{"id":"https://openalex.org/C169571997","wikidata":"https://www.wikidata.org/wiki/Q966099","display_name":"Transaction-level modeling","level":3,"score":0.5229530930519104},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.49584898352622986},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4894324839115143},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.45683926343917847},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4547700881958008},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.43897002935409546},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.42267730832099915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30570220947265625},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3053056001663208},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.1445097029209137},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.1279744803905487},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1081366240978241},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2010.5551379","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551379","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5799999833106995}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W66099579","https://openalex.org/W1602612484","https://openalex.org/W2026890949","https://openalex.org/W2045771678","https://openalex.org/W2110161855","https://openalex.org/W2116517177","https://openalex.org/W2169347147","https://openalex.org/W4232656078","https://openalex.org/W4253669045","https://openalex.org/W6602677679"],"related_works":["https://openalex.org/W2391022620","https://openalex.org/W2535719568","https://openalex.org/W2044903879","https://openalex.org/W2165346564","https://openalex.org/W2351772678","https://openalex.org/W1985271980","https://openalex.org/W2358360848","https://openalex.org/W2135756607","https://openalex.org/W4255789569","https://openalex.org/W2064041187"],"abstract_inverted_index":{"Many":[0],"heterogeneous":[1],"embedded":[2,60],"systems,":[3],"for":[4,25,59,77],"example":[5],"industrial":[6],"automation":[7],"and":[8,50,56,108,116],"automotive":[9],"applications,":[10],"require":[11],"hard-real":[12],"time":[13],"constraints":[14],"to":[15],"be":[16,75],"exhaustively":[17],"verified":[18],"-":[19],"which":[20],"is":[21,44],"a":[22,45,95,131,136],"challenging":[23],"task":[24],"the":[26,64,103,114,125,128],"verification":[27,33,51,117],"engineer.":[28],"To":[29],"cope":[30],"with":[31,119,130],"complexity,":[32],"techniques":[34,73],"working":[35,134],"on":[36,135],"different":[37],"abstraction":[38],"levels":[39],"are":[40],"best":[41],"practice.":[42],"SystemC":[43,66],"versatile":[46],"C++":[47],"based":[48],"design":[49,115],"language,":[52],"offering":[53],"various":[54],"mechanisms":[55],"constructs":[57],"required":[58],"systems":[61],"modeling.":[62],"Using":[63],"add-on":[65],"Verification":[67],"Library":[68],"(SCV)":[69],"elemental":[70],"constrained-random":[71],"stimuli":[72],"may":[74],"used":[76],"verification.":[78],"However,":[79],"SCV":[80],"has":[81],"several":[82],"drawbacks":[83],"such":[84],"as":[85],"lack":[86],"of":[87,102,127],"functional":[88,96,111],"coverage.":[89],"In":[90],"this":[91],"paper":[92],"we":[93,122],"present":[94],"coverage":[97,112],"library":[98],"that":[99],"implements":[100],"parts":[101],"IEEE":[104],"1800-2005":[105],"SystemVerilog":[106],"standard":[107],"allows":[109],"capturing":[110],"throughout":[113],"process":[118],"SystemC.":[120,142],"Moreover,":[121],"will":[123],"demonstrate":[124],"usability":[126],"approach":[129],"case":[132],"study":[133],"CAN":[137],"bus":[138],"model":[139],"written":[140],"in":[141]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}