{"id":"https://openalex.org/W3120941336","doi":"https://doi.org/10.1109/issrew51248.2020.00037","title":"Independent Verification and Validation for the Space Industry: Guide Evolution Experience","display_name":"Independent Verification and Validation for the Space Industry: Guide Evolution Experience","publication_year":2020,"publication_date":"2020-10-01","ids":{"openalex":"https://openalex.org/W3120941336","doi":"https://doi.org/10.1109/issrew51248.2020.00037","mag":"3120941336"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew51248.2020.00037","pdf_url":null,"source":{"id":"https://openalex.org/S4363606990","display_name":"2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101962105","display_name":"Nuno Silva","orcid":"https://orcid.org/0000-0002-8653-1499"},"institutions":[{"id":"https://openalex.org/I188522409","display_name":"Critical Software (Portugal)","ror":"https://ror.org/03er2hr05","country_code":"PT","type":"company","lineage":["https://openalex.org/I188522409"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Nuno Silva","raw_affiliation_strings":["High Integrity Systems, Critical Software, Coimbra, SA, Portugal"],"affiliations":[{"raw_affiliation_string":"High Integrity Systems, Critical Software, Coimbra, SA, Portugal","institution_ids":["https://openalex.org/I188522409"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077623359","display_name":"Xavier Ferreira","orcid":null},"institutions":[{"id":"https://openalex.org/I188522409","display_name":"Critical Software (Portugal)","ror":"https://ror.org/03er2hr05","country_code":"PT","type":"company","lineage":["https://openalex.org/I188522409"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Xavier Ferreira","raw_affiliation_strings":["High Integrity Systems, Critical Software, Coimbra, SA, Portugal"],"affiliations":[{"raw_affiliation_string":"High Integrity Systems, Critical Software, Coimbra, SA, Portugal","institution_ids":["https://openalex.org/I188522409"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039070357","display_name":"Jesper T. Troelsen","orcid":"https://orcid.org/0000-0002-4177-3267"},"institutions":[],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jesper Troelsen","raw_affiliation_strings":["Software Development, Rovsing A/S, Skovlunde, Denmark"],"affiliations":[{"raw_affiliation_string":"Software Development, Rovsing A/S, Skovlunde, Denmark","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077951154","display_name":"Tomasz Kacmajor","orcid":null},"institutions":[],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Tomasz Kacmajor","raw_affiliation_strings":["Software Development, Rovsing A/S, Skovlunde, Denmark"],"affiliations":[{"raw_affiliation_string":"Software Development, Rovsing A/S, Skovlunde, Denmark","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.175,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.27665,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":61,"max":69},"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"60"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9967,"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.9967,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9848,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.977,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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-verification","display_name":"Software verification","score":0.52035993}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6599436},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.6462919},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.63058984},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.59714913},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.54616284},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.52035993},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48761907},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47513655},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.44681126},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.44184422},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.42880794},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4270329},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.40253225},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.34202105},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3220009},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24229509},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew51248.2020.00037","pdf_url":null,"source":{"id":"https://openalex.org/S4363606990","display_name":"2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.63,"display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W377532801","https://openalex.org/W3211062188","https://openalex.org/W2971103475","https://openalex.org/W2392362176","https://openalex.org/W2343496192","https://openalex.org/W2149330497","https://openalex.org/W2123460498","https://openalex.org/W2090249529","https://openalex.org/W1983541964","https://openalex.org/W1519652642"],"abstract_inverted_index":{"Independent":[0],"Software":[1],"Verification":[2],"and":[3,26,41,57,71,88,94,107,122,134,139,155,162],"Validation":[4],"(ISVV)":[5],"is":[6,113,118],"a":[7,66,76,101],"process":[8,157],"targeted":[9],"at":[10],"safety-critical":[11],"software":[12,21],"systems.":[13],"It":[14],"aims":[15],"to":[16,78,95,128,160],"increase":[17],"the":[18,29,33,37,47,52,62,80,83,97,110,150,156],"quality":[19],"of":[20,32,54,68,82,109,141],"products,":[22],"thereby":[23],"reducing":[24],"risks":[25],"costs":[27],"through":[28],"operational":[30],"life":[31],"software.":[34],"Since":[35],"2008,":[36],"European":[38],"Space":[39],"Agency":[40],"its":[42],"partners":[43],"have":[44,64],"been":[45],"using":[46],"ESA":[48],"ISVV":[49,55,98,111,127,151],"Guide":[50,99],"for":[51,132],"application":[53,81],"activities":[56],"methods.":[58],"Over":[59],"these":[60],"years,":[61],"stakeholders":[63],"collected":[65],"set":[67],"lessons":[69],"learned":[70],"experiences,":[72],"as":[73,75],"well":[74],"need":[77],"adapt":[79],"guide":[84,112],"towards":[85],"new":[86,89],"environments":[87],"technologies.":[90],"For":[91],"this":[92],"purpose,":[93],"harmonize":[96],"into":[100],"formal":[102],"ECSS":[103],"handbook,":[104],"an":[105],"update":[106],"improvement":[108,153],"currently":[114],"on-going.":[115],"This":[116,147],"work":[117],"considering":[119],"industry":[120],"feedback":[121],"covering":[123],"topics":[124,154],"such":[125],"as:":[126],"system":[129],"level,":[130],"guidelines":[131],"agile":[133],"iterative":[135],"projects,":[136],"reuse,":[137],"verification":[138],"validation":[140],"data,":[142],"auto-generated":[143],"code,":[144],"model-based":[145],"techniques.":[146],"paper":[148],"covers":[149],"Handbook":[152],"being":[158],"followed":[159],"collect":[161],"confirm":[163],"proposed":[164],"modifications.":[165]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3120941336","counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2024-12-07T00:57:47.595303","created_date":"2021-01-18"}