Improving Dependability of Distributed Real-Time Applications via Safety and Security Co-Design

Jinyu Zhan,Wei Jiang, Xinke Liao, Ke Jiang,Deepak Adhikari

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(2024)

引用 0|浏览5
暂无评分
摘要
With the increasing deployment in mission-critical domains, it is of foremost importance to improve dependability of distributed real-time applications for cyber physical systems with safety & security-critical threats. Different from existing works addressing the security or safety design separately, this paper makes efforts to achieve the safety and security co-design from system-level perspective, especially considering the interplay between fault tolerance and security harden techniques. To guarantee the safety of real-time applications, fault-tolerant techniques, e.g., task re-execution and active replica, are leveraged to tolerate faults in task executions. To improve the security of distributed applications, cryptography is deployed to resist confidentiality attacks on messages delivered over the communication media. We analyze the impact of task’s fault tolerance on secure message communication, and then formulate the design problem as a multi-objective optimization problem, i.e., to minimize the failure probability and security vulnerability of the application while subject to given fault-tolerant constraints, execution constraints and deadline constraints. Since the optimization problem is NP-hard, we then propose an improved multi-objective optimization algorithm, called Decomposition-based Dependability Co-optimization (DeDeCo) algorithm, to search for the optimal Pareto solutions of security and reliability harden assignments for messages and tasks respectively. Extensive experiments and an industrial case evaluate the efficiency of DeDeCo, indicating that our design and optimization algorithm are suitable for improving the dependability of real-time applications running on security & safety-critical cyber physical systems.
更多
查看译文
关键词
Cyber physical systems,dependability,safety,security,real-time,design optimization
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要