Výsledky vyhledávání - "Athira Jayakumar"

An Integrated Framework for Risk Assessment of High Safety Significant Safety-related Digital Instrumentation and Control Systems in Nuclear Power Plants: Methodology and Demonstration

Autor: Han Bao, Svetlana Lawrence, Jooyoung Park, Heng Ban, Edward Chen, Nam Dinh, Athira Jayakumar, Carl Elks, Hongbin Zhang, Edward Quinn, Sai Zhang, Tate Shorthill

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::82edc76e97c07d4af861de1537eef08a
https://doi.org/10.2172/1924498

Zobrazit plný text záznamu

Accessible Formal Verification for Design Assurance of Model Based Critical I&C Systems

Autor: Smitha Gautham, Athira Jayakumar, Abhi Rajagopala, Carl Elks

Publikováno v: 12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2021).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::dbf0a5fa7dd7a3c7813ca78015810f40
https://doi.org/10.13182/t124-34517

Zobrazit plný text záznamu

Model-Based Design Assurance and Verification in the Context of IEC-61508 SIL- 4 Standard

Autor: Smitha Gautham, Athira Jayakumar, Richard Hite, Christopher Deloglos, Ashraf Tantawy, Matt Gibson, Abhi Rajagopala, Carl Elks

Publikováno v: 12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2021).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::62d04320d115ea357edade4e5df69d7b
https://doi.org/10.13182/t124-34548

Zobrazit plný text záznamu

A Pseudo-Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power

Autor: Athira Jayakumar, Richard Kuhn, Brandon Simons, Aidan Collins, Smitha Gautham, Richard Hite, Raghu Kacker, Abhi Rajagopala, Carl Elks

Publikováno v: 12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2021).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::212df880bb48a9d932d2127b5deb0f5c
https://doi.org/10.13182/t124-34544

Zobrazit plný text záznamu

SymPLe: A Complexity-Aware Approach for Realizing Verifiable FPGA-Based Digital I&C for Safety Critical Applications

Autor: Richard Hite, Christopher Deloglos, Athira Jayakumar, Smitha Gautham, Aidan Collins, Abhi Rajagopala, Carl Elks, Matt Gibson

Publikováno v: 12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2021).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::61c75ef64770ce33e930acc8fc42063f
https://doi.org/10.13182/t124-34547

Zobrazit plný text záznamu

12th FPGA Workshop Meeting SynPle final slides v1

Autor: Deloglos, Christopher, Hite, Richard, Smitha Gautham, Athira Jayakumar, Gibson, Matt, Elks, Carl R.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::dfef0d49ab2c5afad952bbab20d1797e

Zobrazit plný text záznamu

Achieving Verifiable and High Integrity Instrumentation and Control Systems through Complexity Awareness and Constrained Design Design, Verification and Demonstration of the SymPLe Architecture and Methodology

Autor: Elks, Carl, Tantawy, Ashraf, Hite, Richard, Smitha Gautham, Athira Jayakumar, Deloglos, Christopher

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2c0b272f675446c406e4163f4335be0e

Zobrazit plný text záznamu