Experiences on Applying IEC 61508 Compliant Model-based Verification to an FPGA based System for Nuclear Power Applications. Gautham, S., Jayakumar, A., Hite, R., Deloglos, C., Moore, J., Tantawy, A., Gibson, M., & Elks, C. submitted to IEEE Transactions on Nuclear Science, in revision, 2020. bibtex @article{gautham_experiences_2020,
title = {Experiences on {Applying} {IEC} 61508 {Compliant} {Model}-based {Verification} to an {FPGA} based {System} for {Nuclear} {Power} {Applications}},
journal = {submitted to IEEE Transactions on Nuclear Science, in revision},
author = {Gautham, Smitha and Jayakumar, Athira and Hite, Richard and Deloglos, Christopher and Moore, Jason and Tantawy, Ashraf and Gibson, Matt and Elks, Carl},
year = {2020},
}
Downloads: 0
{"_id":"wucAG7yiP28TPn9Rp","bibbaseid":"gautham-jayakumar-hite-deloglos-moore-tantawy-gibson-elks-experiencesonapplyingiec61508compliantmodelbasedverificationtoanfpgabasedsystemfornuclearpowerapplications-2020","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Gautham, S.","Jayakumar, A.","Hite, R.","Deloglos, C.","Moore, J.","Tantawy, A.","Gibson, M.","Elks, C."],"bibdata":{"bibtype":"article","type":"article","title":"Experiences on Applying IEC 61508 Compliant Model-based Verification to an FPGA based System for Nuclear Power Applications","journal":"submitted to IEEE Transactions on Nuclear Science, in revision","author":[{"propositions":[],"lastnames":["Gautham"],"firstnames":["Smitha"],"suffixes":[]},{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira"],"suffixes":[]},{"propositions":[],"lastnames":["Hite"],"firstnames":["Richard"],"suffixes":[]},{"propositions":[],"lastnames":["Deloglos"],"firstnames":["Christopher"],"suffixes":[]},{"propositions":[],"lastnames":["Moore"],"firstnames":["Jason"],"suffixes":[]},{"propositions":[],"lastnames":["Tantawy"],"firstnames":["Ashraf"],"suffixes":[]},{"propositions":[],"lastnames":["Gibson"],"firstnames":["Matt"],"suffixes":[]},{"propositions":[],"lastnames":["Elks"],"firstnames":["Carl"],"suffixes":[]}],"year":"2020","bibtex":"@article{gautham_experiences_2020,\n\ttitle = {Experiences on {Applying} {IEC} 61508 {Compliant} {Model}-based {Verification} to an {FPGA} based {System} for {Nuclear} {Power} {Applications}},\n\tjournal = {submitted to IEEE Transactions on Nuclear Science, in revision},\n\tauthor = {Gautham, Smitha and Jayakumar, Athira and Hite, Richard and Deloglos, Christopher and Moore, Jason and Tantawy, Ashraf and Gibson, Matt and Elks, Carl},\n\tyear = {2020},\n}\n\n","author_short":["Gautham, S.","Jayakumar, A.","Hite, R.","Deloglos, C.","Moore, J.","Tantawy, A.","Gibson, M.","Elks, C."],"key":"gautham_experiences_2020","id":"gautham_experiences_2020","bibbaseid":"gautham-jayakumar-hite-deloglos-moore-tantawy-gibson-elks-experiencesonapplyingiec61508compliantmodelbasedverificationtoanfpgabasedsystemfornuclearpowerapplications-2020","role":"author","urls":{},"metadata":{"authorlinks":{"elks, c":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.zotero.org%2Fgroups%2F2575028%2Fitems%3Fkey%3DWRT0i5KCH5DutUN8UOzXF5dC%26format%3Dbibtex%26limit%3D100"}},"downloads":0},"bibtype":"article","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-10-05T11:23:13.660Z","downloads":0,"keywords":[],"search_terms":["experiences","applying","iec","61508","compliant","model","based","verification","fpga","based","system","nuclear","power","applications","gautham","jayakumar","hite","deloglos","moore","tantawy","gibson","elks"],"title":"Experiences on Applying IEC 61508 Compliant Model-based Verification to an FPGA based System for Nuclear Power Applications","year":2020,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}