Research on safety methods of airborne embedded software by Ya-hui LI, Ya-di ZHANG, Peng GUO

Subjects: “…safety-critical system…”
Get full text

Research on verification of behavior requirement patterns based on action sequences by DU Jun-wei1, XU Zhong-wei2, JIANG Feng1

Subjects: “…safety-critical system…”
Get full text

Survey of the intelligent and connected vehicle cybersecurity by Wufei WU, Renfa LI, Gang ZENG, Yong XIE, Guoqi XIE

Subjects: Get full text

Safety Assessment of Speed Governing Systems in Hydroelectric Power Plants: A Functional Safety Perspective by Nezihe Merve Balcı, Özgür Turay Kaymakçı

Subjects: Get full text

A Practical Cache Partitioning Method for Multi-Core Processor on a Commercial Safety-Critical Partitioned RTOS by Taeho Kim

Subjects: Get full text

Safety analysis in the era of large language models: A case study of STPA using ChatGPT by Yi Qi, Xingyu Zhao, Siddartha Khastgir, Xiaowei Huang

Subjects: Get full text

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures by Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin

Subjects: Get full text