The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software-Reference-Cited by-同舟云学术

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

Published:2018 Issue: Volume: Page:5-23
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Bagnara Roberto,Bagnara Abramo,Hill Patricia M.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-99725-4_2

Reference46 articles.

1. VV., AA.: JSF Air vehicle C++ coding standards for the system development and demonstration program. Document 2RDU00001, Rev C, Lockheed Martin Corporation, December 2005

2. VV., AA.: JPL institutional coding standard for the C programming language. Technical report JPL DOCID D-60411, Jet Propulsion Laboratory, California Institute of Technology, March 2009

3. The Motor Industry Software Reliability Association: Development Guidelines For Vehicle Based Software. The Motor Industry Research Association, Nuneaton, Warwickshire CV10 0TU, UK, November 1994

4. Bagnara, R.: MISRA C, for security’s sake! In: Lami, G. (ed.) Informal proceedings of the 14th Workshop on Automotive Software & Systems, Milan, Italy (2016). http://www.automotive-spin.it/ . Also published as Report arXiv:1705.03517 [cs.SE], available at http://arxiv.org/

5. Banks, A.: MISRA C – recent developments and a road map to the future. Presentation slides available at http://www.his-2018.co.uk/session/misra-c-updates-2016 , presented at the High Integrity Software Conference 2016, Bristol, UK, 1 November 2016 (2016)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A verified low-level implementation and visualization of the adaptive exterior light and speed control system;International Journal on Software Tools for Technology Transfer;2024-05-27

2. A Model-Driven Architecture Approach to Accelerate Software Code Generation;2024 7th International Conference on Software and System Engineering (ICoSSE);2024-04-19

3. Static Analysis Method of C Code Based on Model Checking and Defect Pattern Matching;2023 IEEE 5th International Conference on Power, Intelligent Computing and Systems (ICPICS);2023-07-14

4. A GCC-based checker for compliance with MISRA-C's single-translation-unit rules;Connection Science;2023-06-16

5. Continuous Integration and Delivery Practices for Cyber-Physical Systems: An Interview-Based Study;ACM Transactions on Software Engineering and Methodology;2023-04-26