{"id":"https://openalex.org/W2062920789","doi":"https://doi.org/10.1017/s0269888914000150","title":"Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design","display_name":"Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design","publication_year":2014,"publication_date":"2014-09-01","ids":{"openalex":"https://openalex.org/W2062920789","doi":"https://doi.org/10.1017/s0269888914000150","mag":"2062920789"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888914000150","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888914000150","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","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/A5024261384","display_name":"Huafeng Yu","orcid":"https://orcid.org/0000-0003-0065-1340"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"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","US"],"is_corresponding":true,"raw_author_name":"Huafeng Yu","raw_affiliation_strings":["INRIA Rennes/IRISA, Campus de Beaulieu, 263, avenue du G\u00e9n\u00e9ral Leclerc, 35042 Rennes, France; e-mail:","Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems"],"affiliations":[{"raw_affiliation_string":"INRIA Rennes/IRISA, Campus de Beaulieu, 263, avenue du G\u00e9n\u00e9ral Leclerc, 35042 Rennes, France; e-mail:","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I4210133778"]},{"raw_affiliation_string":"Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems","institution_ids":["https://openalex.org/I4210145666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075127320","display_name":"Abdoulaye Gamati\u00e9","orcid":"https://orcid.org/0000-0002-8326-3257"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"id":"https://openalex.org/I174424907","display_name":"Laboratoire d'Informatique Fondamentale de Lille","ror":"https://ror.org/05rhg0h08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I174424907"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Abdoulaye Gamati\u00e9","raw_affiliation_strings":["CNRS/LIFL, INRIA Lille Nord Europe, 40 avenue Halley, 59650 Villeneuve d\u2019Ascq, France e-mail:","Laboratoire d'Informatique Fondamentale de Lille"],"affiliations":[{"raw_affiliation_string":"CNRS/LIFL, INRIA Lille Nord Europe, 40 avenue Halley, 59650 Villeneuve d\u2019Ascq, France e-mail:","institution_ids":["https://openalex.org/I4210138412","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire d'Informatique Fondamentale de Lille","institution_ids":["https://openalex.org/I174424907"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109055543","display_name":"\u00c9ric Rutten","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"\u00c9ric Rutten","raw_affiliation_strings":["INRIA Rh\u00f4ne-Alples, 655 avenue de l\u2019Europe, Montbonnot, 38334 Saint-Ismier cedex, France e-mail:","System architecture for reflective distributed computing environments"],"affiliations":[{"raw_affiliation_string":"INRIA Rh\u00f4ne-Alples, 655 avenue de l\u2019Europe, Montbonnot, 38334 Saint-Ismier cedex, France e-mail:","institution_ids":["https://openalex.org/I4210101348"]},{"raw_affiliation_string":"System architecture for reflective distributed computing environments","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111522416","display_name":"Jean\u2010Luc Dekeyser","orcid":null},"institutions":[{"id":"https://openalex.org/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"id":"https://openalex.org/I174424907","display_name":"Laboratoire d'Informatique Fondamentale de Lille","ror":"https://ror.org/05rhg0h08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I174424907"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Luc Dekeyser","raw_affiliation_strings":["USTL/LIFL, INRIA Lille Nord Europe, 40 avenue Halley, 59650 Villeneuve d\u2019Ascq, France e-mail:","Laboratoire d'Informatique Fondamentale de Lille"],"affiliations":[{"raw_affiliation_string":"USTL/LIFL, INRIA Lille Nord Europe, 40 avenue Halley, 59650 Villeneuve d\u2019Ascq, France e-mail:","institution_ids":["https://openalex.org/I4210138412"]},{"raw_affiliation_string":"Laboratoire d'Informatique Fondamentale de Lille","institution_ids":["https://openalex.org/I174424907"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5024261384"],"corresponding_institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I4210133778","https://openalex.org/I4210145666","https://openalex.org/I56067802"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.12231684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"29","issue":"4","first_page":"433","last_page":"451"},"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.9997000098228455,"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.9983999729156494,"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.8064196109771729},{"id":"https://openalex.org/keywords/reconfigurability","display_name":"Reconfigurability","score":0.7830694913864136},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5670087337493896},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5151287317276001},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.5006768703460693},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4480955898761749},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.44763290882110596},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4419752359390259},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42581695318222046},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.41597163677215576},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3495500981807709},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30329716205596924},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.2390017807483673},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1631021499633789}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8064196109771729},{"id":"https://openalex.org/C2780149590","wikidata":"https://www.wikidata.org/wiki/Q7302742","display_name":"Reconfigurability","level":2,"score":0.7830694913864136},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5670087337493896},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5151287317276001},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.5006768703460693},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4480955898761749},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.44763290882110596},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4419752359390259},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42581695318222046},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.41597163677215576},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3495500981807709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30329716205596924},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2390017807483673},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1631021499633789},{"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/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0269888914000150","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888914000150","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W35814949","https://openalex.org/W109702998","https://openalex.org/W646004425","https://openalex.org/W1532734816","https://openalex.org/W1546734197","https://openalex.org/W1568192366","https://openalex.org/W1572134249","https://openalex.org/W1891373149","https://openalex.org/W1998831985","https://openalex.org/W2000336625","https://openalex.org/W2010945517","https://openalex.org/W2012593910","https://openalex.org/W2016310205","https://openalex.org/W2053964642","https://openalex.org/W2066521614","https://openalex.org/W2099529102","https://openalex.org/W2103468672","https://openalex.org/W2116238698","https://openalex.org/W2120894407","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2129717347","https://openalex.org/W2162354236","https://openalex.org/W2169132374","https://openalex.org/W2169816952","https://openalex.org/W2216809960","https://openalex.org/W2628405439","https://openalex.org/W2742127623","https://openalex.org/W4285719527","https://openalex.org/W6601493919"],"related_works":["https://openalex.org/W2164325773","https://openalex.org/W1988219071","https://openalex.org/W2161097731","https://openalex.org/W2125802230","https://openalex.org/W2148906828","https://openalex.org/W1537332528","https://openalex.org/W1980059732","https://openalex.org/W2014446749","https://openalex.org/W2766863610","https://openalex.org/W4238101021"],"abstract_inverted_index":{"Abstract":[0],"System":[1],"adaptivity":[2,45],"is":[3,56,122],"increasingly":[4],"demanded":[5],"in":[6,11,31,50,64,125,149,167],"high-performance":[7],"embedded":[8,70],"systems,":[9],"particularly":[10],"multimedia":[12],"system-on-chip":[13],"(SoC),":[14],"owing":[15],"to":[16,36,59,84,111,127],"growing":[17],"quality-of-service":[18],"requirements.":[19],"This":[20,40,152],"paper":[21],"presents":[22],"a":[23,105],"reactive":[24],"control":[25],"model":[26,41,118,142],"that":[27],"has":[28,164],"been":[29,165],"introduced":[30],"Gaspard,":[32],"our":[33],"framework":[34],"dedicated":[35],"SoC":[37],"hardware/software":[38],"co-design.":[39],"aims":[42],"at":[43,88],"expressing":[44],"as":[46,48,141,147],"well":[47],"reconfigurability":[49],"systems":[51],"performing":[52],"data-intensive":[53,78],"computations.":[54],"It":[55],"generic":[57],"enough":[58],"be":[60,81,99],"used":[61],"for":[62,72,134],"description":[63],"the":[65,89,102,150,159],"different":[66,77],"parts":[67],"of":[68,75,94,104,107,116],"an":[69,129],"system,":[71],"example,":[73],"specification":[74],"how":[76,95],"algorithms":[79],"can":[80,98],"chosen":[82],"according":[83,110],"some":[85],"computation":[86],"modes":[87],"functional":[90],"level;":[91],"and":[92,144,158],"expression":[93],"hardware":[96],"components":[97],"selected":[100],"via":[101],"usage":[103],"library":[106],"intellectual":[108],"properties":[109],"execution":[112],"performances.":[113],"The":[114],"transformation":[115],"this":[117],"toward":[119],"synchronous":[120],"languages":[121],"also":[123],"presented,":[124],"order":[126],"allow":[128],"automatic":[130],"code":[131],"generation":[132],"usable":[133],"formal":[135],"verification,":[136],"based":[137,154],"on":[138,155],"techniques":[139],"such":[140],"checking":[143],"controller":[145],"synthesis,":[146],"illustrated":[148],"paper.":[151],"work,":[153],"Model-Driven":[156],"Engineering":[157],"standard":[160],"UML":[161],"MARTE":[162],"profile,":[163],"implemented":[166],"Gaspard.":[168]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-01-08T20:05:33.558190","created_date":"2025-10-10T00:00:00"}