论文部分内容阅读
安全关键系统的电子硬件和软件开发各自遵循RTCA DO254和RTCA DO178C等标准定义的生命周期.但是当软件安装在电子硬件中时,应该如何证明系统安全目标得到满足却不太清楚.本文旨在讨论从系统开发到系统集成过程中通过开展哪些活动,即可证明了软件和硬件的集成“协同工作”,而且还可表明符合S A E A R P4754A中所述的安全性目标.