{"id":"https://openalex.org/W2122282117","doi":"https://doi.org/10.1145/1254766.1254787","title":"Safe worst-case execution time analysis by abstract interpretation of executable code","display_name":"Safe worst-case execution time analysis by abstract interpretation of executable code","publication_year":2007,"publication_date":"2007-06-13","ids":{"openalex":"https://openalex.org/W2122282117","doi":"https://doi.org/10.1145/1254766.1254787","mag":"2122282117"},"language":"en","primary_location":{"id":"doi:10.1145/1254766.1254787","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1254766.1254787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems","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/A5035201097","display_name":"Daniel Kaestner","orcid":null},"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"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Daniel Kaestner","raw_affiliation_strings":["AbsInt GmbH, Saarbruecken, Germany"],"affiliations":[{"raw_affiliation_string":"AbsInt GmbH, Saarbruecken, Germany","institution_ids":["https://openalex.org/I4210149230"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035201097"],"corresponding_institution_ids":["https://openalex.org/I4210149230"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12625509,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987999796867371,"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.9987999796867371,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9958000183105469,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922000169754028,"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/executable","display_name":"Executable","score":0.8635050058364868},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8607521057128906},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.8594849109649658},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6562928557395935},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.5929536819458008},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5646002292633057},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5640267133712769},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5585675835609436},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5499047636985779},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5489514470100403},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.529982328414917},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5141051411628723},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4807419776916504},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.452256441116333},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4291017949581146},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.42361265420913696},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.418314665555954},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.34606698155403137},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.26319438219070435},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.25648045539855957}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8635050058364868},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8607521057128906},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.8594849109649658},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6562928557395935},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.5929536819458008},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5646002292633057},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5640267133712769},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5585675835609436},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5499047636985779},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5489514470100403},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.529982328414917},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5141051411628723},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4807419776916504},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.452256441116333},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4291017949581146},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.42361265420913696},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.418314665555954},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.34606698155403137},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.26319438219070435},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.25648045539855957},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1254766.1254787","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1254766.1254787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3152373127","https://openalex.org/W345638404","https://openalex.org/W3120011499","https://openalex.org/W2019299443","https://openalex.org/W2122282117","https://openalex.org/W2099473014","https://openalex.org/W2751940653","https://openalex.org/W2117103037","https://openalex.org/W2545238856","https://openalex.org/W51612467"],"abstract_inverted_index":{"To":[0],"verify":[1],"that":[2,49,124],"a":[3,43,105],"safety-critical":[4,191],"application":[5],"meets":[6],"all":[7,54,58,177],"requirements":[8],"lies":[9],"in":[10,84,145,186],"the":[11,14,34,76,93,110,137,151,168,172,187,194],"responsibility":[12],"of":[13,36,72,78,98,109,112,139,150,189],"system":[15],"designers.":[16],"Classical":[17],"software":[18,114],"validation":[19],"methods":[20],"like":[21],"code":[22,140,173],"review":[23],"and":[24,30,115,128,161,174],"testing":[25],"with":[26,57],"debugging":[27],"are":[28,165],"expensive":[29],"cannot":[31],"really":[32],"guarantee":[33],"absence":[35],"errors.":[37],"In":[38],"constrast,":[39],"abstract":[40,126],"interpretation":[41,127],"provides":[42],"methodology":[44],"for":[45,53,136,176,193],"static":[46,61],"program":[47,55],"analysis":[48],"yields":[50],"statements":[51],"valid":[52],"runs":[56],"inputs.":[59],"Employing":[60],"analyzers":[62],"is":[63,75,104,154,180],"thus":[64],"orthogonal":[65],"to":[66,132,170],"classical":[67],"testing.":[68],"A":[69],"possible":[70],"cause":[71],"catastrophic":[73],"failure":[74],"violation":[77],"timing":[79],"constraints.":[80],"Recent":[81],"trends,":[82],"e.g.":[83],"automotive":[85],"industries":[86],"(X-by-wire,":[87],"time-triggered":[88],"protocols)":[89],"require":[90],"knowledge":[91],"on":[92,120],"Worst-Case":[94],"Execution":[95],"Time":[96],"(WCET)":[97],"each":[99],"task.":[100],"Yet":[101],"WCET":[102],"determination":[103],"difficult":[106],"problem":[107],"because":[108],"characteristics":[111],"modern":[113],"hardware.":[116],"This":[117],"talk":[118],"focuses":[119],"AbsInt's":[121],"tool":[122],"aiT":[123,179],"combines":[125],"integer":[129],"linear":[130],"programming":[131],"determine":[133],"upper":[134],"bounds":[135],"WCETs":[138],"snippets":[141],"given":[142],"as":[143],"routines":[144],"executables.":[146],"The":[147],"hardware":[148],"architecture":[149],"underlying":[152],"processor":[153],"precisely":[155],"taken":[156],"into":[157],"account,":[158],"including":[159],"cache":[160],"pipeline":[162],"behavior.":[163],"Bounds":[164],"determined":[166],"without":[167],"need":[169],"change":[171],"hold":[175],"executions.":[178],"used":[181],"among":[182],"others":[183],"by":[184],"Airbus":[185],"development":[188],"various":[190],"applications":[192],"A380.":[195]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}