{"id":"https://openalex.org/W2169431049","doi":"https://doi.org/10.1109/etfa.2009.5347106","title":"Model-checking for the functional safety of Control Component-based heterogeneous embedded systems","display_name":"Model-checking for the functional safety of Control Component-based heterogeneous embedded systems","publication_year":2009,"publication_date":"2009-09-01","ids":{"openalex":"https://openalex.org/W2169431049","doi":"https://doi.org/10.1109/etfa.2009.5347106","mag":"2169431049"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2009.5347106","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2009.5347106","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE Conference on Emerging Technologies &amp; Factory Automation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5107974094","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0002-8193-933X"},"institutions":[{"id":"https://openalex.org/I68956291","display_name":"Martin Luther University Halle-Wittenberg","ror":"https://ror.org/05gqaka33","country_code":"DE","type":"education","lineage":["https://openalex.org/I68956291"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["Martin Luther University of Halle-Wittenberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Martin Luther University of Halle-Wittenberg, Germany","institution_ids":["https://openalex.org/I68956291"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110066040","display_name":"Hans\u2010Michael Hanisch","orcid":null},"institutions":[{"id":"https://openalex.org/I68956291","display_name":"Martin Luther University Halle-Wittenberg","ror":"https://ror.org/05gqaka33","country_code":"DE","type":"education","lineage":["https://openalex.org/I68956291"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hans-Michael Hanisch","raw_affiliation_strings":["Martin Luther University of Halle-Wittenberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Martin Luther University of Halle-Wittenberg, Germany","institution_ids":["https://openalex.org/I68956291"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013052619","display_name":"Atef Gharbi","orcid":"https://orcid.org/0000-0002-5894-8895"},"institutions":[{"id":"https://openalex.org/I42731748","display_name":"National Institute of Applied Science and Technology","ror":"https://ror.org/00qn2rd91","country_code":"TN","type":"facility","lineage":["https://openalex.org/I42731748"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Atef Gharbi","raw_affiliation_strings":["National Institute of Applied Science and Technology, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Applied Science and Technology, Tunisia","institution_ids":["https://openalex.org/I42731748"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"4659","issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9980999827384949,"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/component","display_name":"Component (thermodynamics)","score":0.7480975389480591},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6831220984458923},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4506740868091583},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4137646555900574},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37960073351860046},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3217269778251648},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28440946340560913},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13995951414108276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12581822276115417}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7480975389480591},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6831220984458923},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4506740868091583},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4137646555900574},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37960073351860046},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3217269778251648},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28440946340560913},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13995951414108276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12581822276115417},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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":1,"locations":[{"id":"doi:10.1109/etfa.2009.5347106","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2009.5347106","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE Conference on Emerging Technologies &amp; Factory Automation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1178643701","https://openalex.org/W1565279216","https://openalex.org/W1594100802","https://openalex.org/W1623109537","https://openalex.org/W1801021781","https://openalex.org/W1894254590","https://openalex.org/W1972363956","https://openalex.org/W2014897808","https://openalex.org/W2053640619","https://openalex.org/W2110553552","https://openalex.org/W2117189826","https://openalex.org/W2131498035","https://openalex.org/W2161969230","https://openalex.org/W2263584683","https://openalex.org/W2733125469","https://openalex.org/W2895156496","https://openalex.org/W3123850752","https://openalex.org/W4237735191","https://openalex.org/W4248230281","https://openalex.org/W4298227190","https://openalex.org/W6633686107","https://openalex.org/W6636728747","https://openalex.org/W6663998354","https://openalex.org/W6740342995"],"related_works":["https://openalex.org/W2364866360","https://openalex.org/W1557832504","https://openalex.org/W2379533788","https://openalex.org/W2998813341","https://openalex.org/W1587227328","https://openalex.org/W2778450995","https://openalex.org/W2364925730","https://openalex.org/W2946388178","https://openalex.org/W1925557818","https://openalex.org/W1980978000"],"abstract_inverted_index":{"This":[0],"paper":[1],"<sup":[2],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[3],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>":[4],"deals":[5],"with":[6,93],"the":[7,98,111,114,133,138,142,151,162,181,202],"model":[8,137,152],"checking":[9],"of":[10,66,79,91,132,201],"Safe":[11],"Heterogeneous":[12],"Embedded":[13],"Control":[14,191],"Systems":[15,146],"following":[16],"different":[17,24,48],"component-based":[18],"technologies":[19],"or":[20],"implemented":[21],"according":[22,100,140,160],"to":[23,36,40,87,96,101,127,141,155,161,172,196,215],"Architecture":[25],"Description":[26],"Languages":[27],"(ADL)":[28],"used":[29,210],"today":[30],"in":[31,56,186,211],"industry.":[32],"The":[33],"purpose":[34,170],"is":[35,54,85,171,209],"reduce":[37],"their":[38],"time":[39],"market":[41],"by":[42,189],"exploiting":[43],"various":[44],"execution":[45,103],"environments":[46],"and":[47,73,117,149,193],"rich":[49],"libraries.":[50],"A":[51,82,205],"\u00bfControl":[52],"Component\u00bf":[53],"defined":[55],"our":[57,217],"research":[58,213],"work":[59,214],"as":[60,184],"an":[61,67,74,107,176],"event-triggered":[62],"software":[63],"unit":[64],"composed":[65],"interface":[68],"for":[69],"any":[70],"external":[71],"interactions":[72],"implementation":[75],"allowing":[76],"control":[77,83,97],"actions":[78],"physical":[80],"processes.":[81],"system":[84],"assumed":[86],"be":[88],"a":[89,129,198],"composition":[90],"components":[92],"precedence":[94],"constraints":[95],"plant":[99],"well-defined":[102],"orders.":[104],"We":[105,136],"define":[106],"agent-based":[108],"architecture":[109,139],"where":[110],"agent":[112,182],"controls":[113],"environment":[115],"evolution":[116],"applies":[118],"automatic":[119],"reconfigurations":[120],"when":[121],"hardware":[122],"errors":[123],"occur":[124],"at":[125,179],"run-time":[126],"guarantee":[128,197],"functional":[130,157,199],"safety":[131,200],"whole":[134,203],"system.":[135,204],"formalism":[143],"Net":[144],"Condition/Event":[145],"(abbr.":[147,167],"NCES),":[148],"apply":[150],"checker":[153],"SESA":[154],"check":[156,173],"properties":[158],"described":[159,185],"well-known":[163],"Computation":[164],"Tree":[165],"Logic":[166],"CTL).":[168],"Our":[169],"that":[174],"whenever":[175],"error":[177],"occurs":[178],"run-time,":[180],"behaves":[183],"user":[187],"requirements":[188],"activating":[190],"Components":[192],"deactivating":[194],"others":[195],"Benchmark":[206],"Production":[207],"System":[208],"this":[212],"explain":[216],"contribution.":[218]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}