Co-verification of reliability and confidentiality is a necessary process for safety- and security-critical applications. While these two objectives are conflicting, preassignment has emerged as an effective and efficient verification solution. In this article, we propose two preassignment-based co-verification techniques, namely, Blocks-based Vulnerability Preassignment (BVP) and Reversed Blocks-based Time Preassignment (RBTP) for a parallel application in distributed CAN FD systems. BVP can significantly improve reliability under a vulnerability bound, while RBTP can reduce vulnerability over a reliability goal. Real case study with the parallel automotive application and parallelism study with two structures of high-parallelism and low-parallelism applications are demonstrated; the proposed BVP and RBTP can improve the verification acceptance ratio by 19 and 10 percent compared to the state-of-the-art Average Vulnerability Preassignment (AVP) and Average Time Preassignment (ATP) techniques, respectively.

中文翻译：

---

分布式系统中并行应用程序的可靠性和机密性共同验证

可靠性和机密性的共同验证是对安全性和安全性至关重要的应用程序的必要过程。尽管这两个目标相互矛盾，但预分配已成为一种有效且高效的验证解决方案。在本文中，我们为分布式CAN FD系统中的并行应用提出了两种基于预分配的协同验证技术，即基于块的漏洞预分配（BVP）和基于反向块的时间预分配（RBTP）。BVP可以显着提高在漏洞范围内的可靠性，而RBTP可以降低超过可靠性目标的漏洞。演示了并行汽车应用的实际案例研究和具有高并行度和低并行度应用程序两种结构的并行性研究；