{"id":"https://openalex.org/W3205958061","doi":"https://doi.org/10.3390/computers10100125","title":"Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique","display_name":"Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique","publication_year":2021,"publication_date":"2021-10-10","ids":{"openalex":"https://openalex.org/W3205958061","doi":"https://doi.org/10.3390/computers10100125","mag":"3205958061"},"language":"en","primary_location":{"id":"doi:10.3390/computers10100125","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers10100125","pdf_url":"https://www.mdpi.com/2073-431X/10/10/125/pdf?version=1634194489","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-431X/10/10/125/pdf?version=1634194489","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066848534","display_name":"Vyacheslav Kharchenko","orcid":"https://orcid.org/0000-0001-5352-077X"},"institutions":[{"id":"https://openalex.org/I23686167","display_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","ror":"https://ror.org/048j5n646","country_code":"UA","type":"education","lineage":["https://openalex.org/I23686167"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Vyacheslav Kharchenko","raw_affiliation_strings":["Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \u201cKhAI\u201d, 17, Chkalov str., 61070 Kharkiv, Ukraine","Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \"KhAI\", 17, Chkalov str., 61070 Kharkiv, Ukraine"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \u201cKhAI\u201d, 17, Chkalov str., 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]},{"raw_affiliation_string":"Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \"KhAI\", 17, Chkalov str., 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028247762","display_name":"Oleg Illiashenko","orcid":"https://orcid.org/0000-0002-4672-6400"},"institutions":[{"id":"https://openalex.org/I23686167","display_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","ror":"https://ror.org/048j5n646","country_code":"UA","type":"education","lineage":["https://openalex.org/I23686167"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"Oleg Illiashenko","raw_affiliation_strings":["Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \u201cKhAI\u201d, 17, Chkalov str., 61070 Kharkiv, Ukraine","Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \"KhAI\", 17, Chkalov str., 61070 Kharkiv, Ukraine"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \u201cKhAI\u201d, 17, Chkalov str., 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]},{"raw_affiliation_string":"Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \"KhAI\", 17, Chkalov str., 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066502447","display_name":"Vladimir Sklyar","orcid":"https://orcid.org/0000-0001-5425-4098"},"institutions":[{"id":"https://openalex.org/I23686167","display_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","ror":"https://ror.org/048j5n646","country_code":"UA","type":"education","lineage":["https://openalex.org/I23686167"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Vladimir Sklyar","raw_affiliation_strings":["Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \u201cKhAI\u201d, 17, Chkalov str., 61070 Kharkiv, Ukraine","Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \"KhAI\", 17, Chkalov str., 61070 Kharkiv, Ukraine"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \u201cKhAI\u201d, 17, Chkalov str., 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]},{"raw_affiliation_string":"Department of Computer Systems, Networks and Cybersecurity, National Aerospace University \"KhAI\", 17, Chkalov str., 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028247762"],"corresponding_institution_ids":["https://openalex.org/I23686167"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":1.2658,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.80602094,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"10","issue":"10","first_page":"125","last_page":"125"},"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.9977999925613403,"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.9977999925613403,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9976000189781189,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.9098242521286011},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.8681961297988892},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6545504331588745},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5484758019447327},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.4622518718242645},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4498072862625122},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4219316244125366},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4148254692554474},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.374175488948822},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10636770725250244}],"concepts":[{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.9098242521286011},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.8681961297988892},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6545504331588745},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5484758019447327},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.4622518718242645},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4498072862625122},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4219316244125366},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4148254692554474},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.374175488948822},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10636770725250244},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/computers10100125","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers10100125","pdf_url":"https://www.mdpi.com/2073-431X/10/10/125/pdf?version=1634194489","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:54af88280d6e4120aae64539f229cf61","is_oa":true,"landing_page_url":"https://doaj.org/article/54af88280d6e4120aae64539f229cf61","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computers, Vol 10, Iss 10, p 125 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/computers10100125","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers10100125","pdf_url":"https://www.mdpi.com/2073-431X/10/10/125/pdf?version=1634194489","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5184107801","display_name":null,"funder_award_id":"830943","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205958061.pdf","grobid_xml":"https://content.openalex.org/works/W3205958061.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W345711672","https://openalex.org/W1551213495","https://openalex.org/W1614940381","https://openalex.org/W1968688647","https://openalex.org/W2016356898","https://openalex.org/W2033518995","https://openalex.org/W2060389684","https://openalex.org/W2127240123","https://openalex.org/W2148184798","https://openalex.org/W2397320769","https://openalex.org/W2462554956","https://openalex.org/W2506162763","https://openalex.org/W2536395151","https://openalex.org/W2542168174","https://openalex.org/W2589000776","https://openalex.org/W2743504025","https://openalex.org/W2765199737","https://openalex.org/W2769048608","https://openalex.org/W2804324442","https://openalex.org/W2912640545","https://openalex.org/W2918617641","https://openalex.org/W2976439716","https://openalex.org/W2984794240","https://openalex.org/W3034870137","https://openalex.org/W3080159074","https://openalex.org/W3084440229","https://openalex.org/W3090677975","https://openalex.org/W3091456275","https://openalex.org/W3154402428","https://openalex.org/W4211188823","https://openalex.org/W4231068914","https://openalex.org/W4244819751","https://openalex.org/W4288657983","https://openalex.org/W4292916320","https://openalex.org/W4301973704","https://openalex.org/W6636379126","https://openalex.org/W6665671249","https://openalex.org/W6681927759","https://openalex.org/W6695558918","https://openalex.org/W6843061673","https://openalex.org/W6845315216"],"related_works":["https://openalex.org/W3004362061","https://openalex.org/W2364622490","https://openalex.org/W2383986884","https://openalex.org/W2356141508","https://openalex.org/W4297665406","https://openalex.org/W2749962643","https://openalex.org/W2390807153","https://openalex.org/W2110818533","https://openalex.org/W1917852300","https://openalex.org/W2042515040"],"abstract_inverted_index":{"This":[0],"paper":[1,142,172,185],"describes":[2],"a":[3,33,111,144],"proposed":[4],"method":[5],"and":[6,40,115,135,150,168,195,206,214,220,226],"technology":[7],"of":[8,11,42,53,60,77,99,107,110,119,146,153,166,193,201,211,216],"safety":[9,157],"assessment":[10,21,65],"projects":[12,155],"based":[13,23,103],"on":[14,24,104],"field":[15,210],"programmable":[16],"gate":[17],"arrays":[18],"(FPGA).":[19],"Safety":[20],"is":[22,36,101],"special":[25],"invariants,":[26],"e.g.,":[27],"properties":[28,76],"which":[29,68],"remain":[30],"unchanged":[31,75],"when":[32],"specified":[34],"transformation":[35],"applied.":[37],"A":[38],"classification":[39],"examples":[41,160],"FPGA":[43,78,113,132,154],"project":[44,93,114],"invariants":[45,54,61,85,100,167],"are":[46,55,66,69,128],"provided.":[47],"In":[48],"the":[49,74,108,117,120,125,130,136,147,171,178,187,209],"paper,":[50],"two":[51],"types":[52],"described.":[56],"The":[57,96,141,184],"first":[58],"type":[59,98],"used":[62],"for":[63,161,204,224],"such":[64],"those":[67],"versatile":[70],"since":[71],"they":[72],"reflect":[73],"projects,":[79],"hardware":[80,131,180],"description":[81,145,181],"languages,":[82],"etc.":[83,140],"These":[84],"can":[86,199],"be":[87,123,200],"replenished":[88],"as":[89],"experience":[90],"gained":[91],"in":[92,177,208],"implementation":[94],"accumulates.":[95],"second":[97],"formed":[102],"an":[105],"analysis":[106],"specifics":[109],"particular":[112,151],"reflects":[116],"features":[118],"tasks":[121,164],"to":[122],"solved,":[124],"algorithms":[126,175],"that":[127],"implemented,":[129],"chips":[133],"used,":[134],"computer-aided":[137],"design":[138],"tools,":[139],"contains":[143,173],"overall":[148],"conception":[149],"stages":[152],"invariant-based":[156],"assessment.":[158],"As":[159],"solving":[162],"some":[163],"(using":[165],"defect":[169],"injections),":[170],"several":[174,191],"written":[176],"VHSIC":[179],"language":[182],"(VHDL).":[183],"summarizes":[186],"results":[188],"obtained":[189],"during":[190],"years":[192],"practical":[194,202],"theoretical":[196],"research.":[197],"It":[198],"use":[203],"engineers":[205],"researchers":[207],"quality,":[212],"reliability,":[213],"security":[215],"embedded":[217],"systems,":[218],"software":[219],"information":[221],"management":[222],"systems":[223],"critical":[225],"business":[227],"applications.":[228]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2021-10-25T00:00:00"}