{"id":"https://openalex.org/W1482632800","doi":null,"title":"Software for Dependable Systems: Sufficient Evidence?","display_name":"Software for Dependable Systems: Sufficient Evidence?","publication_year":2007,"publication_date":"2007-08-14","ids":{"openalex":"https://openalex.org/W1482632800","mag":"1482632800"},"language":"en","primary_location":{"id":"mag:1482632800","doi":null,"is_oa":false,"landing_page_url":"http://archive2.cra.org/ccc/files/docs/CPSWorkshopCFP/cps-summit.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306463641","display_name":"National Academies Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"National Academies Press eBooks","raw_type":null},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Dan Jackson","orcid":"https://orcid.org/0000-0002-6349-5026","observed_orcids":["https://orcid.org/0000-0002-6349-5026"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dan Jackson","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6349-5026","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5042355287","display_name":"Martyn Thomas","orcid":"https://orcid.org/0000-0003-1226-2772","observed_orcids":["https://orcid.org/0000-0003-1226-2772"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martyn Thomas","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-1226-2772","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":15.4518,"has_fulltext":false,"cited_by_count":118,"citation_normalized_percentile":{"value":0.97983393,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":100},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.42719998955726624,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.42719998955726624,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.41769999265670776,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.07289999723434448,"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/software-dependability","display_name":"software dependability","score":0.9559999704360962},{"id":"https://openalex.org/keywords/dependable-software","display_name":"dependable software","score":0.6499999761581421},{"id":"https://openalex.org/keywords/dependability-analysis","display_name":"dependability analysis","score":0.7720000147819519},{"id":"https://openalex.org/keywords/software-certification","display_name":"software certification","score":0.6060000061988831},{"id":"https://openalex.org/keywords/hazard-analysis","display_name":"hazard analysis","score":0.6110000014305115},{"id":"https://openalex.org/keywords/threat-modeling","display_name":"threat modeling","score":0.9390000104904175},{"id":"https://openalex.org/keywords/formal-notation","display_name":"formal notation","score":0.7860000133514404},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.8479999899864197},{"id":"https://openalex.org/keywords/configuration-management","display_name":"configuration management","score":0.7379999756813049},{"id":"https://openalex.org/keywords/automated-regression-testing","display_name":"automated regression testing","score":0.9430000185966492},{"id":"https://openalex.org/keywords/software-development-practices","display_name":"software development practices","score":0.6589999794960022},{"id":"https://openalex.org/keywords/developer-training","display_name":"developer training","score":0.5180000066757202}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9639219045639038},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5789613127708435},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.5299635529518127},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49898648262023926},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.47495341300964355},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4674471318721771},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4569944739341736},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.44818615913391113},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4433215260505676},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.412350594997406},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3679637908935547},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35721951723098755},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.32908886671066284},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.1349252164363861},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.07511886954307556},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.06710091233253479},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0634412169456482},{"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":"mag:1482632800","doi":null,"is_oa":false,"landing_page_url":"http://archive2.cra.org/ccc/files/docs/CPSWorkshopCFP/cps-summit.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306463641","display_name":"National Academies Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"National Academies Press eBooks","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2018568099","https://openalex.org/W2548833065","https://openalex.org/W7097664479","https://openalex.org/W4246333200","https://openalex.org/W4238383936","https://openalex.org/W6884734782","https://openalex.org/W2312602259","https://openalex.org/W2090033687","https://openalex.org/W2165633794","https://openalex.org/W7100403397"],"abstract_inverted_index":{"The":[0,42,120,200],"focus":[1,192],"of":[2,10,29,40,44,52,59,65,72,81,98,104,124,138,150,173,186,198,206,225,229,301],"Software":[3],"for":[4,95,114,134,152,182,269],"Dependable":[5],"Systems":[6],"is":[7,34,163],"a":[8,21,49,109,223],"set":[9],"fundamental":[11],"principles":[12],"that":[13,19,127,160,166,210,303],"underlie":[14],"software":[15,45,60,67,174,189,296],"system":[16,153],"dependability":[17,39,64,126,154,172,187,302],"and":[18,27,57,74,84,111,142,179,196,214,236,251,259,283,286],"suggest":[20],"different":[22],"approach":[23],"to":[24,36,107,156,243,263,293,298],"the":[25,38,55,63,70,79,135,148,171,184,194,204,208,217,299],"development":[26,76],"assessment":[28],"dependable":[30],"software.":[31,41],"Unfortunately,":[32],"it":[33],"difficult":[35],"assess":[37],"field":[43],"engineering":[46],"suffers":[47],"from":[48],"pervasive":[50],"lack":[51,149],"evidence":[53,151,162],"about":[54,62,69,78],"incidence":[56],"severity":[58],"failures;":[61],"existing":[66,73],"systems;":[68],"efficacy":[71],"proposed":[75],"methods;":[77],"benefits":[80],"certification":[82],"schemes;":[83],"so":[85,165],"on.":[86],"There":[87],"are":[88,128,211,240,277],"many":[89,270],"anecdotal":[90],"reports,":[91],"which-although":[92],"often":[93],"useful":[94],"indicating":[96],"areas":[97],"concern":[99],"or":[100],"highlighting":[101],"promising":[102],"avenues":[103],"research-do":[105],"little":[106],"establish":[108],"sound":[110],"complete":[112],"basis":[113,133],"making":[115],"policy":[116],"decisions":[117],"regarding":[118,147],"dependability.":[119],"committee":[121,201],"regards":[122],"claims":[123],"extraordinary":[125],"sometimes":[129],"made":[130],"on":[131,193],"this":[132,220],"most":[136],"critical":[137],"systems":[139,190,297],"as":[140,232,247],"unsubstantiated,":[141],"perhaps":[143],"irresponsible.":[144],"This":[145],"difficulty":[146],"leads":[155],"two":[157],"conclusions:":[158],"(1)":[159],"better":[161],"needed,":[164],"approaches":[167],"aimed":[168],"at":[169],"improving":[170],"can":[175],"be":[176,289,305],"objectively":[177],"assessed,":[178],"(2)":[180],"that,":[181],"now,":[183],"pursuit":[185],"in":[188,278,291],"should":[191],"construction":[195],"evaluation":[197],"evidence.":[199],"also":[202],"recognized":[203],"importance":[205],"adopting":[207],"practices":[209,276],"already":[212],"known":[213],"used":[215],"by":[216],"best":[218],"developers;":[219],"report":[221],"gives":[222],"sample":[224],"such":[226],"practices.":[227],"Some":[228],"these":[230,275],"(such":[231,246],"systematic":[233],"configuration":[234],"management":[235],"automated":[237],"regression":[238],"testing)":[239],"relatively":[241],"easy":[242],"adopt;":[244],"others":[245],"constructing":[248],"hazard":[249],"analyses":[250],"threat":[252],"models,":[253],"exploiting":[254],"formal":[255],"notations":[256],"when":[257],"appropriate,":[258],"applying":[260],"static":[261],"analysis":[262],"code)":[264],"will":[265,288,304],"require":[266],"new":[267,284],"training":[268],"developers.":[271],"However":[272],"valuable,":[273],"though,":[274],"themselves":[279],"no":[280],"silver":[281],"bullet,":[282],"techniques":[285],"methods":[287],"required":[290],"order":[292],"build":[294],"future":[295],"level":[300],"required.":[306]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":16},{"year":2012,"cited_by_count":12}],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2016-06-24T00:00:00"}