{"id":"https://openalex.org/W2104760373","doi":"https://doi.org/10.1109/icsecompanion.2007.47","title":"Limits to Dependability Assurance--A Controversy Revisited","display_name":"Limits to Dependability Assurance--A Controversy Revisited","publication_year":2007,"publication_date":"2007-05-01","ids":{"openalex":"https://openalex.org/W2104760373","doi":"https://doi.org/10.1109/icsecompanion.2007.47","mag":"2104760373"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsecompanion.2007.47","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://openaccess.city.ac.uk/id/eprint/14830/8/ICSE2007_keynote_Final.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016113538","display_name":"Bev Littlewood","orcid":null},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142","https://openalex.org/I4401726869"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Bev Littlewood","raw_affiliation_strings":["City University London, UK"],"affiliations":[{"raw_affiliation_string":"City University London, UK","institution_ids":["https://openalex.org/I180825142"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016113538"],"corresponding_institution_ids":["https://openalex.org/I180825142"],"apc_list":null,"apc_paid":null,"fwci":2.123,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.602594,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":73,"max":76},"biblio":{"volume":null,"issue":null,"first_page":"6","last_page":"6"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9983,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9983,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9971,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9782,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/rigour","display_name":"Rigour","score":0.69814837},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.46383628},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.4141036}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9786202},{"id":"https://openalex.org/C71008984","wikidata":"https://www.wikidata.org/wiki/Q2890076","display_name":"Rigour","level":2,"score":0.69814837},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.64143},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.63683033},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5468483},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5242788},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.46383628},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.43488616},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.42359167},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.4141036},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3875373},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33737874},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24671781},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.16030148},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.14780751},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.116306275},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsecompanion.2007.47","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://openaccess.city.ac.uk/id/eprint/14830/8/ICSE2007_keynote_Final.pdf","pdf_url":"https://openaccess.city.ac.uk/id/eprint/14830/8/ICSE2007_keynote_Final.pdf","source":{"id":"https://openalex.org/S4306401940","display_name":"City Research Online (City University London)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180825142","host_organization_name":"City, University of London","host_organization_lineage":["https://openalex.org/I180825142"],"host_organization_lineage_names":["City, University of London"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://openaccess.city.ac.uk/id/eprint/14830/8/ICSE2007_keynote_Final.pdf","pdf_url":"https://openaccess.city.ac.uk/id/eprint/14830/8/ICSE2007_keynote_Final.pdf","source":{"id":"https://openalex.org/S4306401940","display_name":"City Research Online (City University London)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180825142","host_organization_name":"City, University of London","host_organization_lineage":["https://openalex.org/I180825142"],"host_organization_lineage_names":["City, University of London"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.63}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4248387524","https://openalex.org/W4214941981","https://openalex.org/W39645217","https://openalex.org/W2978816602","https://openalex.org/W2392120306","https://openalex.org/W2199167515","https://openalex.org/W1911386096","https://openalex.org/W176713066","https://openalex.org/W1544976691","https://openalex.org/W143732487"],"abstract_inverted_index":{"More":[0],"than":[1,60],"twenty":[2],"years":[3],"ago,":[4],"as":[5],"computers":[6],"were":[7,77],"introduced":[8],"into":[9],"safety-critical":[10],"roles":[11],"in":[12,105,114,145,165,205],"civil":[13],"aircraft,":[14],"there":[15],"was":[16,48,71],"much":[17],"debate":[18,31],"about":[19,173],"what":[20,36,83],"claims":[21,76],"could":[22,37,84],"be":[23,38,85,162,190],"made":[24,104],"for":[25,40,64,197,203],"their":[26],"dependability.":[27],"Much":[28],"of":[29,43,56,58,80,112,176,191,213],"the":[30,41,49,123,142,174,194,207,211],"focused,":[32],"naturally":[33],"enough,":[34],"on":[35],"claimed":[39],"reliability":[42],"software.":[44],"A":[45],"famous":[46],"example":[47],"apparent":[50],"need":[51],"to":[52,136,153,179,187],"claim":[53],"a":[54,159],"probability":[55],"failure":[57],"less":[59],"10**-9":[61],"per":[62],"hour":[63],"some":[65,99,131],"flight-critical":[66],"avionics.":[67],"Several":[68],"authors":[69],"(I":[70],"one)":[72],"demonstrated":[73],"that":[74,101,122,158],"such":[75],"several":[78],"orders":[79],"magnitude":[81],"beyond":[82,193],"supported":[86],"with":[87,210],"scientific":[88],"rigour.":[89],"In":[90],"this":[91,96],"talk":[92],"I":[93,118],"shall":[94,119],"revisit":[95],"debate,":[97],"showing":[98],"advances":[100],"have":[102,133,137],"been":[103,134],"\"dependability":[106],"cases,\"":[107],"particularly":[108],"involving":[109],"formal":[110],"notions":[111],"\"confidence\"":[113],"dependability":[115,183],"claims.":[116,184],"However,":[117],"also":[120],"show":[121],"bottom":[124],"line":[125],"has":[126],"not":[127],"changed":[128],"significantly:":[129],"although":[130],"systems":[132],"shown":[135],"extremely":[138,163],"high":[139],"dependability/":[140],"after":[141],"fact/":[143],"(i.e.":[144],"extensive":[146],"operational":[147],"use),":[148],"it":[149],"still":[150],"remains":[151],"impossible":[152],"show/":[154],"before":[155],"using":[156],"it/":[157],"system":[160],"will":[161],"dependable":[164],"operation.":[166],"The":[167],"reason":[168],"is":[169],"an":[170],"unforgiving":[171],"law":[172],"extensiveness":[175],"evidence":[177],"needed":[178],"make":[180],"very":[181],"strong":[182],"These":[185],"limits":[186],"assurance":[188],"should":[189],"interest":[192],"technical":[195],"community:":[196],"example,":[198],"they":[199],"pose":[200],"difficult":[201],"questions":[202],"society":[204],"estimating":[206],"risks":[208],"associated":[209],"deployment":[212],"certain":[214],"novel":[215],"systems.":[216]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2104760373","counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2024-12-29T10:19:05.462149","created_date":"2016-06-24"}