Formal Development and Statistical Analysis for Software in Larger Trusted Embedded Systems

2019 IEEE National Aerospace and Electronics Conference (NAECON) Pub Date : 2019-07-01 DOI:10.1109/NAECON46414.2019.9058191

Jonathan Lockhart, C. Purdy

引用次数: 0

Abstract

Adding software can overcome limitations of hardware-only embedded systems. Here we expand previous results on reliability benchmarks for trusted embedded software to larger, more complex systems.

查看原文本刊更多论文

大型可信嵌入式系统中软件的正式开发与统计分析

添加软件可以克服仅硬件嵌入式系统的限制。在这里，我们将以前关于可信嵌入式软件可靠性基准的结果扩展到更大、更复杂的系统。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2019 IEEE National Aerospace and Electronics Conference (NAECON)

自引率

0.00%

发文量