Understanding and fixing complex faults in embedded cyberphysical systems
Embedded systems are becoming ubiquitous companions in all our lives. This article
reviews the terminology and modern understanding of complex anomalies and state-of-the …
reviews the terminology and modern understanding of complex anomalies and state-of-the …
Systematic model-based design assurance and property-based fault injection for safety critical digital systems
AV Jayakumar - 2020 - scholarscompass.vcu.edu
With advances in sensing, wireless communications, computing, control, and automation
technologies, we are witnessing the rapid uptake of Cyber-Physical Systems across many …
technologies, we are witnessing the rapid uptake of Cyber-Physical Systems across many …
[PDF][PDF] A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power
A Jayakumar, DR Kuhn, B Simons… - National Institute of …, 2021 - tsapps.nist.gov
The major challenge faced by the nuclear industry related to software testing of digital
embedded devices is the identification of practical software (SW) testing solutions that …
embedded devices is the identification of practical software (SW) testing solutions that …
Systematic software testing of critical embedded digital devices in nuclear power applications
While design assurance and testing methods for safety-critical systems have been widely
researched and studied for years across a number of industry domains, there are few efforts …
researched and studied for years across a number of industry domains, there are few efforts …
[PDF][PDF] Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems PREPRINT
Embedded systems are everywhere, and they present unique challenges in verification and
testing. The real-time nature of many embedded systems produces complex failure modes …
testing. The real-time nature of many embedded systems produces complex failure modes …