{"id":"https://openalex.org/W2474855945","doi":null,"title":"Correct Transformation of High-Level Models into Time-Triggered Implementations","display_name":"Correct Transformation of High-Level Models into Time-Triggered Implementations","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2474855945","mag":"2474855945"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.tind.io:218459","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/218459","pdf_url":"https://infoscience.epfl.ch/record/218459/files/main.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/record/218459/files/main.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016884954","display_name":"Hela Guesmi","orcid":"https://orcid.org/0009-0007-2881-0100","observed_orcids":["https://orcid.org/0009-0007-2881-0100"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hela Guesmi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089849259","display_name":"Belgacem Ben H\u00e9dia","orcid":"https://orcid.org/0000-0003-1367-8542","observed_orcids":["https://orcid.org/0000-0003-1367-8542"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Belgacem Ben H\u00e9dia","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-1367-8542","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030465732","display_name":"Simon Bliudze","orcid":"https://orcid.org/0000-0002-7900-5271","observed_orcids":["https://orcid.org/0000-0002-7900-5271"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Simon Bliudze","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7900-5271","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109183304","display_name":"Saddek Bensalem","orcid":"https://orcid.org/0000-0002-5753-2126","observed_orcids":["https://orcid.org/0000-0002-5753-2126"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saddek Bensalem","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047663485","display_name":"Briag Le Nabec","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Briag Lenabec","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5078263499","display_name":"Mathieu Jan","orcid":"https://orcid.org/0000-0002-3016-8109","observed_orcids":["https://orcid.org/0000-0002-3016-8109"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mathieu Jan","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3016-8109","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9717000126838684,"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.9717000126838684,"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.0142000000923872,"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.00570000009611249,"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/time-triggered-systems","display_name":"time-triggered systems","score":0.8870000243186951},{"id":"https://openalex.org/keywords/pharo","display_name":"Pharo","score":0.9779999852180481},{"id":"https://openalex.org/keywords/real-time-operating-systems","display_name":"real-time operating systems","score":0.7229999899864197},{"id":"https://openalex.org/keywords/semantics-preserving-transformations","display_name":"semantics-preserving transformations","score":0.746999979019165},{"id":"https://openalex.org/keywords/safety-critical-real-time-systems","display_name":"safety-critical real-time systems","score":0.8090000152587891},{"id":"https://openalex.org/keywords/hard-real-time-constraints","display_name":"hard real-time constraints","score":0.8090000152587891},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.40799999237060547}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.790595531463623},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.728943943977356},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6657121777534485},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6017819046974182},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5648426413536072},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5000879764556885},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.49772003293037415},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4883701205253601},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4565259516239166},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4480286240577698},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.43890804052352905},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.43572473526000977},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4341726303100586},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4271353483200073},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4193051755428314},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38744157552719116},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24510404467582703},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2184256911277771},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.08531314134597778},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08292913436889648},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:infoscience.tind.io:218459","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/218459","pdf_url":"https://infoscience.epfl.ch/record/218459/files/main.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"report"},{"id":"pmh:oai:infoscience.epfl.ch:218459","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/218459","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"mag:2474855945","doi":null,"is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/218459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:218459","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/218459","pdf_url":"https://infoscience.epfl.ch/record/218459/files/main.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2474855945.pdf","grobid_xml":"https://content.openalex.org/works/W2474855945.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W1998717618"],"related_works":["https://openalex.org/W2344834425","https://openalex.org/W2343273466","https://openalex.org/W2749531658","https://openalex.org/W2344524767","https://openalex.org/W2343299443","https://openalex.org/W7098321629","https://openalex.org/W4298151979","https://openalex.org/W2765829929","https://openalex.org/W1713434201","https://openalex.org/W2113941259"],"abstract_inverted_index":{"A":[0],"number":[1],"of":[2,12,15,28,42,72,92,110,121],"component-based":[3],"frameworks":[4,34,105],"have":[5],"been":[6,155],"proposed":[7],"to":[8,23,49,144],"tackle":[9],"the":[10,13,53,67,82,87,93,107,122,149],"complexity":[11],"design":[14,33,104,109],"concurrent":[16],"software":[17],"and":[18,26,89,161],"systems":[19],"and,":[20],"in":[21,77],"particular,":[22,78],"allow":[24],"modelling":[25],"simulation":[27],"critical":[29],"embedded":[30],"applications.":[31],"Such":[32],"usually":[35],"provide":[36,102],"a":[37,70,165],"capability":[38],"for":[39,52],"automatic":[40,137],"generation":[41],"C++":[43],"or":[44],"Java":[45],"code,":[46],"which":[47],"has":[48,154],"be":[50],"compiled":[51],"selected":[54],"target":[55],"platform.":[56],"Thus,":[57],"guaranteeing":[58],"hard":[59],"real-time":[60,113],"constraints":[61],"is,":[62],"at":[63],"best,":[64],"difficult.":[65],"On":[66],"other":[68],"hand,":[69],"variety":[71],"Real-Time":[73],"Operating":[74],"System":[75],"(RTOS),":[76],"those":[79],"based":[80],"on":[81],"Time-Triggered":[83],"(TT)":[84],"paradigm,":[85],"guarantee":[86],"temporal":[88],"behavioural":[90],"determinism":[91],"executed":[94],"software.":[95],"However,":[96],"such":[97],"TT-based":[98],"RTOS":[99],"do":[100],"not":[101],"high-level":[103,131],"enabling":[106],"scalable":[108],"complex":[111],"safety-critical":[112],"systems.":[114],"In":[115],"this":[116],"report,":[117],"we":[118,157],"combine":[119],"advantages":[120],"two":[123],"approaches,":[124],"by":[125],"deriving":[126],"correct-by-construction":[127],"TT":[128,150],"implementations":[129],"from":[130,140],"componentised":[132],"models.":[133],"We":[134],"present":[135],"an":[136],"semantics-preserving":[138],"transformation":[139,153],"RT-BIP":[141],"(Real-Time":[142],"Behaviour-Interaction-Priority)":[143],"PharOS\u2014a":[145],"safety-oriented":[146],"RTOS,":[147],"implementing":[148],"paradigm.":[151],"The":[152],"implemented;":[156],"prove":[158],"its":[159],"correctness":[160],"illustrate":[162],"it":[163],"with":[164],"realistic":[166],"case-study.":[167]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-07-22T00:00:00"}