{"id":"https://openalex.org/W3148996568","doi":"https://doi.org/10.1109/date.2008.4484680","title":"Verification of Temporal Properties in Automotive Embedded Software","display_name":"Verification of Temporal Properties in Automotive Embedded Software","publication_year":2008,"publication_date":"2008-03-01","ids":{"openalex":"https://openalex.org/W3148996568","doi":"https://doi.org/10.1109/date.2008.4484680","mag":"3148996568"},"language":"en","primary_location":{"id":"doi:10.1109/date.2008.4484680","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2008.4484680","pdf_url":null,"source":{"id":"https://openalex.org/S4363607582","display_name":"2008 Design, Automation and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 Design, Automation and Test in Europe","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/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":["Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022136602","display_name":"Pradeep K. Nalla","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":"Pradeep K. Nalla","raw_affiliation_strings":["Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110931111","display_name":"J\u00fcrgen Ruf","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":"Jurgen Ruf","raw_affiliation_strings":["Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111985942","display_name":"Thomas Kr\u00f6pf","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":"Thomas Kropf","raw_affiliation_strings":["Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","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":["Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of T\u00fcbingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043624735","display_name":"Tobias Kirsten","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tobias Kirsten","raw_affiliation_strings":["NEC Electronics (Europe) GmbH, Dusseldorf, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NEC Electronics (Europe) GmbH, Dusseldorf, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077249446","display_name":"Volker Sch\u00f6nknecht","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Volker Schonknecht","raw_affiliation_strings":["NEC Electronics (Europe) GmbH, Dusseldorf, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NEC Electronics (Europe) GmbH, Dusseldorf, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012424440","display_name":"Stephan Reitemeyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephan Reitemeyer","raw_affiliation_strings":["NEC Electronics (Europe) GmbH, Dusseldorf, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NEC Electronics (Europe) GmbH, Dusseldorf, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2857,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.5500261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"164","last_page":"169"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9991000294685364,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.8889364004135132},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8279207944869995},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.7511160373687744},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6117734313011169},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.5983447432518005},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5811185240745544},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.550757884979248},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5253719091415405},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5012547969818115},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4245028495788574},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.42066189646720886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38621509075164795},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3269006609916687},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3108571767807007}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.8889364004135132},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8279207944869995},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.7511160373687744},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6117734313011169},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.5983447432518005},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5811185240745544},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.550757884979248},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5253719091415405},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5012547969818115},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4245028495788574},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.42066189646720886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38621509075164795},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3269006609916687},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3108571767807007},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2008.4484680","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2008.4484680","pdf_url":null,"source":{"id":"https://openalex.org/S4363607582","display_name":"2008 Design, Automation and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 Design, Automation and Test in Europe","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.6399999856948853}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W597925651","https://openalex.org/W1596552075","https://openalex.org/W2088855835","https://openalex.org/W2109337044","https://openalex.org/W2130513448","https://openalex.org/W4246045935","https://openalex.org/W4253188159","https://openalex.org/W6672767243"],"related_works":["https://openalex.org/W2103686345","https://openalex.org/W3211062188","https://openalex.org/W1598168882","https://openalex.org/W3148996568","https://openalex.org/W2138324004","https://openalex.org/W149589301","https://openalex.org/W4244791789","https://openalex.org/W3139516504","https://openalex.org/W2487553212","https://openalex.org/W2519494213"],"abstract_inverted_index":{"The":[0],"amount":[1],"of":[2,18,22,26,78],"software":[3,20,32,60,80,100,141],"in":[4,30,75,94,107,123],"embedded":[5,19,31,79,99,140],"systems":[6],"has":[7],"increased":[8],"significantly":[9],"over":[10],"the":[11,16,27,52,76,98,119,129],"last":[12],"years":[13],"and,":[14],"therefore,":[15],"verification":[17,45,77],"is":[21,33,62,146],"fundamental":[23],"importance.":[24],"One":[25],"main":[28],"problems":[29],"to":[34,72,96,125,154],"verify":[35],"variables":[36,101],"and":[37,102,151],"functions":[38,103],"based":[39],"on":[40,138],"temporal":[41,90,131],"properties.":[42],"Formal":[43],"property":[44],"using":[46,81],"model":[47,117],"checker":[48,91],"often":[49],"suffers":[50],"from":[51,118,142],"state":[53],"space":[54],"explosion":[55],"problem":[56],"when":[57],"a":[58,87,108,115,135,155],"large":[59],"design":[61],"considered.":[63],"In":[64],"this":[65],"paper,":[66],"we":[67,85,113],"propose":[68],"two":[69],"new":[70],"approaches":[71],"integrate":[73,126],"assertions":[74],"simulation-based":[82],"verification.":[83],"Firstly,":[84],"extended":[86],"SystemC":[88,116,130],"hardware":[89],"with":[92,128],"interfaces":[93],"order":[95,124],"monitor":[97],"that":[104],"are":[105],"stored":[106],"microprocessor":[109],"memory":[110],"model.":[111],"Secondly,":[112],"derived":[114],"original":[120],"C":[121],"program":[122],"directly":[127],"checker.":[132],"We":[133],"performed":[134],"case":[136],"study":[137],"an":[139],"automotive":[143],"industry":[144],"which":[145],"responsible":[147],"for":[148],"controlling":[149],"read":[150],"write":[152],"requests":[153],"non-volatile":[156],"memory.":[157]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}