{"id":"https://openalex.org/W2344790594","doi":"https://doi.org/10.1109/rtas.2016.7461330","title":"Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge","display_name":"Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W2344790594","doi":"https://doi.org/10.1109/rtas.2016.7461330","mag":"2344790594"},"language":"en","primary_location":{"id":"doi:10.1109/rtas.2016.7461330","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461330","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","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/A5018259456","display_name":"Arne Hamann","orcid":"https://orcid.org/0000-0002-9016-3641"},"institutions":[{"id":"https://openalex.org/I889804353","display_name":"Robert Bosch (Germany)","ror":"https://ror.org/01fe0jt45","country_code":"DE","type":"company","lineage":["https://openalex.org/I889804353"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Arne Hamann","raw_affiliation_strings":["Robert Bosch GmbH, Corporate Research, Germany"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH, Corporate Research, Germany","institution_ids":["https://openalex.org/I889804353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081198825","display_name":"Dirk Ziegenbein","orcid":"https://orcid.org/0000-0002-8676-0048"},"institutions":[{"id":"https://openalex.org/I889804353","display_name":"Robert Bosch (Germany)","ror":"https://ror.org/01fe0jt45","country_code":"DE","type":"company","lineage":["https://openalex.org/I889804353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dirk Ziegenbein","raw_affiliation_strings":["Robert Bosch GmbH, Corporate Research, Germany"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH, Corporate Research, Germany","institution_ids":["https://openalex.org/I889804353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084615644","display_name":"Simon Kramer","orcid":"https://orcid.org/0000-0003-3665-7568"},"institutions":[{"id":"https://openalex.org/I889804353","display_name":"Robert Bosch (Germany)","ror":"https://ror.org/01fe0jt45","country_code":"DE","type":"company","lineage":["https://openalex.org/I889804353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Kramer","raw_affiliation_strings":["Robert Bosch GmbH, Corporate Research, Germany"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH, Corporate Research, Germany","institution_ids":["https://openalex.org/I889804353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043887536","display_name":"Martin Lukasiewycz","orcid":null},"institutions":[{"id":"https://openalex.org/I889804353","display_name":"Robert Bosch (Germany)","ror":"https://ror.org/01fe0jt45","country_code":"DE","type":"company","lineage":["https://openalex.org/I889804353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Lukasiewycz","raw_affiliation_strings":["Robert Bosch GmbH, Corporate Research, Germany"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH, Corporate Research, Germany","institution_ids":["https://openalex.org/I889804353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018259456"],"corresponding_institution_ids":["https://openalex.org/I889804353"],"apc_list":null,"apc_paid":null,"fwci":0.9698,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72913856,"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":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.975600004196167,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.975600004196167,"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/T10142","display_name":"Formal Methods in Verification","score":0.9728999733924866,"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.9408000111579895,"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/computer-science","display_name":"Computer science","score":0.8174319267272949},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6738842725753784},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.57284015417099},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.5276920795440674},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5092521905899048},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.5003228187561035},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43715205788612366},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4210979640483856},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4191918671131134},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39467567205429077},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38581547141075134},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.30968043208122253},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18595802783966064},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.15675818920135498}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8174319267272949},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6738842725753784},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.57284015417099},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.5276920795440674},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5092521905899048},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.5003228187561035},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43715205788612366},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4210979640483856},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4191918671131134},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39467567205429077},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38581547141075134},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30968043208122253},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18595802783966064},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.15675818920135498},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rtas.2016.7461330","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461330","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4230197055","https://openalex.org/W4296749040","https://openalex.org/W2378211422","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W2497198634","https://openalex.org/W3012257603","https://openalex.org/W1586784764","https://openalex.org/W4292264782","https://openalex.org/W4321353415"],"abstract_inverted_index":{"The":[0],"complex":[1,167],"dynamic":[2,158],"behavior":[3,159],"of":[4,33,67,102,149,160,175,207,215],"automotive":[5,49],"software":[6,164],"systems,":[7],"in":[8,12,118,219],"particular":[9],"engine":[10,70,104,162,188],"management,":[11],"combination":[13],"with":[14,76,85,193],"emerging":[15],"multi-core":[16,191],"execution":[17,205],"platforms,":[18],"significantly":[19],"increased":[20],"the":[21,31,52,77,93,99,103,108,116,136,157,173,210,216],"problem":[22],"space":[23],"for":[24,51,55,146,227],"timing":[25,82,122],"analysis":[26,83],"methods.":[27],"As":[28],"a":[29,47,62,68,147,161],"result,":[30],"risk":[32],"divergence":[34],"between":[35],"academic":[36,177,229],"research":[37],"and":[38,90,132,168,180,187,223],"industrial":[39,220],"practice":[40],"is":[41,154,165],"currently":[42],"increasing.":[43],"Therefore,":[44],"we":[45,96,113],"provided":[46],"concrete":[48],"benchmark":[50],"Formal":[53],"Methods":[54],"Timing":[56,129],"Verification":[57],"(FMTV)":[58],"challenge":[59,80],"2016":[60],"(https://waters2016.inria.fr/challenge/),":[61],"full":[63],"blown":[64],"performance":[65,100],"model":[66,101,117],"modern":[69],"management":[71,105,163],"system":[72,106],"(downloadable":[73],"at":[74],"http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=27&t=62),":[75],"goal":[78],"to":[79,87],"existing":[81,176],"approaches":[84],"respect":[86],"their":[88],"expressiveness":[89],"precision.":[91],"In":[92],"demo":[94,211],"session":[95],"will":[97,114,138],"present":[98],"using":[107,120],"Amalthea":[109],"tool":[110],"(http://www.amalthea-project.org/).":[111],"Furthermore,":[112],"show":[115],"action":[119],"professional":[121],"tools":[123],"such":[124],"as":[125,225],"from":[126],"Symtavision":[127],"(https://www.symtavision.com/),":[128],"Architects":[130],"(http://www.timing-architects.com/),":[131],"Inchron":[133],"(https://www.inchron.de/).":[134],"Thereby,":[135],"focus":[137],"lie":[139],"on":[140],"determining":[141],"tight":[142],"end-to-end":[143],"latency":[144],"bounds":[145],"set":[148],"given":[150],"cause-effect":[151,195],"chains.":[152],"This":[153],"challenging":[155],"since":[156],"quite":[166],"contains":[169],"mechanisms":[170],"that":[171],"explore":[172],"limits":[174],"approaches:":[178],"preemptive":[179],"cooperative":[181],"priority":[182],"based":[183],"scheduling;":[184],"periodic,":[185],"sporadic,":[186],"synchronous":[189],"tasks;":[190],"platform":[192],"distributed":[194],"chains":[196],"including":[197],"cross-core":[198],"communication;":[199],"label":[200],"(i.e.":[201],"data)":[202],"placement":[203],"dependent":[204],"times":[206],"runnables":[208],"Overall":[209],"gives":[212],"an":[213],"impression":[214],"current":[217],"state-of-practice":[218],"product":[221],"development,":[222],"serves":[224],"baseline":[226],"further":[228],"research.":[230]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}