{"id":"https://openalex.org/W4292158191","doi":"https://doi.org/10.1145/3538969.3539012","title":"Bridging the Gap Between Certification and Software Development","display_name":"Bridging the Gap Between Certification and Software Development","publication_year":2022,"publication_date":"2022-08-17","ids":{"openalex":"https://openalex.org/W4292158191","doi":"https://doi.org/10.1145/3538969.3539012"},"language":"en","primary_location":{"id":"doi:10.1145/3538969.3539012","doi":"https://doi.org/10.1145/3538969.3539012","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3538969.3539012","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3538969.3539012","source":{"id":"https://openalex.org/S4363608926","display_name":"International Conference on Availability, Reliability and Security (ARES)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3538969.3539012","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058453558","display_name":"Claudio A. Ardagna","orcid":"https://orcid.org/0000-0001-7426-4795","observed_orcids":["https://orcid.org/0000-0001-7426-4795"]},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Claudio A. Ardagna","raw_affiliation_strings":["Department of Computer Science, Universit\u00e0 degli Studi di Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Universit\u00e0 degli Studi di Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046305434","display_name":"Nicola Bena","orcid":"https://orcid.org/0000-0003-4909-9892","observed_orcids":["https://orcid.org/0000-0003-4909-9892"]},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Bena","raw_affiliation_strings":["Department of Computer Science, Universit\u00e0 degli Studi di Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Universit\u00e0 degli Studi di Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012359596","display_name":"Ramon Mart\u00edn de Pozuelo","orcid":"https://orcid.org/0000-0002-4476-2619","observed_orcids":["https://orcid.org/0000-0002-4476-2619"]},"institutions":[{"id":"https://openalex.org/I4210141875","display_name":"CaixaBank","ror":"https://ror.org/03zhx9h04","country_code":"ES","type":"other","lineage":["https://openalex.org/I4210141875"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ramon Mart\u00edn de Pozuelo","raw_affiliation_strings":["CaixaBank, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CaixaBank, Spain","institution_ids":["https://openalex.org/I4210141875"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9184,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.89620843,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.7660999894142151,"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.7660999894142151,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.13439999520778656,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.02319999970495701,"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/software-certification","display_name":"software certification","score":0.9390000104904175},{"id":"https://openalex.org/keywords/certification-requirements","display_name":"certification requirements","score":0.7799999713897705},{"id":"https://openalex.org/keywords/software-development-process","display_name":"software development process","score":0.7639999985694885},{"id":"https://openalex.org/keywords/multi-objective-optimization","display_name":"multi-objective optimization","score":0.8320000171661377},{"id":"https://openalex.org/keywords/genetic-algorithm","display_name":"genetic algorithm","score":0.9269999861717224},{"id":"https://openalex.org/keywords/certification-costs","display_name":"certification costs","score":0.6340000033378601},{"id":"https://openalex.org/keywords/caixabank","display_name":"CaixaBank","score":0.5370000004768372}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.8968615531921387},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.809316873550415},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6894444823265076},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.503537118434906},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49928903579711914},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.44410139322280884},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.43616464734077454},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.37040019035339355},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32897159457206726},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19735288619995117},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09859234094619751},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08904954791069031},{"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3538969.3539012","doi":"https://doi.org/10.1145/3538969.3539012","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3538969.3539012","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3538969.3539012","source":{"id":"https://openalex.org/S4363608926","display_name":"International Conference on Availability, Reliability and Security (ARES)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:7411585","doi":null,"is_oa":true,"landing_page_url":"https://zenodo.org/record/7411585","pdf_url":"https://zenodo.org/record/7411585","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"pmh:oai:air.unimi.it:2434/938487","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/938487","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"doi:10.1145/3538969.3539012","doi":"https://doi.org/10.1145/3538969.3539012","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3538969.3539012","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3538969.3539012","source":{"id":"https://openalex.org/S4363608926","display_name":"International Conference on Availability, Reliability and Security (ARES)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4943999946117401,"id":"https://metadata.un.org/sdg/9"}],"study_designs":[],"awards":[{"id":"https://openalex.org/G265104915","display_name":null,"funder_award_id":"EC H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G3418842755","display_name":null,"funder_award_id":"830927","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G8311313351","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320313475","funder_display_name":"Universit\u00e0 degli Studi di Milano"}],"funders":[{"id":"https://openalex.org/F4320313475","display_name":"Universit\u00e0 degli Studi di Milano","ror":"https://ror.org/00wjc7c48"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4292158191.pdf","grobid_xml":"https://content.openalex.org/works/W4292158191.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W203442965","https://openalex.org/W224959492","https://openalex.org/W1565463191","https://openalex.org/W1576104096","https://openalex.org/W2021862793","https://openalex.org/W2022485595","https://openalex.org/W2027009057","https://openalex.org/W2041750090","https://openalex.org/W2046624934","https://openalex.org/W2053550769","https://openalex.org/W2084294836","https://openalex.org/W2085507535","https://openalex.org/W2118385541","https://openalex.org/W2157607087","https://openalex.org/W2175677697","https://openalex.org/W2573464331","https://openalex.org/W2582140688","https://openalex.org/W2753691335","https://openalex.org/W2782570088","https://openalex.org/W2886168462","https://openalex.org/W2966889885","https://openalex.org/W2998750360","https://openalex.org/W3021613070","https://openalex.org/W3021855001","https://openalex.org/W3035965352","https://openalex.org/W3086784814","https://openalex.org/W3111292493","https://openalex.org/W3212236810","https://openalex.org/W4248366186","https://openalex.org/W4292542951"],"related_works":["https://openalex.org/W3146433622","https://openalex.org/W7137510636","https://openalex.org/W1771463300","https://openalex.org/W7095219569","https://openalex.org/W1549223720","https://openalex.org/W179681848","https://openalex.org/W1239518616","https://openalex.org/W1968241292","https://openalex.org/W2256071757","https://openalex.org/W4247618076"],"abstract_inverted_index":{"While":[0],"certification":[1,43,68,75],"is":[2,28,115,130],"widely":[3],"recognized":[4],"as":[5,100],"a":[6,23,58,101,109,118,133],"means":[7],"to":[8,39,47],"increase":[9],"system":[10,52],"trustworthiness":[11],"and":[12,32,67,84,105,125,128],"reduce":[13],"uncertainty":[14],"in":[15,117,132],"decision":[16],"making,":[17],"it":[18,107],"faces":[19],"severe":[20],"challenges":[21],"preventing":[22],"wider":[24],"adoption":[25],"thereof.":[26],"Certification":[27],"not":[29],"adequately":[30],"planned":[31],"integrated":[33],"within":[34],"the":[35,45,50,62,74,81,86,97],"development":[36,66,82],"process,":[37,83],"leading":[38],"suboptimal":[40],"scenarios":[41],"where":[42],"introduces":[44],"need":[46],"further":[48],"modify":[49],"developed":[51],"with":[53],"high":[54],"costs.":[55],"We":[56,95],"propose":[57],"methodology":[59,71],"that":[60],"bridges":[61],"gap":[63],"between":[64],"software":[65],"processes.":[69],"Our":[70],"automatically":[72],"produces":[73],"requirements":[76],"driving":[77],"all":[78],"steps":[79],"of":[80,88],"maximizes":[85],"strength":[87],"certificates":[89],"while":[90],"taking":[91],"costs":[92],"under":[93],"control.":[94],"formalize":[96],"above":[98],"problem":[99],"multi-objective":[102],"mathematical":[103],"program":[104],"solve":[106],"through":[108],"genetic":[110],"algorithm.":[111],"The":[112],"proposed":[113],"approach":[114],"tested":[116],"real-world,":[119],"cloud-based":[120],"financial":[121],"scenario":[122],"at":[123],"CaixaBank":[124],"its":[126],"performance":[127],"quality":[129],"evaluated":[131],"simulated":[134],"scenario.":[135]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2022-08-18T00:00:00"}