MISRA C编码标准及其在安全和安保关键嵌入式软件开发与分析中的作用
编程语言
2018-09-05 v1
摘要
MISRA项目始于1990年，其使命是为嵌入式控制系统和独立软件的安全与安保应用提供世界领先的最佳实践指南。MISRA C是一个定义C语言子集的编码标准，最初面向汽车领域，但现已被所有在安全和/或安保关键背景下开发C软件的行业部门所采用。在本文中，我们介绍MISRA C、其在关键软件（尤其是嵌入式系统）开发中的作用、其与行业安全标准的关联，以及使用一种以自然语言编写且在过去40多年中缓慢演进的通用编程语言标准所面临的挑战。我们还概述了静态分析在针对MISRA C的合规性自动检查中的作用，以及MISRA C语言子集在使形式化方法更广泛地应用于工业C语言软件中的作用。
引用
@article{arxiv.1809.00821,
title = {The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software},
author = {Roberto Bagnara and Abramo Bagnara and Patricia M. Hill},
journal= {arXiv preprint arXiv:1809.00821},
year = {2018}
}
备注
19 pages, 1 figure, 2 tables