文件名称：Reliability Demonstration Testing Method for Safety-Critical Embedded
文件大小：293KB
文件格式：PDF
更新时间：2017-09-09 16:46:44
Reliability safety critical embedded
Software is safety-critical if a failure can directly cause loss of human life or have other catastrophic consequences [1], examples include systems that control aircraft, nuclear reactors, and medical devices. Clearly the reliability and correctness of such software needs to be demonstrated with high assurance, and regulatory agencies in safety-critical industries typically require system providers to meet stringent certification requirements