{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T05:37:29Z","timestamp":1782797849103,"version":"3.54.5"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319997247","type":"print"},{"value":"9783319997254","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99725-4_2","type":"book-chapter","created":{"date-parts":[[2018,8,29]],"date-time":"2018-08-29T13:45:50Z","timestamp":1535550350000},"page":"5-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bagnara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abramo","family":"Bagnara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patricia M.","family":"Hill","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,8,29]]},"reference":[{"key":"2_CR1","unstructured":"VV., AA.: JSF Air vehicle C++ coding standards for the system development and demonstration program. Document 2RDU00001, Rev C, Lockheed Martin Corporation, December 2005"},{"key":"2_CR2","unstructured":"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"},{"key":"2_CR3","unstructured":"The Motor Industry Software Reliability Association: Development Guidelines For Vehicle Based Software. The Motor Industry Research Association, Nuneaton, Warwickshire CV10 0TU, UK, November 1994"},{"key":"2_CR4","unstructured":"Bagnara, R.: MISRA C, for security\u2019s sake! In: Lami, G. (ed.) Informal proceedings of the 14th Workshop on Automotive Software & Systems, Milan, Italy (2016). \nhttp:\/\/www.automotive-spin.it\/\n\n. Also published as Report \narXiv:1705.03517\n\n [cs.SE], available at \nhttp:\/\/arxiv.org\/"},{"key":"2_CR5","unstructured":"Banks, A.: MISRA C \u2013 recent developments and a road map to the future. Presentation slides available at \nhttp:\/\/www.his-2018.co.uk\/session\/misra-c-updates-2016\n\n, presented at the High Integrity Software Conference 2016, Bristol, UK, 1 November 2016 (2016)"},{"key":"2_CR6","unstructured":"Barr, M.: Embedded C Coding Standard. Barr Group, Germantown, MD, USA (2013)"},{"key":"2_CR7","unstructured":"Barr Group, Germantown, MD, USA: Embedded Systems Safety & Security Survey, February 2018. \nhttp:\/\/www.barrgroup.com\/"},{"key":"2_CR8","unstructured":"Baudin, P., Cuoq, P., Filli\u00e2tre, J.C., March\u00e9, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI\/ISO C Specification Language, version 1.13 edn. (2018)"},{"key":"2_CR9","unstructured":"CERT: SEI CERT C Coding Standard: Rules for Developing Safe, Reliable, and Secure Systems. Software Engineering, Carnegie Mellon University, 2016 edn. (2016)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Min\u00e9, A., Mauborgne, L., Monniaux, D., Rival, X.: Varieties of static analyzers: a comparison with ASTREE. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp. 3\u201320. IEEE Computer Society, Shanghai, June 2007","DOI":"10.1109\/TASE.2007.55"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Crocker, D., Carlton, J.: Verification of C programs using automated reasoning. In: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), pp. 7\u201314. IEEE Computer Society, London (2007)","DOI":"10.1109\/SEFM.2007.44"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Dahlweid, M., Moskal, M., Santen, T., Tobies, S., Schulte, W.: VCC: contract-based modular verification of concurrent C. In: 31st International Conference on Software Engineering (ICSE 2009), Companion Volume, pp. 429\u2013430. IEEE Computer Society, Vancouver (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5071046"},{"key":"2_CR13","unstructured":"Gosling, J., Joy, B., Steele, G.L., Bracha, G., Buckley, A.: The Java Language Specification: Java SE 8 Edition, 5th edn. Java Ser. Addison-Wesley, Upper Saddle River (2014)"},{"key":"2_CR14","volume-title":"Safer C: Developing Software for High-Integrity and Safety-Critical Systems","author":"L Hatton","year":"1995","unstructured":"Hatton, L.: Safer C: Developing Software for High-Integrity and Safety-Critical Systems. McGraw-Hill Inc., New York (1995)"},{"key":"2_CR15","unstructured":"Intel Corporation: Intel 64 and IA-32 Architectures Software Developer\u2019s Manual \u2013 Volume 2 (2A, 2B, 2C & 2D): Instruction Set Reference, A-Z (2018)"},{"key":"2_CR16","unstructured":"ISO: ISO 26262:2011: Road Vehicles \u2013 Functional Safety. ISO, Geneva, Switzerland, November 2011"},{"key":"2_CR17","unstructured":"ISO\/IEC: ISO\/IEC 9899:1990: Programming Languages \u2013 C. ISO\/IEC, Geneva, Switzerland (1990)"},{"key":"2_CR18","unstructured":"ISO\/IEC: ISO\/IEC 9899:1990\/AMD 1:1995: Programming Languages \u2013 C. ISO\/IEC, Geneva, Switzerland (1995)"},{"key":"2_CR19","unstructured":"ISO\/IEC: ISO\/IEC 9899:1999: Programming Languages \u2013 C. ISO\/IEC, Geneva, Switzerland (1999)"},{"key":"2_CR20","unstructured":"ISO\/IEC: ISO\/IEC 9899:1999\/Cor 3:2007: Programming Languages \u2013 C. ISO\/IEC, Geneva, Switzerland, Technical Corrigendum 3 edn. (2007)"},{"key":"2_CR21","unstructured":"ISO\/IEC: ISO\/IEC 9899:2011: Programming Languages \u2013 C. ISO\/IEC, Geneva, Switzerland (2011)"},{"key":"2_CR22","unstructured":"ISO\/IEC: ISO\/IEC TS 17961:2013, Information technology \u2013 Programming languages, their environments & system software interfaces \u2013 C Secure Coding Rules. ISO\/IEC, Geneva, Switzerland, November 2013"},{"key":"2_CR23","unstructured":"ISO\/IEC: ISO\/IEC TS 17961:2016, Information technology \u2013 Programming languages, their environments & system software interfaces \u2013 C Secure Coding Rules. ISO\/IEC, Geneva, Switzerland, August 2016"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-20398-5_4","volume-title":"NASA Formal Methods","author":"B Jacobs","year":"2011","unstructured":"Jacobs, B., Smans, J., Philippaerts, P., Vogels, F., Penninckx, W., Piessens, F.: VeriFast: a powerful, sound, predictable, fast verifier for C and java. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 41\u201355. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-20398-5_4"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58485-4","volume-title":"Static Analysis","year":"1994","unstructured":"Le Charlier, B. (ed.): SAS 1994. LNCS, vol. 864. Springer, Heidelberg (1994). \nhttps:\/\/doi.org\/10.1007\/3-540-58485-4"},{"key":"2_CR26","unstructured":"Motor Industry Software Reliability Association: MISRA-C:1998 \u2013 Guidelines for the use of the C language in vehicle based sofware. MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, July 1998"},{"key":"2_CR27","unstructured":"Motor Industry Software Reliability Association: MISRA-C:2004 \u2013 Guidelines for the use of the C language in critical systems. MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, October 2004"},{"key":"2_CR28","unstructured":"MISRA: MISRA C:2012 \u2013 Guidelines for the use of the C language in critical systems. MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, March 2013"},{"key":"2_CR29","unstructured":"MISRA: MISRA C:2012 Amendment 1 \u2013 Additional security guidelines for MISRA C:2012. HORIBA MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, April 2016"},{"key":"2_CR30","unstructured":"MISRA: MISRA Compliance:2016 \u2013 Achieving compliance with MISRA Coding Guidelines. HORIBA MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, April 2016"},{"key":"2_CR31","unstructured":"MISRA: MISRA C:2012 Technical Corrigendum 1 \u2013 Technical clarification of MISRA C:2012. HORIBA MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, June 2017"},{"key":"2_CR32","unstructured":"MISRA: MISRA C:2012 Addendum 2 \u2013 Coverage of MISRA C:2012 (including Amendment 1) against ISO\/IEC TS 17961:2013 \"C Secure\". HORIBA MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, 2nd edn. January 2018"},{"key":"2_CR33","unstructured":"MISRA: MISRA C:2012 Addendum 3 \u2013 Coverage of MISRA C:2012 (including Amendment 1) against CERT C 2016 Edition. HORIBA MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, January 2018"},{"key":"2_CR34","unstructured":"Motor Industry Software Reliability Association: MISRA C++:2008 \u2013 Guidelines for the use of the C++ language in critical systems. MIRA Ltd, Nuneaton, Warwickshire CV10 0TU, UK, June 2008"},{"key":"2_CR35","unstructured":"N\u00e9lis, V., Yomsi, P.M., Pinho, L.M.: The variability of application execution times on a multi-core platform. In: Schoeberl, M. (ed.) Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), OASICS, vol. 55, pp. 6:1\u20136:11. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Toulouse (2016)"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Nowotsch, J., Paulitsch, M.: Leveraging multi-core computing architectures in avionics. In: Constantinescu, C., Correia, M.P. (eds.) Proceedings of the Ninth European Dependable Computing Conference (EDCC 2012), pp. 132\u2013143. IEEE Computer Society, Sibiu (2012)","DOI":"10.1109\/EDCC.2012.27"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Nowotsch, J., Paulitsch, M., Buhler, D., Theiling, H., Wegener, S., Schmidt, M.: Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement. In: Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014), pp. 109\u2013118. IEEE Computer Society, Madrid (2014)","DOI":"10.1109\/ECRTS.2014.20"},{"key":"2_CR38","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.scico.2013.01.006","volume":"82","author":"P Philippaerts","year":"2014","unstructured":"Philippaerts, P., M\u00fchlberg, J.T., Penninckx, W., Smans, J., Jacobs, B., Piessens, F.: Software verification with VeriFast: industrial case studies. Sci. Comput. Program. 82, 77\u201397 (2014)","journal-title":"Sci. Comput. Program."},{"key":"2_CR39","unstructured":"Rainer-Harbach, M.: Methods and Tools for the Formal Verification of Software: An Analysis and Comparison. Master\u2019s thesis, Fakult\u00e4t f\u00fcr Informatik der Technischen Universit\u00e4t Wien, Wien, Austria, November 2011"},{"issue":"3","key":"2_CR40","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/155360.155580","volume":"28","author":"DM Ritchie","year":"1993","unstructured":"Ritchie, D.M.: The development of the C language. SIGPLAN Not. 28(3), 201\u2013208 (1993)","journal-title":"SIGPLAN Not."},{"key":"2_CR41","unstructured":"Signoles, J.: EACSL: Executable ANSI\/ISO C Specification Language, version 1.12 edn. (2018)"},{"key":"2_CR42","unstructured":"Software Engineering Center: Embedded System Development Coding Reference: C Language Edition. Information-Technology Promotion Agency, Japan, version 2.0, July 2014"},{"key":"2_CR43","unstructured":"U.S. Department Of Health and Human Services; Food and Drug Administration; Center for Devices and Radiological Health; Center for Biologics Evaluation and Research: General Principles of Software Validation; Final Guidance for Industry and FDA Staff, version 2.0 edn. January 2002. \nhttp:\/\/www.fda.gov\/MedicalDevices\/DeviceRegulationandGuidance\/GuidanceDocuments\/ucm085281.htm"},{"key":"2_CR44","unstructured":"VDC Research, Natick, MA, USA: 2011 Embedded Engineer Survey, August 2011"},{"key":"2_CR45","unstructured":"Winkler, J.F.H.: The Frege Program Prover. In: 42. Internationales Wissenschaftliches Kolloquium, pp. 116\u2013121. Technische Universit\u00e4t Ilmenau (1997)"},{"key":"2_CR46","unstructured":"Winters, T.: C++ stability, velocity, and deployment plans [R2]. Doc. no. P0684R2, ISO\/IEC JTC1\/SC22\/WG21, February 2018. \nhttp:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2018\/p0684r2.pdf"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99725-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,29]],"date-time":"2018-08-29T13:50:13Z","timestamp":1535550613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99725-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319997247","9783319997254"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99725-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}