{"id":"https://openalex.org/W2119061206","doi":"https://doi.org/10.1109/hase.2004.1281731","title":"An approach for designing and assessing detectors for dependable component-based systems","display_name":"An approach for designing and assessing detectors for dependable component-based systems","publication_year":2004,"publication_date":"2004-06-10","ids":{"openalex":"https://openalex.org/W2119061206","doi":"https://doi.org/10.1109/hase.2004.1281731","mag":"2119061206"},"language":"en","primary_location":{"id":"doi:10.1109/hase.2004.1281731","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2004.1281731","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.","raw_type":"proceedings-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/A5005426902","display_name":"Arshad Jhumka","orcid":"https://orcid.org/0000-0003-0540-2845"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"A. Jhumka","raw_affiliation_strings":["Department of CS, Technical University of Darmstadt, Germany","Department of computer science, TU Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Department of CS, Technical University of Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Department of computer science, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068568445","display_name":"Martin Hiller","orcid":null},"institutions":[{"id":"https://openalex.org/I1340210623","display_name":"Volvo (Sweden)","ror":"https://ror.org/05b6ypc36","country_code":"SE","type":"company","lineage":["https://openalex.org/I1340210623"]},{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE","SE"],"is_corresponding":false,"raw_author_name":"M. Hiller","raw_affiliation_strings":["Department of CS, Technical University of Darmstadt, Germany","[Volvo Technology Dept, Goteborg, Sweden]"],"affiliations":[{"raw_affiliation_string":"Department of CS, Technical University of Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"[Volvo Technology Dept, Goteborg, Sweden]","institution_ids":["https://openalex.org/I1340210623"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079786056","display_name":"Neeraj Suri","orcid":"https://orcid.org/0000-0003-1688-1167"},"institutions":[{"id":"https://openalex.org/I1340210623","display_name":"Volvo (Sweden)","ror":"https://ror.org/05b6ypc36","country_code":"SE","type":"company","lineage":["https://openalex.org/I1340210623"]},{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE","SE"],"is_corresponding":false,"raw_author_name":"N. Suri","raw_affiliation_strings":["Volvo Technology Dept, Goteborg, Sweden","[Department of CS, TU Darmstadt, Germany]"],"affiliations":[{"raw_affiliation_string":"Volvo Technology Dept, Goteborg, Sweden","institution_ids":["https://openalex.org/I1340210623"]},{"raw_affiliation_string":"[Department of CS, TU Darmstadt, Germany]","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005426902"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":0.9963,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81835867,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"69","last_page":"78"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9969000220298767,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.8253821730613708},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7219354510307312},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6681767106056213},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6228523254394531},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5662270188331604},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5247854590415955},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4208982586860657},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.336584210395813},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3210145831108093},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15878665447235107},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14756691455841064},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09235328435897827}],"concepts":[{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.8253821730613708},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7219354510307312},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6681767106056213},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6228523254394531},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5662270188331604},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5247854590415955},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4208982586860657},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.336584210395813},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3210145831108093},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15878665447235107},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14756691455841064},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09235328435897827},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hase.2004.1281731","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2004.1281731","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.lancs.ac.uk:137623","is_oa":false,"landing_page_url":"https://eprints.lancs.ac.uk/id/eprint/137623/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Contribution in Book/Report/Proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.49000000953674316,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1729888041","https://openalex.org/W2004960548","https://openalex.org/W2132334337","https://openalex.org/W2133943294","https://openalex.org/W2143909017","https://openalex.org/W2150248778","https://openalex.org/W2167592017","https://openalex.org/W2168230617","https://openalex.org/W2914206182","https://openalex.org/W6637579574","https://openalex.org/W6681244693","https://openalex.org/W7073810818"],"related_works":["https://openalex.org/W4237277701","https://openalex.org/W2121424666","https://openalex.org/W1587028174","https://openalex.org/W4301250310","https://openalex.org/W2030928163","https://openalex.org/W2067700950","https://openalex.org/W1669998927","https://openalex.org/W2366906938","https://openalex.org/W2349391998","https://openalex.org/W2752178021"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,60,89],"present":[4,90],"an":[5,91],"approach":[6,92,108,133],"that":[7,22,70],"helps":[8],"in":[9,29,106],"the":[10,24,54,72,86,137],"design":[11,138],"and":[12,42,51,67,78,98],"assessment":[13],"of":[14,26,39,47,56,75,85,131,139],"detectors.":[15],"A":[16],"detector":[17,76],"is":[18,99,134],"a":[19,27,30,37,111,116],"program":[20,32],"component":[21],"asserts":[23],"validity":[25],"predicate":[28],"given":[31],"state.":[33],"We":[34],"first":[35],"develop":[36],"theory":[38],"error":[40],"detection,":[41],"identify":[43],"two":[44,62],"main":[45],"properties":[46],"detectors,":[48,59],"namely":[49,64],"completeness":[50,65],"accuracy.":[52],"Given":[53],"complexity":[55],"designing":[57,123],"efficient":[58,124],"introduce":[61],"metrics,":[63,97],"(C)":[66],"inaccuracy":[68],"(I),":[69],"capture":[71],"operational":[73],"effectiveness":[74],"operations,":[77],"each":[79],"metric":[80],"captures":[81],"one":[82],"efficiency":[83],"aspect":[84],"detector.":[87],"Subsequently,":[88],"for":[93,119,126,136],"experimentally":[94],"evaluating":[95],"these":[96],"based":[100],"on":[101],"fault-injection.":[102],"The":[103,129],"metrics":[104],"developed":[105],"our":[107,132],"also":[109],"allow":[110],"system":[112],"designer":[113],"to":[114],"perform":[115],"cost-benefit":[117],"analysis":[118],"resource":[120],"allocation":[121],"when":[122],"detectors":[125],"fault-tolerant":[127],"systems.":[128,142],"applicability":[130],"suited":[135],"reliable":[140],"component-based":[141]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}