{"id":"https://openalex.org/W2736837178","doi":"https://doi.org/10.1109/jsyst.2017.2726178","title":"A Practical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysis","display_name":"A Practical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysis","publication_year":2017,"publication_date":"2017-07-21","ids":{"openalex":"https://openalex.org/W2736837178","doi":"https://doi.org/10.1109/jsyst.2017.2726178","mag":"2736837178"},"language":"en","primary_location":{"id":"doi:10.1109/jsyst.2017.2726178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2017.2726178","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Systems Journal","raw_type":"journal-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/A5079131005","display_name":"Antonio Vieira da Silva Neto","orcid":"https://orcid.org/0000-0002-4898-0082"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Antonio Vieira da Silva Neto","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022457581","display_name":"L\u00facio F. Vismari","orcid":"https://orcid.org/0000-0002-3101-2464"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Lucio Flavio Vismari","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038136436","display_name":"Ricardo Alexandre Veiga Gimenes","orcid":null},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ricardo Alexandre Veiga Gimenes","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042354084","display_name":"Daniel Baraldi Sesso","orcid":null},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Daniel Baraldi Sesso","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013321718","display_name":"Jorge Rady de Almeida","orcid":"https://orcid.org/0000-0003-3839-4570"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jorge Rady de Almeida","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032411091","display_name":"Paulo S\u00e9rgio Cugnasca","orcid":"https://orcid.org/0000-0002-5675-4667"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Paulo Sergio Cugnasca","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024866712","display_name":"Jo\u00e3o Batista Camargo","orcid":"https://orcid.org/0000-0001-5098-6769"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Joao Batista Camargo","raw_affiliation_strings":["[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]"],"raw_orcid":"https://orcid.org/0000-0001-5098-6769","affiliations":[{"raw_affiliation_string":"[Escola Polit\u00e9cnica da Universidade de Sao Paulo, Sao Paulo, Brazil]","institution_ids":["https://openalex.org/I17974374"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I17974374"],"apc_list":null,"apc_paid":null,"fwci":0.9229,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76349006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"12","issue":"4","first_page":"3473","last_page":"3484"},"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.9987999796867371,"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.9987999796867371,"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.9984999895095825,"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.9984999895095825,"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/computer-science","display_name":"Computer science","score":0.5230530500411987},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4525562524795532},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.39604651927948},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2713685631752014},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.1485244333744049}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5230530500411987},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4525562524795532},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.39604651927948},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2713685631752014},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.1485244333744049}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jsyst.2017.2726178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2017.2726178","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Systems Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W133455360","https://openalex.org/W588870671","https://openalex.org/W1551213495","https://openalex.org/W1689808148","https://openalex.org/W2000163934","https://openalex.org/W2002687126","https://openalex.org/W2034772031","https://openalex.org/W2038219610","https://openalex.org/W2040462202","https://openalex.org/W2043891441","https://openalex.org/W2054696932","https://openalex.org/W2074029610","https://openalex.org/W2089803349","https://openalex.org/W2105086490","https://openalex.org/W2147163354","https://openalex.org/W2154727547","https://openalex.org/W2289263734","https://openalex.org/W2320381163","https://openalex.org/W2321638065","https://openalex.org/W2526388720","https://openalex.org/W2534506553","https://openalex.org/W2536173650","https://openalex.org/W4246626729","https://openalex.org/W4253558656","https://openalex.org/W6696641806","https://openalex.org/W6700406964"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"The":[0,109],"use":[1,54,200],"of":[2,37,55,84,100,119,137,169,193],"programmable":[3],"logic":[4],"devices":[5],"(PLDs)":[6],"in":[7,57,90,133,163,201],"safety-critical":[8,38,58,77,170],"systems":[9,39,59],"has":[10,60],"meaningfully":[11],"increased":[12],"over":[13],"the":[14,35,53,68,85,97,116,120,135,138,155,160,183,190],"past":[15],"years,":[16],"driven":[17],"by":[18,92,158],"advantages":[19],"such":[20,28,181],"as":[21,65],"reduced":[22],"development":[23,36],"costs":[24],"and":[25,131],"time-to-market.":[26],"Despite":[27],"increasing":[29],"use,":[30],"current":[31],"standards":[32],"that":[33],"support":[34],"have":[40],"still":[41],"not":[42,61],"appropriately":[43],"addressed":[44],"how":[45],"to":[46,140,145],"certificate":[47],"PLD-based":[48,76,194],"systems.":[49,78],"Recent":[50],"bibliography":[51],"on":[52,115,154,180],"PLDs":[56,101],"filled":[62],"this":[63],"gap":[64],"well,":[66],"reinforcing":[67],"need":[69],"for":[70,75,127,189],"a":[71,103,202],"safety":[72,98,106,111,166,191,195],"analysis":[73,99,107,112,167,192],"methodology":[74],"This":[79],"paper":[80],"proposes":[81],"an":[82,141,146],"extension":[83],"practical":[86],"analytical":[87],"approach":[88,162,185],"presented":[89],"2015":[91],"Vismari":[93],"et":[94],"al.,":[95],"inserting":[96],"into":[102],"broader":[104],"system":[105,139,203],"process.":[108],"PLD":[110,148],"is":[113,176,186],"based":[114,153],"code":[117],"inspection":[118],"hardware":[121],"description":[122],"source":[123],"code.":[124],"It":[125],"checks":[126],"inappropriate":[128],"coding":[129],"practices":[130],"aids":[132],"minimizing":[134],"exposure":[136],"unsafe":[142],"state":[143],"due":[144],"inadequate":[147],"design.":[149],"A":[150],"case":[151],"study":[152],"authors'":[156],"experience":[157],"applying":[159],"proposed":[161,184],"real":[164],"independent":[165],"projects":[168],"systems,":[171,197],"together":[172],"with":[173],"its":[174,199],"results,":[175,182],"then":[177],"presented.":[178],"Based":[179],"deemed":[187],"appropriate":[188],"critical":[196],"supporting":[198],"certification":[204],"context.":[205]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-07-31T00:00:00"}