Design for Dependability – State of the Art and Trends

• DOI: 10.2139/ssrn.4584793
• Publication Date: 2023-09-26T22:18:54Z
• Authors: Hezhen Liu; Chengqiang Huang; Ke Sun; Jiacheng Yin; Xiaoyu Wu; Jin Wang; Qunli Zhang; Yang Zheng; Vivek Nigam; Feng Liu; Joseph Sifakis

This paper presents an overview of design for dependability as a process involving three distinct but interrelated activities: risk analysis, mitigation, and assessment. Although these activities have been the subject numerous works, few them address issue their integration into rigorous flows. Moreover, most existing results focus on small-size safety-critical systems with specific static architectures. They cannot be applied to large systems, such autonomous dynamic heterogeneous architectures AI components. The overwhelming complexity lack interpretability present challenges model-based techniques require empirical approaches. Furthermore, it is impossible cope all potential risks at time; run-time assurance are necessary cost-effectively achieve desired degree dependability. synthesizes state art showing particularly impact new trends stemming from components in It argues that will profound methods level advocates need theoretical basis engineering allows traditional approaches data-driven search trade-offs between efficiency