{"id":"https://openalex.org/W2020291837","doi":"https://doi.org/10.1145/1755888.1755899","title":"Semi-automatic derivation of timing models for WCET analysis","display_name":"Semi-automatic derivation of timing models for WCET analysis","publication_year":2010,"publication_date":"2010-04-13","ids":{"openalex":"https://openalex.org/W2020291837","doi":"https://doi.org/10.1145/1755888.1755899","mag":"2020291837"},"language":"en","primary_location":{"id":"doi:10.1145/1755888.1755899","doi":"https://doi.org/10.1145/1755888.1755899","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1755888.1755899","pdf_url":null,"source":{"id":"https://openalex.org/S7407087027","display_name":"ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5089134561","display_name":"Marc Schlickling","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210149230","display_name":"AbsInt (Germany)","ror":"https://ror.org/049gbsq65","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210149230"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marc Schlickling","raw_affiliation_strings":["Universit\u00e4t des Saarlandes / AbsInt Angewandte Informatik GmbH, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e4t des Saarlandes / AbsInt Angewandte Informatik GmbH, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210149230","https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044665383","display_name":"Markus Pister","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210149230","display_name":"AbsInt (Germany)","ror":"https://ror.org/049gbsq65","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210149230"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus Pister","raw_affiliation_strings":["Universit\u00e4t des Saarlandes / AbsInt Angewandte Informatik GmbH, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e4t des Saarlandes / AbsInt Angewandte Informatik GmbH, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210149230","https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4379,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.81757807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9818999767303467,"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.9818999767303467,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.01510000042617321,"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.0017000000225380063,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"worst-case execution time","score":0.9490000009536743},{"id":"https://openalex.org/keywords/timing-models","display_name":"timing models","score":0.8629999756813049},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.6159999966621399},{"id":"https://openalex.org/keywords/hardware-specification","display_name":"hardware specification","score":0.45399999618530273},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.6650000214576721},{"id":"https://openalex.org/keywords/hard-real-time-systems","display_name":"hard real-time systems","score":0.9620000123977661},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.9729999899864197},{"id":"https://openalex.org/keywords/timing-constraints","display_name":"timing constraints","score":0.4230000078678131}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7236424088478088}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1755888.1755899","doi":"https://doi.org/10.1145/1755888.1755899","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1755888.1755899","pdf_url":null,"source":{"id":"https://openalex.org/S7407087027","display_name":"ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313144","display_name":"ITEA","ror":"https://ror.org/04cfmv025"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W97710369","https://openalex.org/W1493655656","https://openalex.org/W1496310711","https://openalex.org/W1497049916","https://openalex.org/W1507495123","https://openalex.org/W1540110476","https://openalex.org/W1553894716","https://openalex.org/W1554118941","https://openalex.org/W1557311886","https://openalex.org/W1566056797","https://openalex.org/W1762252016","https://openalex.org/W1915593822","https://openalex.org/W1987553023","https://openalex.org/W2043100293","https://openalex.org/W2062066235","https://openalex.org/W2076285066","https://openalex.org/W2081810835","https://openalex.org/W2108024087","https://openalex.org/W2122045057","https://openalex.org/W2136223035","https://openalex.org/W2143846384","https://openalex.org/W2152630897","https://openalex.org/W2163529295","https://openalex.org/W2167834213","https://openalex.org/W2258695092","https://openalex.org/W2293624369","https://openalex.org/W2521415272","https://openalex.org/W2575007773","https://openalex.org/W2739649174","https://openalex.org/W2789876320","https://openalex.org/W6631228356"],"related_works":["https://openalex.org/W2136223035","https://openalex.org/W2152630897","https://openalex.org/W2167834213","https://openalex.org/W4416307193","https://openalex.org/W7099274360","https://openalex.org/W7165300216","https://openalex.org/W7159902957","https://openalex.org/W1562815101","https://openalex.org/W4410582690","https://openalex.org/W1520511168"],"abstract_inverted_index":{"Embedded":[0],"systems":[1,16,29],"are":[2,30,156,175],"widely":[3],"used":[4],"for":[5,64,80,125,198,248],"supporting":[6],"our":[7],"every":[8],"day":[9],"life.":[10],"In":[11],"the":[12,22,36,70,91,98,107,121,131,148,188,199,214,224,232,235,264,268,276],"area":[13],"of":[14,27,38,94,103,133,144,147,179,201,237,255,267,279],"safety-critical":[15,67],"human":[17,160],"life":[18],"often":[19],"depends":[20],"on":[21,90,130,141],"system's":[23],"correct":[24],"behavior.":[25],"Many":[26],"such":[28,65,192],"hard":[31,95],"real-time":[32,96],"systems,":[33,97],"so":[34],"that":[35,261],"notion":[37],"correctness":[39],"not":[40,230],"only":[41,221],"means":[42],"functional":[43,190],"correctness.":[44],"They":[45],"additionally":[46],"have":[47,118],"to":[48,87,110,207,263,284],"obey":[49],"stringent":[50],"timing":[51,92,145,154,203,252,280],"constraints,":[52],"i.e.":[53],"timely":[54],"task":[55,105],"completion":[56],"under":[57],"all":[58,195],"circumstances":[59],"is":[60,69,78,138,165,216],"essential.":[61],"An":[62],"example":[63],"a":[66,134,166,202,246],"system":[68,108,173],"flight":[71],"control":[72],"computer":[73],"in":[74,106,259],"an":[75],"airplane,":[76],"which":[77],"responsible":[79],"stability,":[81],"attitude":[82],"and":[83,115,150,168,210],"path":[84],"control.In":[85],"order":[86],"derive":[88],"guarantees":[89],"behavior":[93],"worst-case":[99],"execution":[100],"time":[101,278],"(WCET)":[102],"each":[104],"has":[109],"be":[111],"determined.":[112],"Saarland":[113],"University":[114],"AbsInt":[116],"GmbH":[117],"successfully":[119],"developed":[120],"aiT":[122,269],"WCET":[123,132,270],"analyzer":[124],"computing":[126],"safe":[127],"upper":[128],"bounds":[129],"task.":[135],"The":[136],"computation":[137],"mainly":[139],"based":[140],"abstract":[142],"interpretation":[143],"models":[146,155,253,281],"processor":[149,225],"its":[151],"periphery.":[152],"Such":[153],"currently":[157],"hand-crafted":[158],"by":[159],"experts.":[161],"Therefore":[162],"their":[163,208],"implementation":[164,238],"time-consuming":[167],"error-prone":[169],"process.Modern":[170],"processors":[171],"or":[172,185],"controllers":[174],"automatically":[176],"synthesized":[177],"out":[178,254],"formal":[180,256],"hardware":[181,257],"specifications":[182,193,258],"like":[183],"VHDL":[184,260],"Verilog.":[186],"Besides":[187],"system'":[189],"behavior,":[191],"provide":[194],"information":[196],"needed":[197],"creation":[200,277],"model.":[204],"But":[205],"due":[206],"size":[209],"complexity,":[211],"manually":[212],"examining":[213],"sources":[215],"even":[217],"more":[218],"complex":[219],"than":[220],"looking":[222],"at":[223],"manuals.":[226],"Moreover,":[227],"this":[228,241,243],"would":[229],"reduce":[231,275],"effort":[233],"nor":[234],"probability":[236],"errors.To":[239],"face":[240],"problem,":[242],"paper":[244],"proposes":[245],"method":[247],"semi-automatically":[249],"deriving":[250],"suitable":[251],"fit":[262],"tool":[265],"chain":[266],"analyzer.":[271],"By":[272],"this,":[273],"we":[274],"from":[282],"months":[283],"weeks.":[285]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}