{"id":"https://openalex.org/W3138305788","doi":"https://doi.org/10.3103/s0146411622070021","title":"Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies","display_name":"Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies","publication_year":2022,"publication_date":"2022-12-01","ids":{"openalex":"https://openalex.org/W3138305788","doi":"https://doi.org/10.3103/s0146411622070021","mag":"3138305788"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411622070021","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411622070021","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","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/A5041596914","display_name":"Fr\u00e9d\u00e9ric Dadeau","orcid":"https://orcid.org/0000-0003-0794-5819"},"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/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"F. Dadeau","raw_affiliation_strings":["University Bourgogne Franche-Comt\u00e9, CNRS, FEMTO-ST Institute, 25030, Besan\u04abon, Cedex, France","FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0003-0794-5819","affiliations":[{"raw_affiliation_string":"University Bourgogne Franche-Comt\u00e9, CNRS, FEMTO-ST Institute, 25030, Besan\u04abon, Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I4210118524"]},{"raw_affiliation_string":"FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)","institution_ids":["https://openalex.org/I2802759292"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036910757","display_name":"Jean-Philippe Gros","orcid":"https://orcid.org/0000-0002-5159-9442"},"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/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"J.-Ph. Gros","raw_affiliation_strings":["University Bourgogne Franche-Comt\u00e9, CNRS, FEMTO-ST Institute, 25030, Besan\u04abon, Cedex, France","FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0002-5159-9442","affiliations":[{"raw_affiliation_string":"University Bourgogne Franche-Comt\u00e9, CNRS, FEMTO-ST Institute, 25030, Besan\u04abon, Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I4210118524"]},{"raw_affiliation_string":"FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)","institution_ids":["https://openalex.org/I2802759292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070920431","display_name":"Olga Kouchnarenko","orcid":"https://orcid.org/0000-0003-1482-9015"},"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/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"O. Kouchnarenko","raw_affiliation_strings":["University Bourgogne Franche-Comt\u00e9, CNRS, FEMTO-ST Institute, 25030, Besan\u04abon, Cedex, France","FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0003-1482-9015","affiliations":[{"raw_affiliation_string":"University Bourgogne Franche-Comt\u00e9, CNRS, FEMTO-ST Institute, 25030, Besan\u04abon, Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I4210118524"]},{"raw_affiliation_string":"FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)","institution_ids":["https://openalex.org/I2802759292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036910757","https://openalex.org/A5041596914","https://openalex.org/A5070920431"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I4210118524"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00319311,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"56","issue":"7","first_page":"606","last_page":"622"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9887999892234802,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9842000007629395,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8763679265975952},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.8717721700668335},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.7995450496673584},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5946002006530762},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5901588797569275},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5794013142585754},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4527374804019928},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4490344524383545},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.44322267174720764},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.44162434339523315},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4165263772010803},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4123699963092804},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.11367115378379822},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.11137759685516357}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8763679265975952},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.8717721700668335},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.7995450496673584},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5946002006530762},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5901588797569275},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5794013142585754},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4527374804019928},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4490344524383545},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.44322267174720764},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.44162434339523315},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4165263772010803},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4123699963092804},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.11367115378379822},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.11137759685516357},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3103/s0146411622070021","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411622070021","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04257419v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04257419","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":"Automatic Control and Computer Sciences, 2022, 56 (7), pp.606 - 622. ⟨10.3103/S0146411622070021⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.5299999713897705,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W254102496","https://openalex.org/W1568495775","https://openalex.org/W1569308180","https://openalex.org/W1782843833","https://openalex.org/W1947529348","https://openalex.org/W2006263080","https://openalex.org/W2015123066","https://openalex.org/W2059854426","https://openalex.org/W2095683370","https://openalex.org/W2113560220","https://openalex.org/W2123604449","https://openalex.org/W2125500714","https://openalex.org/W2142486130","https://openalex.org/W2144956041","https://openalex.org/W2148106163","https://openalex.org/W2154782380","https://openalex.org/W2159272484","https://openalex.org/W2207666193","https://openalex.org/W2261569375","https://openalex.org/W2295289027","https://openalex.org/W2783187656","https://openalex.org/W2800102471","https://openalex.org/W2883105019","https://openalex.org/W2899987233","https://openalex.org/W2901644511","https://openalex.org/W3002521579","https://openalex.org/W3018492106","https://openalex.org/W3105520912","https://openalex.org/W4238023657","https://openalex.org/W4248938475"],"related_works":["https://openalex.org/W1981002473","https://openalex.org/W2357657342","https://openalex.org/W2153432761","https://openalex.org/W1520538828","https://openalex.org/W1522293843","https://openalex.org/W2167645963","https://openalex.org/W129772185","https://openalex.org/W4287064674","https://openalex.org/W3188573563","https://openalex.org/W3201246199"],"abstract_inverted_index":{"Abstract":[0],"Self-adaptation":[1],"of":[2,10,22,48,56,129,151,195,225,227],"complex":[3],"systems":[4,17],"is":[5,43,145,209],"a":[6,46,53,112,148,190],"very":[7],"active":[8],"domain":[9],"research":[11],"with":[12,64],"numerous":[13],"application":[14],"domains.":[15],"Component":[16],"are":[18,90],"designed":[19,44],"as":[20,45],"sets":[21],"components":[23],"that":[24,50],"may":[25,165],"reconfigure":[26,166],"themselves":[27],"according":[28],"to":[29,74,104,118,125,134,155,180,187,203],"adaptation":[30,41,71,141,207],"policies,":[31],"which":[32,58,89,116],"describe":[33],"needs":[34],"for":[35,52,93],"reconfiguration.":[36],"In":[37,102],"this":[38,109,168],"context,":[39],"an":[40],"policy":[42,72,208],"set":[47,55],"rules":[49],"indicate,":[51],"given":[54],"configurations,":[57],"reconfiguration":[59],"operations":[60],"can":[61,198],"be":[62,75,199],"triggered,":[63],"fuzzy":[65],"values":[66,137],"representing":[67],"their":[68,135],"utility.":[69],"The":[70],"has":[73],"faithfully":[76,210],"implemented":[77],"by":[78],"the":[79,83,87,127,140,152,157,163,173,182,192,196,206,214,216,222],"system,":[80],"especially":[81],"w.r.t.":[82],"utility":[84,136],"occurring":[85],"in":[86,123,139,178,201],"rules,":[88],"generally":[91],"specified":[92,138],"optimizing":[94],"some":[95],"extrafunctional":[96],"properties":[97],"(e.g.":[98],"minimizing":[99],"resource":[100],"consumption).":[101],"order":[103,124,179,202],"validate":[105],"adaptive":[106],"systems\u2019":[107],"behavior,":[108],"paper":[110,217],"presents":[111],"model-based":[113],"testing":[114],"approach,":[115],"aims":[117],"generate":[119],"large":[120],"test":[121,170,185],"suites":[122],"measure":[126],"occurrences":[128],"reconfigurations":[130,197],"and":[131,159,176],"compare":[132],"them":[133],"rules.":[142],"This":[143],"process":[144],"based":[146],"on":[147,219,221],"usage":[149],"model":[150],"system":[153,158,164,174],"used":[154],"stimulate":[156],"provoke":[160],"reconfigurations.":[161],"As":[162,189],"dynamically,":[167],"online":[169],"generator":[171],"observes":[172],"responses":[175],"evolution":[177],"decide":[181],"next":[183],"appropriate":[184],"step":[186],"perform.":[188],"result,":[191],"relative":[193],"frequencies":[194],"measured":[200],"determine":[204],"whether":[205],"implemented.":[211],"To":[212],"illustrate":[213],"approach":[215],"reports":[218],"experiments":[220],"case":[223],"study":[224],"platoons":[226],"autonomous":[228],"vehicles.":[229]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}