{"id":"https://openalex.org/W2045740884","doi":"https://doi.org/10.1145/1629335.1629356","title":"Clock-driven distributed real-time implementation of endochronous synchronous programs","display_name":"Clock-driven distributed real-time implementation of endochronous synchronous programs","publication_year":2009,"publication_date":"2009-10-12","ids":{"openalex":"https://openalex.org/W2045740884","doi":"https://doi.org/10.1145/1629335.1629356","mag":"2045740884"},"language":"en","primary_location":{"id":"doi:10.1145/1629335.1629356","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629335.1629356","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh ACM international conference on Embedded software","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/A5072650318","display_name":"Dumitru Potop\u2010Butucaru","orcid":"https://orcid.org/0000-0003-3672-6156"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Dumitru Potop-Butucaru","raw_affiliation_strings":["INRIA, Rocquencourt, France","Inria Rocquencourt, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rocquencourt, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria Rocquencourt, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103266406","display_name":"Robert de Simone","orcid":"https://orcid.org/0000-0002-6844-6418"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Robert de Simone","raw_affiliation_strings":["INRIA, Sophia Antipolis, France","[INRIA-Sophia Antipolis, France]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"[INRIA-Sophia Antipolis, France]","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010993877","display_name":"Yves Sorel","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yves Sorel","raw_affiliation_strings":["INRIA, Rocquencourt, France","Inria Rocquencourt, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rocquencourt, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria Rocquencourt, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010968465","display_name":"Jean-Pierre Talpin","orcid":"https://orcid.org/0000-0002-0556-4265"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Talpin","raw_affiliation_strings":["INRIA, Rennes, France","Inria-Rennes, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria-Rennes, France#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072650318"],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":1.8764,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.85823791,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"147","last_page":"156"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","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/T10904","display_name":"Embedded Systems Design Techniques","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/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/T10054","display_name":"Parallel Computing and Optimization Techniques","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8557229042053223},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8019541501998901},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6919685006141663},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6173413991928101},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5709913969039917},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5060679316520691},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.49915361404418945},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4199427366256714},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3527877628803253},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3125656843185425}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8557229042053223},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8019541501998901},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6919685006141663},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6173413991928101},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5709913969039917},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5060679316520691},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.49915361404418945},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4199427366256714},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3527877628803253},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3125656843185425},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1629335.1629356","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629335.1629356","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh ACM international conference on Embedded software","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.2405","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2405","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.irisa.fr/prive/talpin/papers/emsoft09.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00485007v1","is_oa":false,"landing_page_url":"https://inria.hal.science/inria-00485007","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ⟨10.1145/1629335.1629356⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W595763191","https://openalex.org/W996759114","https://openalex.org/W1503973138","https://openalex.org/W1590180409","https://openalex.org/W1597755753","https://openalex.org/W1875492031","https://openalex.org/W1982480183","https://openalex.org/W2007527439","https://openalex.org/W2031381504","https://openalex.org/W2032758175","https://openalex.org/W2035115145","https://openalex.org/W2040789302","https://openalex.org/W2071229589","https://openalex.org/W2097080001","https://openalex.org/W2109488193","https://openalex.org/W2119237467","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2164877825","https://openalex.org/W2262960161","https://openalex.org/W2339714652","https://openalex.org/W3184710042","https://openalex.org/W4206455946","https://openalex.org/W4238586245","https://openalex.org/W4242915164","https://openalex.org/W6626015196","https://openalex.org/W6630104300","https://openalex.org/W6704171366"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W1590965489"],"abstract_inverted_index":{"An":[0],"important":[1],"step":[2],"in":[3,9],"model-based":[4],"embedded":[5],"system":[6],"design":[7],"consists":[8],"mapping":[10,23],"functional":[11],"specifications":[12],"and":[13,19,28,42,115,118,136],"their":[14,20],"tasks/operations":[15],"onto":[16],"execution":[17],"architectures":[18],"resources.":[21],"This":[22],"comprises":[24],"both":[25,105,134],"temporal":[26],"scheduling":[27,97],"spatial":[29],"allocation":[30],"aspects.":[31,138],"Therefore,":[32],"we":[33,63,142],"promote":[34],"an":[35,70],"approach":[36],"which":[37,81,125],"starts":[38],"from":[39,156],"loosely-timed/asynchronous":[40],"models":[41],"proceeds":[43],"by":[44],"refining":[45],"them":[46],"to":[47,160],"fully":[48],"synchronized":[49],"ones,":[50],"using":[51,95],"so-called":[52],"clock":[53,116],"calculus":[54],"techniques":[55],"under":[56],"the":[57,83,102,110,129],"architecture":[58],"constraints.":[59],"In":[60],"this":[61,140],"paper":[62],"provide":[64],"a":[65,144,165],"modeling":[66],"framework":[67],"based":[68],"on":[69],"intermediate":[71],"representation":[72],"format,":[73],"called":[74],"clocked":[75],"graphs,":[76],"for":[77,90,147],"polychronous":[78],"endochronous":[79],"specifications,":[80],"are":[82],"ones":[84],"that":[85],"can":[86],"be":[87],"safely":[88],"considered":[89],"deterministic":[91],"distributed":[92,148],"real-time":[93,149],"implementation":[94,131,150,163],"static":[96],"techniques.":[98],"Our":[99],"formalism":[100],"allows":[101],"specification":[103,159],"of":[104,109,151,168],"\"intrinsic\"":[106],"correctness":[107,120],"properties":[108],"specification,":[111],"such":[112,122],"as":[113,123],"causality":[114],"consistency,":[117],"\"external\"":[119],"properties,":[121],"endochrony,":[124],"ensure":[126],"compatibility":[127],"with":[128],"desired":[130],"architecture,":[132],"including":[133],"hardware":[135],"software":[137],"Using":[139],"formalism,":[141],"define":[143],"new":[145],"method":[146],"synchronous":[152,158],"specification.":[153],"The":[154],"move":[155],"(endochronous)":[157],"realtime":[161],"scheduled":[162],"is":[164],"seamless":[166],"sequence":[167],"model":[169],"decorations.":[170]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}