{"id":"https://openalex.org/W3140894034","doi":"https://doi.org/10.1109/date.2010.5456925","title":"A software update service with self-protection capabilities","display_name":"A software update service with self-protection capabilities","publication_year":2010,"publication_date":"2010-03-01","ids":{"openalex":"https://openalex.org/W3140894034","doi":"https://doi.org/10.1109/date.2010.5456925","mag":"3140894034"},"language":"en","primary_location":{"id":"doi:10.1109/date.2010.5456925","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2010.5456925","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","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/A5002737629","display_name":"Moritz Neukirchner","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Moritz Neukirchner","raw_affiliation_strings":["Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082356290","display_name":"Steffen Stein","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen Stein","raw_affiliation_strings":["Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074388442","display_name":"Harald Schrom","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Harald Schrom","raw_affiliation_strings":["Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075507551","display_name":"Rolf Ernst","orcid":"https://orcid.org/0000-0003-2414-9566"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Ernst","raw_affiliation_strings":["Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4at Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5002737629"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":1.7478,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86633902,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"903","last_page":"908"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.8206126689910889},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5697240829467773},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5413491725921631},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5404155850410461},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5244512557983398},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4972100555896759},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.4813893139362335},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4769921898841858},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.47542455792427063},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.46877995133399963},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4300989508628845},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.414800226688385},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24527916312217712}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8206126689910889},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5697240829467773},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5413491725921631},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5404155850410461},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5244512557983398},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4972100555896759},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.4813893139362335},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4769921898841858},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.47542455792427063},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.46877995133399963},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4300989508628845},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.414800226688385},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24527916312217712},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2010.5456925","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2010.5456925","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W111535103","https://openalex.org/W1524564171","https://openalex.org/W1574459816","https://openalex.org/W1685009153","https://openalex.org/W1871610027","https://openalex.org/W1997998060","https://openalex.org/W2074977643","https://openalex.org/W2125837134","https://openalex.org/W2130858872","https://openalex.org/W2136608864","https://openalex.org/W2156009911","https://openalex.org/W4205317033","https://openalex.org/W4230535538","https://openalex.org/W4249120070","https://openalex.org/W6604460213","https://openalex.org/W6792865771","https://openalex.org/W6815501463"],"related_works":["https://openalex.org/W4238190086","https://openalex.org/W2512656006","https://openalex.org/W4254068899","https://openalex.org/W2049353084","https://openalex.org/W2124353851","https://openalex.org/W2157036638","https://openalex.org/W2142425794","https://openalex.org/W2153437812","https://openalex.org/W1565120778","https://openalex.org/W2387258894"],"abstract_inverted_index":{"Integration":[0],"of":[1,11,65,79,91,128,136],"system":[2,32,56,66,73,80],"components":[3],"is":[4,131,141],"a":[5,23,83,92],"crucial":[6],"challenge":[7],"in":[8,99],"the":[9,37,63,71,77,89,117,137,144],"design":[10],"embedded":[12,43,100],"real-time":[13],"systems,":[14],"as":[15],"complex":[16],"non-functional":[17,107],"interdependencies":[18],"may":[19,45],"exist.":[20],"We":[21],"propose":[22],"software":[24,48],"update":[25,138],"service":[26],"with":[27],"self-protection":[28],"capabilities":[29],"against":[30],"unverified":[31],"updates":[33,67,98],"-":[34],"thus":[35],"solving":[36],"integration":[38],"problem":[39],"in-system.":[40],"As":[41],"modern":[42],"systems":[44,101],"evolve":[46],"through":[47],"updates,":[49],"component":[50],"replacement":[51],"or":[52],"even":[53],"self-optimization,":[54],"possible":[55],"configurations":[57],"are":[58],"hard":[59],"to":[60,121],"predict.":[61],"Thus":[62],"designer":[64],"does":[68],"not":[69],"know":[70],"exact":[72],"configuration.":[74],"This":[75,86],"turns":[76],"proof":[78],"feasibility":[81,127],"into":[82],"critical":[84],"challenge.":[85],"paper":[87],"presents":[88],"architecture":[90],"framework":[93],"and":[94,148],"associated":[95],"protocols":[96],"enabling":[97],"while":[102],"ensuring":[103],"safe":[104],"operation":[105],"w.r.t.":[106,143],"properties.":[108],"The":[109],"proposed":[110],"process":[111],"employs":[112],"contract":[113],"based":[114],"principles":[115],"at":[116],"interfaces":[118],"towards":[119],"applications":[120],"perform":[122],"an":[123,134],"in-system":[124],"verification.":[125],"Practical":[126],"our":[129],"approach":[130],"demonstrated":[132],"by":[133],"implementation":[135],"process,":[139],"which":[140],"analyzed":[142],"memory":[145],"consumption":[146],"overhead":[147],"execution":[149],"time.":[150]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}