{"id":"https://openalex.org/W2051845868","doi":"https://doi.org/10.1109/tii.2011.2172448","title":"Transparent Synchronization Protocols for Compositional Real-Time Systems","display_name":"Transparent Synchronization Protocols for Compositional Real-Time Systems","publication_year":2011,"publication_date":"2011-10-18","ids":{"openalex":"https://openalex.org/W2051845868","doi":"https://doi.org/10.1109/tii.2011.2172448","mag":"2051845868"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2011.2172448","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2011.2172448","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-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/A5066558996","display_name":"Martijn M. H. P. van den Heuvel","orcid":"https://orcid.org/0000-0002-8220-5039"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Martijn M. H. P. van den Heuvel","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhovan University of Technology, Eindhoven, Netherlands","[Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhovan University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"[Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands]","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080745161","display_name":"Reinder J. Bril","orcid":"https://orcid.org/0000-0001-6234-5117"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Reinder J. Bril","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhovan University of Technology, Eindhoven, Netherlands","[Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhovan University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"[Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands]","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111437816","display_name":"Johan J. Lukkien","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Johan J. Lukkien","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhovan University of Technology, Eindhoven, Netherlands","[Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhovan University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"[Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands]","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":3.5409,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93376048,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"8","issue":"2","first_page":"322","last_page":"336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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.9904999732971191,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9815000295639038,"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/computer-science","display_name":"Computer science","score":0.846045970916748},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6518610119819641},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5930250287055969},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.5018351078033447},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.4961634576320648},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.47159871459007263},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4154585301876068},{"id":"https://openalex.org/keywords/data-synchronization","display_name":"Data synchronization","score":0.41004323959350586},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3930969536304474},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3301406502723694}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.846045970916748},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6518610119819641},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5930250287055969},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.5018351078033447},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.4961634576320648},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.47159871459007263},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4154585301876068},{"id":"https://openalex.org/C108734733","wikidata":"https://www.wikidata.org/wiki/Q1172333","display_name":"Data synchronization","level":3,"score":0.41004323959350586},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3930969536304474},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3301406502723694},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tii.2011.2172448","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2011.2172448","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/a3fa746e-01e7-4ff5-8028-ba8ee3c6e4ba","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/a3fa746e-01e7-4ff5-8028-ba8ee3c6e4ba","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Heuvel, van den, M M H P, Bril, R J & Lukkien, J J 2012, 'Transparent synchronization protocols for compositional real-time systems', IEEE Transactions on Industrial Informatics, vol. 8, no. 2, pp. 322-336. https://doi.org/10.1109/TII.2011.2172448","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/a3fa746e-01e7-4ff5-8028-ba8ee3c6e4ba","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/a3fa746e-01e7-4ff5-8028-ba8ee3c6e4ba","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Industrial Informatics, 8(2), 322 - 336. IEEE Computer Society","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W640357397","https://openalex.org/W1557662086","https://openalex.org/W1567406246","https://openalex.org/W1571748993","https://openalex.org/W1577316212","https://openalex.org/W1921746208","https://openalex.org/W1927124720","https://openalex.org/W1964142318","https://openalex.org/W1971347840","https://openalex.org/W1989434935","https://openalex.org/W2018770409","https://openalex.org/W2093100591","https://openalex.org/W2097654096","https://openalex.org/W2098664955","https://openalex.org/W2103133831","https://openalex.org/W2106809227","https://openalex.org/W2112453420","https://openalex.org/W2121784623","https://openalex.org/W2123497051","https://openalex.org/W2132087037","https://openalex.org/W2132860735","https://openalex.org/W2133852704","https://openalex.org/W2134935059","https://openalex.org/W2135472057","https://openalex.org/W2140936050","https://openalex.org/W2141849939","https://openalex.org/W2143993543","https://openalex.org/W2144864494","https://openalex.org/W2151596238","https://openalex.org/W2156122183","https://openalex.org/W2156542552","https://openalex.org/W2160293203","https://openalex.org/W2160395430","https://openalex.org/W2160837673","https://openalex.org/W2162666438","https://openalex.org/W2163285965","https://openalex.org/W2164164245","https://openalex.org/W2166718050","https://openalex.org/W2167453219","https://openalex.org/W2168902131","https://openalex.org/W2170600460","https://openalex.org/W2292937252","https://openalex.org/W2570030068","https://openalex.org/W3023751912","https://openalex.org/W4230535538","https://openalex.org/W4250343619","https://openalex.org/W4250523247","https://openalex.org/W4285719527","https://openalex.org/W6620922599","https://openalex.org/W6634208488","https://openalex.org/W7037222148"],"related_works":["https://openalex.org/W2160425906","https://openalex.org/W1882733036","https://openalex.org/W2131630752","https://openalex.org/W1485627940","https://openalex.org/W2371206352","https://openalex.org/W2546696010","https://openalex.org/W1992741870","https://openalex.org/W2109998134","https://openalex.org/W2108938726","https://openalex.org/W1598943142"],"abstract_inverted_index":{"Hierarchical":[0],"scheduling":[1],"frameworks":[2],"(HSFs)":[3],"provide":[4],"means":[5,132],"for":[6,37,171,207],"composing":[7],"complex":[8],"real-time":[9,60],"systems":[10],"from":[11],"well-defined,":[12],"independently":[13],"analyzed":[14],"components.":[15],"To":[16],"support":[17],"resource":[18,30],"sharing":[19],"in":[20,57,154],"two-level":[21],"HSFs,":[22],"three":[23,54],"synchronization":[24,64,124,146,176],"protocols":[25,55],"based":[26,76,111],"on":[27,77,92,112,159],"the":[28,85,113,117,155,160,172,200],"stack":[29],"policy":[31],"(SRP)":[32],"have":[33],"recently":[34],"been":[35],"presented":[36],"single-processor":[38],"execution":[39,101],"platforms,":[40],"i.e.,":[41],"HSRP,":[42],"SIRAP,":[43],"and":[44,96,162,213],"BROE.":[45,214],"This":[46],"paper":[47],"presents":[48],"a":[49,71,90,93,134,175],"transparent":[50],"implementation":[51,163,192,201],"of":[52,116,125,133,165,174,193],"these":[53,150,205],"side-by-side":[56],"an":[58,97,190],"HSF-enabled":[59],"operating":[61],"system.":[62],"Transparent":[63],"interfaces":[65],"make":[66],"it":[67],"possible":[68],"to":[69,88,103],"select":[70],"protocol":[72,177],"during":[73,178],"integration":[74],"time":[75,102,127,130],"its":[78],"relative":[79],"strengths.":[80],"A":[81],"timing":[82],"interface":[83],"describes":[84],"required":[86],"budget":[87,115],"execute":[89],"component":[91],"shared":[94,105],"platform":[95],"accessor's":[98],"maximum":[99],"critical-section":[100],"global":[104,129],"resources.":[106],"These":[107],"resources":[108],"are":[109],"arbitrated":[110],"available":[114],"accessing":[118],"task.":[119],"We":[120,197],"enable":[121],"this":[122],"explicit":[123],"virtual":[126],"with":[128],"by":[131,144,204],"novel":[135],"virtual-timer":[136],"mechanism.":[137,196],"Moreover,":[138],"we":[139,168,182],"investigate":[140],"system":[141,156,179],"overheads":[142,164],"caused":[143,203],"each":[145,166],"protocol,":[147,167],"so":[148],"that":[149,184],"can":[151],"be":[152],"included":[153],"analysis.":[157],"Based":[158],"analytical":[161],"present":[169],"guidelines":[170],"selection":[173],"integration.":[180],"Finally,":[181],"show":[183],"unknown":[185],"task-arrival":[186],"times":[187],"considerably":[188],"complicate":[189],"efficient":[191],"SIRAP's":[194],"self-suspension":[195],"briefly":[198],"discuss":[199],"complexity":[202],"arrivals":[206],"bandwidth-preserving":[208],"servers,":[209],"e.g.,":[210],"deferrable":[211],"servers":[212]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}