{"id":"https://openalex.org/W107018341","doi":"https://doi.org/10.3233/978-1-58603-891-5-789","title":"Characterizing and checking self-healability","display_name":"Characterizing and checking self-healability","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W107018341","doi":"https://doi.org/10.3233/978-1-58603-891-5-789","mag":"107018341"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-58603-891-5-789","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-891-5-789","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5108094257","display_name":"Marie-Odile Cordier","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"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cordier Marie-Odile","raw_affiliation_strings":["IRISA/INRIA/Universit\u00e9 de Rennes1; Campus de Beaulieu, F-35042 Rennes cedex, France, email: marie-odile.cordier@irisa.fr#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRISA/INRIA/Universit\u00e9 de Rennes1; Campus de Beaulieu, F-35042 Rennes cedex, France, email: marie-odile.cordier@irisa.fr#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937","https://openalex.org/I56067802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044034021","display_name":"Yannick Pencol\u00e9","orcid":"https://orcid.org/0000-0002-2970-914X"},"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/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pencolé Yannick","raw_affiliation_strings":["LAAS-CNRS; Universit\u00e9 de Toulouse; 7, Avenue du Colonel Roche, F-31077 Toulouse cedex, France, email: yannick.pencole@laas.fr#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS-CNRS; Universit\u00e9 de Toulouse; 7, Avenue du Colonel Roche, F-31077 Toulouse cedex, France, email: yannick.pencole@laas.fr#TAB#","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I17866349","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Travé-Massuyès Louise","orcid":null},"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/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Travé-Massuyès Louise","raw_affiliation_strings":["LAAS-CNRS; Universit\u00e9 de Toulouse; 7, Avenue du Colonel Roche, F-31077 Toulouse cedex, France, email: louise@laas.fr#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS-CNRS; Universit\u00e9 de Toulouse; 7, Avenue du Colonel Roche, F-31077 Toulouse cedex, France, email: louise@laas.fr#TAB#","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I17866349","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":null,"display_name":"Vidal Thierry","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"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vidal Thierry","raw_affiliation_strings":["IRISA/INRIA/Universit\u00e9 de Rennes1; Campus de Beaulieu, F-35042 Rennes cedex, France, email: thierry.vidal@irisa.fr#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRISA/INRIA/Universit\u00e9 de Rennes1; Campus de Beaulieu, F-35042 Rennes cedex, France, email: thierry.vidal@irisa.fr#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937","https://openalex.org/I56067802"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3516,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.83746389,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"789","last_page":"790"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9940999746322632,"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.9940999746322632,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9890999794006348,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9836999773979187,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/bridging","display_name":"Bridging (networking)","score":0.5942461490631104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.593580961227417},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5154770016670227},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5094683766365051},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5088860988616943},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4920022189617157},{"id":"https://openalex.org/keywords/self-healing","display_name":"Self-healing","score":0.47419673204421997},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23073634505271912},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1893657147884369},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.10388028621673584}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.5942461490631104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.593580961227417},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5154770016670227},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5094683766365051},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5088860988616943},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4920022189617157},{"id":"https://openalex.org/C2778210392","wikidata":"https://www.wikidata.org/wiki/Q1412709","display_name":"Self-healing","level":3,"score":0.47419673204421997},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23073634505271912},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1893657147884369},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10388028621673584},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-58603-891-5-789","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-891-5-789","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:107018341","is_oa":false,"landing_page_url":"https://homepages.laas.fr/ypencole/publications/Cordier_ECAI08.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1985787415","https://openalex.org/W2099662505"],"related_works":["https://openalex.org/W4388870064","https://openalex.org/W2210139803","https://openalex.org/W4235186151","https://openalex.org/W2054685365","https://openalex.org/W2056057048","https://openalex.org/W2667588871","https://openalex.org/W2272354214","https://openalex.org/W2084768720","https://openalex.org/W2043010663","https://openalex.org/W4248308508"],"abstract_inverted_index":{"Real-life":[0],"complex":[1],"systems":[2,53,60],"are":[3,26,82,149],"often":[4],"required":[5],"to":[6,28,44,62,65,95,116,128,151,182,186],"offer":[7],"high":[8],"reliability":[9],"and":[10,14,35,72,104,112,125,167],"quality":[11],"of":[12,31,40,70,92,109,132,145,158,174,180],"service":[13],"must":[15,54],"be":[16,29,55,63],"provided":[17],"with":[18,118],"self-management":[19],"abilities,":[20],"even":[21],"in":[22],"faulty":[23,102],"situations.":[24],"They":[25],"expected":[27],"self-aware":[30],"their":[32],"current":[33],"state":[34],"survive":[36],"autonomously":[37],"the":[38,46,67,75,90,107,187],"occurrence":[39],"faults,":[41],"still":[42],"managing":[43],"provide":[45],"desired":[47],"functionality.":[48],"In":[49,74,134],"other":[50],"words,":[51],"such":[52],"self-healing":[56,59],"[2].":[57],"Designing":[58],"requires":[61,170],"able":[64],"evaluate":[66],"joint":[68,163],"degree":[69],"self-awareness":[71],"reactiveness.":[73],"artificial":[76],"intelligence":[77],"community,":[78],"these":[79],"two":[80],"properties":[81],"better":[83],"known":[84],"as":[85,161,184],"diagnosability":[86,124,142,166,175],"[3,":[87],"1],":[88],"i.e.":[89,106],"capability":[91],"a":[93,110,129,162,171,193],"system":[94,111],"exhibit":[96],"different":[97,100],"observables":[98],"for":[99],"anticipated":[101,147],"situations,":[103],"repairability,":[105,168],"ability":[108],"its":[113],"repair":[114],"actions":[115],"cope":[117],"any":[119],"unexpected":[120],"situation.":[121],"Checking":[122],"separately":[123],"repairability":[126,144],"leads":[127],"conservative":[130],"assessement":[131],"self-healability.":[133,153],"this":[135],"paper,":[136],"we":[137],"show":[138],"that":[139,176],"neither":[140],"standard":[141,188],"nor":[143],"every":[146],"fault":[148],"necessary":[150],"achieve":[152],"Our":[154],"main":[155],"contribution":[156],"consists":[157],"defining":[159],"self-healability":[160],"property":[164],"bridging":[165],"which":[169,190],"new":[172],"definition":[173],"allows":[177],"diagnosable":[178],"subsets":[179],"faults":[181],"overlap,":[183],"opposed":[185],"definitions":[189],"rely":[191],"on":[192],"partition.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2016-06-24T00:00:00"}