Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering

von Gautham, Smitha
Veröffentlicht in DECSoS (15. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

An Isolation Design Strategy for Implementing Secure and Safety-Critical Applications in FPGA

von Rajagopala, D. Abhi
Veröffentlicht in NPIC & HMIT (12. : 2021 : Online) 12th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2021) ; Volume 2 of 2 (2022)

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

von Gautham, Smitha
Veröffentlicht in NPIC & HMIT (12. : 2021 : Online) 12th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2021) ; Volume 2 of 2 (2022)

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection

von Gautham, Smitha
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)

Model-Based Design Assurance and Verification in the Sontext of JEC-61508 SIL- 4 Standard

von Gautham, Smitha
Veröffentlicht in NPIC & HMIT (12. : 2021 : Online) 12th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2021) ; Volume 2 of 2 (2022)

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

von Jayakumar, Athira Varma
Veröffentlicht in NPIC & HMIT (12. : 2021 : Online) 12th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2021) ; Volume 2 of 2 (2022)