Blockchain and digital twin empowered trustworthy self-healing for edge-AI enabled industrial Internet of things

X Feng, J Wu, Y Wu, J Li, W Yang - Information Sciences, 2023 - Elsevier
The public has regarded Edge-AI enabled Industrial Internet of Things (IIoT) as the crucial
foundation in the intelligent digital factories in Industry 4.0. It can fully catch the massive …

Improving the safety and security of software systems by mediating SAP verification

MF Almufareh, M Humayun - Applied Sciences, 2023 - mdpi.com
Security and performance (SAP) are two critical NFRs that affect the successful completion
of software projects. Organizations need to follow the practices that are vital to SAP …

Virtualization airborne trusted general computing technology

S Zhang, Y Wang, X Wan, Z Li, Y Guo - Applied Sciences, 2023 - mdpi.com
Aircraft information service systems, such as airborne information systems, airborne
integrated maintenance management systems, and cabin management systems, have …

Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach

I Agirre, I Yarza, I Mugarza, J Binchi, P Onaindia… - Microprocessors and …, 2021 - Elsevier
Abstract Over-The-Air Software Updates (OTASU) are gaining popularity on the safety-
critical domain. The motivation behind this trend is twofold. On the one hand, the ability of …

Safe and Secure? On the Timing Analysability of Cryptographic Implementations

A Stegmeier, P Knauer, P Schubaur… - 2024 IEEE 30th Real …, 2024 - ieeexplore.ieee.org
Hard real-time systems are increasingly vulnerable to cyberattacks. Since real-time systems
represent a significant proportion of safety-critical systems not only established safety …

[引用][C] Security risks in the software development lifecycle: A review

D Odera, M Otieno, JE Ounza - World Journal …, 2023 - World Journal of Advanced …