Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems

von Jayakumar, Athira Varma
Veröffentlicht in IMBSA (7. : 2020 : Online) Model-based safety and assessment (2020)

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)