{"id":"https://openalex.org/W3151277855","doi":"https://doi.org/10.1109/date.2010.5457148","title":"Simulation-based verification of the MOST NetInterface specification revision 3.0","display_name":"Simulation-based verification of the MOST NetInterface specification revision 3.0","publication_year":2010,"publication_date":"2010-03-01","ids":{"openalex":"https://openalex.org/W3151277855","doi":"https://doi.org/10.1109/date.2010.5457148","mag":"3151277855"},"language":"en","primary_location":{"id":"doi:10.1109/date.2010.5457148","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2010.5457148","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE 2010)","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/A5054376133","display_name":"Andreas Braun","orcid":"https://orcid.org/0000-0001-8630-1389"},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Andreas Braun","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006145077","display_name":"Oliver Bringmann","orcid":null},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Oliver Bringmann","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032411828","display_name":"Djones Lettnin","orcid":null},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Djones Lettnin","raw_affiliation_strings":["Wilhelm Schickard-Institut f\u00fcr Informatik, Universit\u00e4t Tubingen, Tubingen, Germany"],"affiliations":[{"raw_affiliation_string":"Wilhelm Schickard-Institut f\u00fcr Informatik, Universit\u00e4t Tubingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087076980","display_name":"Wolfgang Rosenstiel","orcid":null},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Rosenstiel","raw_affiliation_strings":["Wilhelm Schickard-Institut f\u00fcr Informatik, Universit\u00e4t Tubingen, Tubingen, Germany"],"affiliations":[{"raw_affiliation_string":"Wilhelm Schickard-Institut f\u00fcr Informatik, Universit\u00e4t Tubingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5054376133"],"corresponding_institution_ids":["https://openalex.org/I143379178"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67387297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"3","issue":null,"first_page":"538","last_page":"543"},"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.9975000023841858,"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.9975000023841858,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9957000017166138,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9861000180244446,"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/computer-science","display_name":"Computer science","score":0.708055853843689},{"id":"https://openalex.org/keywords/virtual-prototyping","display_name":"Virtual prototyping","score":0.649290919303894},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6064005494117737},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.5624346733093262},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5112528800964355},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.415515273809433},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3415510058403015},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3166179060935974},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.19935867190361023}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.708055853843689},{"id":"https://openalex.org/C2780991453","wikidata":"https://www.wikidata.org/wiki/Q3408177","display_name":"Virtual prototyping","level":2,"score":0.649290919303894},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6064005494117737},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5624346733093262},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5112528800964355},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.415515273809433},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3415510058403015},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3166179060935974},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.19935867190361023},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2010.5457148","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2010.5457148","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE 2010)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1576418322","https://openalex.org/W2071112258","https://openalex.org/W2115999659","https://openalex.org/W2125539770","https://openalex.org/W2144032419","https://openalex.org/W2546479242","https://openalex.org/W3150987667","https://openalex.org/W4246045935"],"related_works":["https://openalex.org/W2149166411","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1946493810","https://openalex.org/W1544097700","https://openalex.org/W1676660241","https://openalex.org/W1614428294","https://openalex.org/W1922520186","https://openalex.org/W1553537032","https://openalex.org/W17088386"],"abstract_inverted_index":{"Design":[0],"and":[1,54,85,98,133,140],"specification":[2,82,115],"errors":[3,17],"are":[4],"hard":[5],"to":[6,37,61,75,105,136],"find":[7],"in":[8,24,31,45,59],"the":[9,32,39,63,76,87,114],"traditional":[10],"automotive":[11],"system":[12,66],"design":[13,47,144],"flow.":[14],"Consequently,":[15],"these":[16],"may":[18],"be":[19],"detected":[20],"very":[21],"late":[22],"e.g.":[23],"a":[25,52],"hardware":[26],"prototype":[27],"or":[28],"even":[29],"worse":[30],"final":[33],"product.":[34],"In":[35,109],"order":[36,60],"allow":[38],"verification":[40,134],"of":[41,65,89],"distributed":[42],"embedded":[43],"systems":[44],"early":[46],"phases,":[48],"this":[49],"work":[50],"proposes":[51],"flexible":[53],"efficient":[55],"virtual":[56,69],"prototyping":[57,70],"approach":[58,71],"check":[62],"consistency":[64],"specifications.":[67],"Our":[68],"has":[72],"been":[73,147],"applied":[74],"Media":[77],"Oriented":[78],"Systems":[79],"Transport":[80],"(MOST)":[81],"revision":[83],"3.0":[84],"verifies":[86],"influence":[88],"two":[90],"newly":[91],"specified":[92],"algorithms,":[93],"namely":[94],"Ring":[95],"Break":[96],"Diagnosis":[97],"Sudden":[99],"Signal":[100],"Off":[101],"detection,":[102],"with":[103],"respect":[104],"numerous":[106],"network":[107,125,131],"configurations.":[108,126],"total":[110],"we":[111],"have":[112,146],"verified":[113],"using":[116],"more":[117],"than":[118],"10":[119],"<sup":[120],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[121],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">5</sup>":[122],"automatically":[123],"generated":[124],"The":[127],"overall":[128],"costs":[129],"for":[130],"modelling":[132],"compared":[135],"cost-expensive":[137],"error":[138],"detection":[139],"correction":[141],"at":[142],"later":[143],"phases":[145],"significantly":[148],"reduced.":[149]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}