{"id":"https://openalex.org/W4401329571","doi":"https://doi.org/10.1109/iolts60994.2024.10616084","title":"Neutron Beam Evaluation of Probabilistic Data Structure-based Online Checkers","display_name":"Neutron Beam Evaluation of Probabilistic Data Structure-based Online Checkers","publication_year":2024,"publication_date":"2024-07-03","ids":{"openalex":"https://openalex.org/W4401329571","doi":"https://doi.org/10.1109/iolts60994.2024.10616084"},"language":"en","primary_location":{"id":"doi:10.1109/iolts60994.2024.10616084","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts60994.2024.10616084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/461302297/Neutron_Beam_Evaluation_of_Probabilistic_Data_Structure-based_Online_Checkers.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015332284","display_name":"Bruno Forlin","orcid":"https://orcid.org/0000-0003-4822-1841"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Bruno Forlin","raw_affiliation_strings":["University of Twente,The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente,The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028500933","display_name":"Edian B. Annink","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Edian B. Annink","raw_affiliation_strings":["University of Twente,The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente,The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106283728","display_name":"Elijah Seth Cishugi","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Elijah Cishugi","raw_affiliation_strings":["University of Twente,The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente,The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011899281","display_name":"Carlo Cazzaniga","orcid":"https://orcid.org/0000-0002-3110-0253"},"institutions":[{"id":"https://openalex.org/I1286704778","display_name":"Rutherford Appleton Laboratory","ror":"https://ror.org/03gq8fr08","country_code":"GB","type":"facility","lineage":["https://openalex.org/I1286704778","https://openalex.org/I162524378","https://openalex.org/I4210087105"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Carlo Cazzaniga","raw_affiliation_strings":["Rutherford Appleton Laboratory,UK"],"affiliations":[{"raw_affiliation_string":"Rutherford Appleton Laboratory,UK","institution_ids":["https://openalex.org/I1286704778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054264208","display_name":"Paolo Rech","orcid":"https://orcid.org/0000-0002-9597-1007"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Rech","raw_affiliation_strings":["Univeristy of Trento,Italy"],"affiliations":[{"raw_affiliation_string":"Univeristy of Trento,Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091105587","display_name":"Gerard Rauwerda","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Gerard Rauwerda","raw_affiliation_strings":["University of Twente,The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente,The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009045604","display_name":"Gianluca Furano","orcid":"https://orcid.org/0000-0001-7624-1415"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gianluca Furano","raw_affiliation_strings":["European Space Agency,The Netherlands"],"affiliations":[{"raw_affiliation_string":"European Space Agency,The Netherlands","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048232172","display_name":"Marco Ottavi","orcid":"https://orcid.org/0000-0002-5064-7342"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marco Ottavi","raw_affiliation_strings":["University of Twente,The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente,The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5015332284"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.6838,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70872382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6681925654411316},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6034442186355591},{"id":"https://openalex.org/keywords/neutron","display_name":"Neutron","score":0.5180004239082336},{"id":"https://openalex.org/keywords/nuclear-physics","display_name":"Nuclear physics","score":0.35658693313598633},{"id":"https://openalex.org/keywords/nuclear-engineering","display_name":"Nuclear engineering","score":0.3519846796989441},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18655121326446533},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18043911457061768},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13495442271232605}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6681925654411316},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6034442186355591},{"id":"https://openalex.org/C152568617","wikidata":"https://www.wikidata.org/wiki/Q2348","display_name":"Neutron","level":2,"score":0.5180004239082336},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","level":1,"score":0.35658693313598633},{"id":"https://openalex.org/C116915560","wikidata":"https://www.wikidata.org/wiki/Q83504","display_name":"Nuclear engineering","level":1,"score":0.3519846796989441},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18655121326446533},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18043911457061768},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13495442271232605}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iolts60994.2024.10616084","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts60994.2024.10616084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:publications/8017ffe2-d065-42a6-84bb-a8eb85fe474c","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/8017ffe2-d065-42a6-84bb-a8eb85fe474c","pdf_url":"https://ris.utwente.nl/ws/files/461302297/Neutron_Beam_Evaluation_of_Probabilistic_Data_Structure-based_Online_Checkers.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Forlin, B, Annink, E B, Cishugi, E, Cazzaniga, C, Rech, P, Rauwerda, G, Furano, G & Ottavi, M 2024, Neutron Beam Evaluation of Probabilistic Data Structure-based Online Checkers. in 2024 IEEE 30th International Symposium on On-line Testing and Robust System Design, IOLTS 2024. IEEE, 30th IEEE International Symposium on On-line Testing and Robust System Design, IOLTS 2024, Rennes, France, 3/07/24. https://doi.org/10.1109/IOLTS60994.2024.10616084","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:purl.org/net/epubs:work/58699540","is_oa":false,"landing_page_url":"https://epubs.stfc.ac.uk/work/58699540","pdf_url":null,"source":{"id":"https://openalex.org/S4306400334","display_name":"Science and Technology Facilities Council","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Paper In Conference Proceedings"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:publications/8017ffe2-d065-42a6-84bb-a8eb85fe474c","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/8017ffe2-d065-42a6-84bb-a8eb85fe474c","pdf_url":"https://ris.utwente.nl/ws/files/461302297/Neutron_Beam_Evaluation_of_Probabilistic_Data_Structure-based_Online_Checkers.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Forlin, B, Annink, E B, Cishugi, E, Cazzaniga, C, Rech, P, Rauwerda, G, Furano, G & Ottavi, M 2024, Neutron Beam Evaluation of Probabilistic Data Structure-based Online Checkers. in 2024 IEEE 30th International Symposium on On-line Testing and Robust System Design, IOLTS 2024. IEEE, 30th IEEE International Symposium on On-line Testing and Robust System Design, IOLTS 2024, Rennes, France, 3/07/24. https://doi.org/10.1109/IOLTS60994.2024.10616084","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2258208517","display_name":null,"funder_award_id":"101095947","funder_id":"https://openalex.org/F4320319005","funder_display_name":"Key Digital Technologies Joint Undertaking"},{"id":"https://openalex.org/G6365534774","display_name":"Together for RISc-V Technology and ApplicatioNs","funder_award_id":"101095947","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8108815249","display_name":"ECIU University Research Institute for Smart European Regions","funder_award_id":"101016888","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320319005","display_name":"Key Digital Technologies Joint Undertaking","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401329571.pdf"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1580997674","https://openalex.org/W1967373117","https://openalex.org/W2123845384","https://openalex.org/W2141173815","https://openalex.org/W2171003402","https://openalex.org/W2185143587","https://openalex.org/W3022895293","https://openalex.org/W3088677962","https://openalex.org/W4285308893","https://openalex.org/W4310731691","https://openalex.org/W4388674573"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"High-criticality":[0],"applications":[1],"are":[2,101,176],"vulnerable":[3],"to":[4,21,111],"Single":[5,112],"Event":[6],"Effects":[7],"(SEEs)":[8],"and":[9,13,24,40,107,141,185],"require":[10],"highly":[11],"reliable":[12],"customizable":[14],"microprocessors.":[15],"Online":[16],"checkers":[17,64,85],"have":[18],"been":[19],"used":[20],"detect":[22],"security":[23],"reliability":[25],"issues":[26],"in":[27,61],"such":[28,34,94,174],"systems.":[29],"Popular":[30],"hardware":[31],"redundancy":[32,106],"techniques":[33],"as":[35,72,95],"Triple":[36],"Modular":[37,42],"Redundancy":[38,43],"(TMR)":[39],"Dual":[41],"(DMR)":[44],"provide":[45],"a":[46,75,102,145,160],"high":[47],"error":[48,171],"coverage":[49],"at":[50],"the":[51,68,96,136,151,154,169,180],"cost":[52],"of":[53,82,104,153,173],"substantial":[54],"redundancy;":[55],"therefore,":[56],"there":[57],"is":[58],"an":[59,108,132],"interest":[60],"introducing":[62],"lightweight":[63],"that":[65,168,186],"could":[66],"offer":[67],"same":[69],"detection":[70],"ability":[71],"DMR":[73],"with":[74],"much":[76],"lower":[77],"overhead.":[78],"A":[79],"possible":[80],"implementation":[81],"these":[83],"online":[84,133,155],"can":[86,189],"be":[87],"based":[88],"on":[89,144],"Probabilistic":[90],"Data":[91],"Structure":[92],"(PDS)":[93],"Bloom":[97],"Filter":[98],"(BF).":[99],"They":[100],"form":[103],"information":[105],"excellent":[109],"complement":[110],"Error":[113,116],"Correction":[114],"Double":[115],"Detection":[117],"(SECDED)":[118],"codes":[119],"because":[120],"they":[121],"allow":[122],"for":[123],"detecting":[124],"higher-order":[125],"upsets.":[126],"In":[127],"this":[128],"work,":[129],"we":[130],"integrate":[131],"checker":[134],"into":[135],"open-source":[137],"RISC-V":[138],"core":[139],"NEORV32":[140],"deploy":[142],"it":[143],"flash-based":[146],"FPGA.":[147],"This":[148],"paper":[149],"presents":[150],"evaluation":[152],"checker\u2019s":[156],"performance":[157],"conducted":[158],"under":[159],"neutron":[161,164],"beam.":[162],"The":[163],"beam":[165],"experiments":[166],"demonstrate":[167],"real-life":[170],"rates":[172],"structures":[175],"comparably":[177],"worse":[178],"than":[179],"initial":[181],"simulation":[182],"would":[183],"indicate":[184],"other":[187],"factors":[188],"impact":[190],"their":[191],"performance.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}