{"id":"https://openalex.org/W4239625874","doi":"https://doi.org/10.1145/1926385.1926398","title":"Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol","display_name":"Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol","publication_year":2011,"publication_date":"2011-01-24","ids":{"openalex":"https://openalex.org/W4239625874","doi":"https://doi.org/10.1145/1926385.1926398"},"language":"en","primary_location":{"id":"doi:10.1145/1926385.1926398","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1926385.1926398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","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/A5033594262","display_name":"Martin D. Schwarz","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Martin D. Schwarz","raw_affiliation_strings":["Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080676686","display_name":"Helmut Seidl","orcid":"https://orcid.org/0000-0002-2135-1593"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Helmut Seidl","raw_affiliation_strings":["Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034095003","display_name":"Vesal Vojdani","orcid":"https://orcid.org/0000-0003-4336-7980"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vesal Vojdani","raw_affiliation_strings":["Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082037264","display_name":"Peter Lammich","orcid":"https://orcid.org/0000-0003-3576-0504"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Lammich","raw_affiliation_strings":["Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070224469","display_name":"Markus M\u00fcller-Olm","orcid":"https://orcid.org/0009-0001-2229-9651"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus M\u00fcller-Olm","raw_affiliation_strings":["Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033594262"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.96671824,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.80171763,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976999759674072,"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.8524835109710693},{"id":"https://openalex.org/keywords/priority-ceiling-protocol","display_name":"Priority ceiling protocol","score":0.8254554271697998},{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.7984252572059631},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5606224536895752},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5430225729942322},{"id":"https://openalex.org/keywords/ceiling","display_name":"Ceiling (cloud)","score":0.5235940217971802},{"id":"https://openalex.org/keywords/priority-inversion","display_name":"Priority inversion","score":0.49597200751304626},{"id":"https://openalex.org/keywords/priority-inheritance","display_name":"Priority inheritance","score":0.46814945340156555},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4608217775821686},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4576491415500641},{"id":"https://openalex.org/keywords/deadline-monotonic-scheduling","display_name":"Deadline-monotonic scheduling","score":0.4158882200717926},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33694887161254883},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.3026122450828552},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2636699378490448},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.24264177680015564},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.2049185335636139},{"id":"https://openalex.org/keywords/rate-monotonic-scheduling","display_name":"Rate-monotonic scheduling","score":0.17577272653579712}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8524835109710693},{"id":"https://openalex.org/C117420606","wikidata":"https://www.wikidata.org/wiki/Q386027","display_name":"Priority ceiling protocol","level":5,"score":0.8254554271697998},{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.7984252572059631},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5606224536895752},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5430225729942322},{"id":"https://openalex.org/C2777489069","wikidata":"https://www.wikidata.org/wiki/Q1589822","display_name":"Ceiling (cloud)","level":2,"score":0.5235940217971802},{"id":"https://openalex.org/C172828308","wikidata":"https://www.wikidata.org/wiki/Q520734","display_name":"Priority inversion","level":5,"score":0.49597200751304626},{"id":"https://openalex.org/C63160601","wikidata":"https://www.wikidata.org/wiki/Q253831","display_name":"Priority inheritance","level":5,"score":0.46814945340156555},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4608217775821686},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4576491415500641},{"id":"https://openalex.org/C76774629","wikidata":"https://www.wikidata.org/wiki/Q1146103","display_name":"Deadline-monotonic scheduling","level":5,"score":0.4158882200717926},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33694887161254883},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.3026122450828552},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2636699378490448},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.24264177680015564},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.2049185335636139},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.17577272653579712},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C153294291","wikidata":"https://www.wikidata.org/wiki/Q25261","display_name":"Meteorology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1926385.1926398","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1926385.1926398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W148396834","https://openalex.org/W1551108348","https://openalex.org/W1587449012","https://openalex.org/W1657819239","https://openalex.org/W2025806161","https://openalex.org/W2060345611","https://openalex.org/W2064352669","https://openalex.org/W2086558155","https://openalex.org/W2088017390","https://openalex.org/W2093100591","https://openalex.org/W2098151336","https://openalex.org/W2105257256","https://openalex.org/W2112381327","https://openalex.org/W2137422315","https://openalex.org/W2147248565","https://openalex.org/W2160293203","https://openalex.org/W2171537091","https://openalex.org/W2171834078","https://openalex.org/W4247858957","https://openalex.org/W4301322018","https://openalex.org/W6672397327"],"related_works":["https://openalex.org/W2364408853","https://openalex.org/W2372058405","https://openalex.org/W2322202043","https://openalex.org/W1591583623","https://openalex.org/W2385139534","https://openalex.org/W2186454171","https://openalex.org/W1496705289","https://openalex.org/W2383192442","https://openalex.org/W2001673593","https://openalex.org/W53305329"],"abstract_inverted_index":{"We":[0],"consider":[1],"programs":[2],"for":[3,31,58],"embedded":[4],"real-time":[5],"systems":[6],"which":[7],"use":[8],"priority-driven":[9],"preemptive":[10],"scheduling":[11],"with":[12],"task":[13],"priorities":[14,40],"adjusted":[15],"dynamically":[16],"according":[17],"to":[18,45,64],"the":[19],"immediate":[20],"ceiling":[21],"priority":[22],"protocol.":[23],"For":[24],"these":[25],"programs,":[26],"we":[27,53],"provide":[28],"static":[29],"analyses":[30,60],"detecting":[32],"data":[33],"races":[34],"between":[35],"tasks":[36],"running":[37],"at":[38],"different":[39],"as":[41,43],"well":[42],"methods":[44],"guarantee":[46],"transactional":[47],"execution":[48],"of":[49,72],"procedures.":[50],"Beyond":[51],"that,":[52],"demonstrate":[54],"how":[55],"general":[56],"techniques":[57],"value":[59],"can":[61],"be":[62],"adapted":[63],"this":[65],"setting":[66],"by":[67],"developing":[68],"a":[69],"precise":[70],"analysis":[71],"affine":[73],"equalities.":[74]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}