4 papers
A Survey on Formal Verification Approaches for Dependable Systems
Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
The complexity of digital embedded systems has been increasing in different safety-critical applications such as industrial automation, process control, transportation, and medical…
A survey on Dependable Digital Systems using FPGAs: Current Methods and Challenges
Farah Natiq Kassab bashi, Shawkat S Khairullah
Fault tolerance is increasingly being use to design Dependable Digital Systems (DDS), which refers to the capability of a system to keep performing its intended functions in existe…
Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems
Shawkat Khairullah, Carl Elks
Digital embedded systems in safety-critical cyber-physical-systems (CPSs) require high levels of resilience and robustness against different fault classes. In recent years, self-he…
A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices
Shawkat Sabah Khairullah
Digital Embedded Devices of next-generation safety-critical industrial automation systems require high levels of survivability and resilience against the hardware and software fail…