{"id":"https://openalex.org/W2344834425","doi":"https://doi.org/10.1109/rtas.2016.7461354","title":"Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations","display_name":"Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W2344834425","doi":"https://doi.org/10.1109/rtas.2016.7461354","mag":"2344834425"},"language":"en","primary_location":{"id":"doi:10.1109/rtas.2016.7461354","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461354","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/221959","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016884954","display_name":"Hela Guesmi","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hela Guesmi","raw_affiliation_strings":["CEA, LIST, Gif-sur-Yvette, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEA, LIST, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089849259","display_name":"Belgacem Ben H\u00e9dia","orcid":"https://orcid.org/0000-0003-1367-8542"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Belgacem Hedia","raw_affiliation_strings":["CEA, LIST, Gif-sur-Yvette, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEA, LIST, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078263499","display_name":"Mathieu Jan","orcid":"https://orcid.org/0000-0002-3016-8109"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mathieu Jan","raw_affiliation_strings":["CEA, LIST, Gif-sur-Yvette, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEA, LIST, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075269864","display_name":"Simon Bliudzey","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Simon Bliudzey","raw_affiliation_strings":["EPFL IC IIF RiSD, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL IC IIF RiSD, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053748090","display_name":"Saddek Bensalemz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Saddek Bensalemz","raw_affiliation_strings":["Verimag, Gieres, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Verimag, Gieres, France","institution_ids":["https://openalex.org/I4210156361"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9979000091552734,"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.9979000091552734,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9908000230789185,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9889000058174133,"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.8358606100082397},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.669762372970581},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6069285273551941},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.5518786907196045},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.530383288860321},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4954906702041626},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4940107464790344},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47255513072013855},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4662816524505615},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46042725443840027},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4202868342399597},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36320960521698},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3228563666343689},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15671390295028687},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0859173834323883}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8358606100082397},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.669762372970581},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6069285273551941},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.5518786907196045},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.530383288860321},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4954906702041626},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4940107464790344},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47255513072013855},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4662816524505615},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46042725443840027},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4202868342399597},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36320960521698},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3228563666343689},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15671390295028687},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0859173834323883},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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":"doi:10.1109/rtas.2016.7461354","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461354","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:221959","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/221959","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,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"pmh:oai:infoscience.tind.io:221959","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/130078","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,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"conference proceedings"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:221959","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/221959","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,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2152523476","https://openalex.org/W2140373800","https://openalex.org/W2062099326","https://openalex.org/W2125523438","https://openalex.org/W2619396699","https://openalex.org/W2101817659","https://openalex.org/W3143921161","https://openalex.org/W4206644527","https://openalex.org/W2621956060","https://openalex.org/W4210596147"],"abstract_inverted_index":{"Developing":[0],"embedded":[1,47],"real-time":[2,65,129,154],"systems":[3,20],"based":[4,96,144,194,226],"on":[5,73,97,145,195,227],"the":[6,15,22,28,31,36,42,74,83,98,103,109,123,146,158,191,196,243,249,253,258,263],"TT":[7,159,170,197,228,254],"paradigm":[8],"is":[9,136,242,289],"a":[10,86,139,152,204,211,216],"challenging":[11],"task":[12],"due":[13],"to":[14,24,58,137,223,272,284],"increasing":[16],"complexity":[17],"of":[18,63,76,88,108,126,133,245],"such":[19],"and":[21,35,61,105,276],"necessity":[23],"manage,":[25],"already":[26,290],"in":[27,56,93,203,235,266],"programming":[29],"model,":[30],"fine-grained":[32],"temporal":[33,43,104],"constraints":[34],"low-level":[37],"communication":[38,229],"primitives":[39],"imposed":[40],"by":[41,167,257],"firewall":[44],"abstraction.":[45],"In":[46],"systems,":[48],"high-level":[49,119,140,173],"component-based":[50,141],"design":[51,62,120,125,142],"approaches":[52],"have":[53],"been":[54],"proposed":[55],"order":[57],"allow":[59],"specification":[60],"complex":[64,127],"systems.":[66,130],"However,":[67,112],"their":[68,164],"final":[69],"implementations":[70,171],"mostly":[71],"rely":[72],"generation":[75],"code":[77],"for":[78,190],"generic":[79,212],"execution":[80,155,198],"platforms.":[81],"On":[82],"other":[84],"hand,":[85],"variety":[87],"Real-Time":[89],"Operating":[90],"System":[91],"(RTOS),":[92],"particular":[94],"when":[95],"Time-Triggered":[99],"(TT)":[100],"paradigm,":[101],"guarantee":[102],"behavioural":[106],"determinism":[107],"executed":[110],"software.":[111],"these":[113,274],"TT-based":[114],"RTOS":[115],"do":[116],"not":[117],"provide":[118],"frameworks":[121],"enabling":[122],"scalable":[124],"safety-critical":[128],"The":[131,200,207,238],"goal":[132],"our":[134],"work":[135],"couple":[138],"approach":[143],"RT-BIP":[147,186,213],"(Real-Time":[148],"Behaviour-Interaction-Priority)":[149],"framework":[150],"with":[151],"safety-oriented":[153],"platform,":[156],"implementing":[157],"approach.":[160],"Thus,":[161],"we":[162,179],"combine":[163],"complementary":[165],"advantages,":[166],"deriving":[168],"correct-by-construction":[169],"from":[172,185],"componentised":[174],"models.":[175],"To":[176],"this":[177,246,268,279],"end,":[178],"propose":[180,270],"an":[181,224],"automatic":[182],"transformation":[183,280,288],"process":[184,201],"models":[187],"into":[188,215,252],"applications":[189],"target":[192],"platform":[193],"model.":[199],"consists":[202],"two-step":[205],"transformation.":[206],"first":[208],"step":[209,232],"transforms":[210,248],"model":[214,251],"restricted":[217],"one,":[218],"which":[219,241],"lends":[220],"itself":[221],"well":[222],"implementation":[225,255],"primitives.":[230],"This":[231,287],"was":[233],"presented":[234],"previous":[236],"work.":[237],"second":[239],"step,":[240],"subject":[244],"paper,":[247],"resulting":[250],"provided":[256],"PharOS":[259],"RTOS.":[260],"We":[261],"identify":[262],"key":[264],"difficulties":[265,275],"defining":[267],"transformation,":[269],"solutions":[271],"address":[273],"study":[277],"how":[278],"can":[281],"be":[282,285],"proven":[283],"semantics-preserving.":[286],"partially":[291],"implemented.":[292]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}