LoginSignup
0

More than 1 year has passed since last update.

MISRA C 2012 組み込みプログラミングの高信頼化ガイド<エンジニア夏休み企画>【読書感想文】

Last updated at Posted at 2022-09-01

<エンジニア夏休み企画>【読書感想文】

参加記事です。 

MISRA C 2012 組み込みプログラミングの高信頼化ガイド

十年の時を過ぎてはもう一度初心に戻ってコンパイルする #短歌 自動車のソフトウェアはこの十年で大きく様変わりしつつある。十年前に馬鹿にされていたことが今はあたりまえ。今、流行っていることは十年後にはどうでもいいことかもしれない。大事なのは安全、安心。

参考文献

・ [1] MISRA Guidelines for the Use of the C Language In Vehicle Based Software,ISBN 0-9524156- 9-0,Motor Industry Research Association,Nuneaton,1998
・ [1E2] MISRA C:2004 Guidelines for the use of the C language in critical systems, ISBN 0 9524156 2 3 (paperback), ISBN 0 9524156 4 X (PDF), MIRA, October 2004.
・ [1J] JASO/TP-01002:2002 自動車用C言語利用のガイドライン , 自動車技術会 ,2002
・ [1JK] 組込み開発者におくる MISRA C―組込みプログラミングの高信頼化ガイド (MISRA C:1998
対応)日本規格協会 ,2004
・ [1J2] JASO/TP-01002-06:2006 自動車C言語利用のガイドライン第二版 , 自動車技術会 ,2006
・ [1J2K] 組込み開発者におくる MISRA C:2004―C言語利用の高信頼化ガイド日本規格協会 , 2006
・ [2] ISO/IEC 9899: 1990,Programming languages ― C,International Organization for Standardization,1990
・ [2J] JIS X 3010:1993 プログラミング言語 C, 日本規格協会 ,2006
・ [3] Hatton L.,Safer C ― Developing Software for High-integrity and Safety-critical Systems,ISBN 0-07-707640-0,McGraw-Hill,1994
・ [4] ISO/IEC 9899:1990/COR 1:1995,Technical Corrigendum 1,1995
・ [5] ISO/IEC 9899:1990/AMD 1:1995,Amendment 1,1995
・ [5J] JIS X 3010: 追補 : 日本規格協会 ,1996
・ [6] ISO/IEC 9899:1990/COR 2:1996,Technical Corrigendum 2,1996
・ [7] ANSI X3.159-1989,Programming languages ― C, American National Standards Institute,1989
・ [8] ISO/IEC 9899:1999,Programming languages ― C,International Organization for Standardization,1999
・ [8J] JIS X 3010:2003, プログラミング言語 C, 日本規格協会 ,2003
・ [9] ISO/IEC 9899:1999/COR 1:2001 ,Technical Corrigendum 1,2001
・ [10] ISO/IEC 9899:1999/COR 2:2004,Technical Corrigendum 2,2004
・ [11] ISO/IEC 9899:1999/COR 3:2007,Technical Corrigendum 3,2007
・ [12] ISO/IEC 9899:1999 Committee Draft WG14/N1256,Programming languages ―C,
International Organization for Standardization,2007
・ [13] ISO/IEC 9899:2011, Programming languages ― C,Internationa l Organization for Standardization,2011
・ [13a] ISO/IEC 9899:2011 Jones - DIS diff doc WG14/N1570,Programming languages ―C ,International Organization for Standardization,2011
・ [14] ISO/IEC 9899:2011/C OR 1:2012,Technical Corrigendum 1,2012
・ [15] MISRA Development Guidelines for Vehicle Based Software,ISBN 0-9524156-0-7,Mo tor Industry Research Association,Nuneaton,1994
・ [15J] JSAE JASO/TP-01001 自動車用ソフトウェアの開発ガイドライン , 社団法人自動車技術
会 ,2002
・ [16] MISRA AC AGC Guidelines for the application of MISRA C:2004 in the context of automatic code generatio n, ISBN 978-1-906400-02-6, MIRA Limited, Nuneaton, November 2007
・ [17] MISRA AC GMG Generic modelling design and style guidelines,ISBN 978-1-906400-06-4,MIRA Limited,Nuneaton,2009
・ [18] MISRA AC SLSF Modelling design and style guidelines for the application of Simulink and Stateflow,ISBN 978-1-906400-07-1,MIRA Limited,Nun eaton,2009
・ [19] MISRA AC TL Modelling style guidelines for the application of Targetlink in the context of automatic code generation,ISBN 978-1-906400-01-9,MIRA Limi ted,Nuneaton,2007
・ [20] CRR80,The Use of Commercial Off -the-Shelf (COTS) Software in Safety Related Applications,ISBN 0-7176-0984-7,HSE Books, 1995
・ [21] ISO 9001:2008,Quality management systems ― Requirements,International Organization for Standardization,2008
・ [21J] JIS Q 9001:2008 品質マネジメントシステム-要求事項 , 日本規格協会 ,2008
・ [22] ISO 90003:2004,Software engineering ― Guidelines for the application of ISO 9001:2000 to computer software,ISO,2004
・ [23] ISO 26262:2011,Road vehicles ― Functional safety,ISO,2011
・ [24] DO-178C/ED-12C,Software Considerations in Airborne Systems and Equipment Certification,RTCA,2011
・ [25] The TickIT Guide,Using ISO 9001: 2000 for Software Quality Management System Construction,Certifi cation and Continual Improvement,Issue 5,British Standards Institution,2001
・ [26] Straker D.,C Style:Standards and Guidelines,ISBN 0-13-116898-3,Prentice Hall 1991
・ [26J] デビッド ストレイカー , C スタイル 標準とガイドライン , ISBN 978-4303724801, 海文堂出版 , 1993
・ [27] Fenton N.E. and Pfleeger S.L.,Software Metrics:A Rigorous and Practical Approach,2nd Edition,ISBN 0-534-95429-1,PWS,1998
・ [28] MISR A Report 5 Software Metrics,Motor Industry Research Association,Nuneaton,1995
・ [29] MISR A Report 6 Verifi cation and Validation,Motor Industry ResearchAssociation,Nuneaton,1995
・ [30] Kernighan B.W.,Ritchie D.M.,The C programming language,2nd edition,ISBN 0-13-110362-8,Prentice Hall,1988
・ [30J] カーニハン , リッチ,プログラミング言語 C 第二版,ISBN 978-4320026926, 共立出版 ,1989
・ [31] A. コーニグ,C プログラミングの落とし穴,ISBN 0-201-17928-8,Add ison-Wesley,1988
・ [31J] A. コーニグ : 訳:中村 明,C プログラミングの落とし穴,ISBN 978-4775302552, 新紀元社 ,2004
・ [32] IEC 61508:2010,Functional safety of electrical/electronic/programmable electronic safety-related systems,Int ernational Electromechanical Commission,2010
・ [32J] JIS C 0508:2012 電気・電子・プログラマブル電子安全関連系の機能安全 , 日本規格協会 ,2012
・ [33] EN 50128:2011,Railway a pplications ― Communications, signalling and processing systems ― Software for railway control and protection,CENELEC,2011
・ [34] IEC 62304:2006,Medical device software ― Software life cycle processes,IEC,2006
・ [34J] JIS T 2304:2012 医療機器ソフトウェア ― ソフトウェアライフサイクルプロセス , 日本規格協会 ,2012
・ [35] ANSI/IEEE Std 754,IEEE Standard for Binary Floating-Point Arithmetic,1985
・ [36] ISO/IEC 10646:2003,Informat ion technology ― Universal Multiple-Octet Coded Character Set (UCS),Inter national Organization for Standardization,2003
・ [36J] JIS X 0221:2014 国際符号化文字集合(UCS), 日本規格協会 ,2014
・ [37] Goldberg D.,What Every Computer Scientist Should Know about Floating-Point
Arithmetic,Computing Surveys,1991
・ [38] Software Riliability Enhancement Center(SEC),Information-technology Promotion Agency(IPA/SEC), JapanESCR Embedded System development Coding Reference guide [C]
・ [38J] 独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター (IPA/SEC), 組込みソフトウェア向けコーディング作法ガイド(ESCR)[ C言語版 ] 1.1 版,SEC Books,2012
・ [38J2] 独立行政法人情報処理推進機構ソフトウェア高信頼化センター (IPA/SEC), 組込みソフトウェア向けコーディング作法ガイド(ESCR)[ C言語版 ] 2.0 版,SEC Books,2014
・ [39] Alan R. Feuer : The C Puzzle Book, Addison-Wesley Pub. 1982
・ [39E2] Alan R. Feuer : The C Puzzle Book, Addison-Wesley Pub. 1998
・ [39J] アラン・R. フューアー , C パズルブック ,ISBN 978-4871487733, アスキー ,1985
・ [39J2] アラン・R. フューアー , C パズルブック ,ISBN 978-4877830298, カットシステム ,2000

Addition

MISRA C:2012 Permits Deviation permits for MISRA Compliance

MISRA C:2012 Amendment 2 Updates for ISO/IEC 9899:2011 Core functionality

MISRA C:2012 Technical Corrigendum 1

MISRA C:2012 Amendment 1, Additional security guidelines for MISRA C:2012

MISRA C:2012 Amendment 2, Updates for ISO/IEC 9899:2011 Core functionality

MISRA C:2012 Technical Corrigendum 2

MISRA Compliance:2020 Achieving compliance with MISRA Coding Guidelines

個人開発 

個人開発ができるように、一つ一つの節ごとに別の記事として書いて、 
個人開発で役立てられるようにしようと思う。

箱庭

仮想戦略会議「箱庭」

お盆には「箱庭」記事を書きましょう「もくもく会」の題材になる(1)

お盆には「箱庭」記事を書きましょう「もくもく会」の題材になる(2)

参考資料

MISRA compliance 2016とは

自己参照 

MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認

MISRA C 2012のTechnical Corrigendum 1の21.X訂正意見のかなりの部分が日本からだった件

misra C 2012 permits(許可)を読む

MISRA C:2012追加文書

MISRA C/C++の勇み足または書き足りない事項を見つける方法

MISRA related document - safety and security on c and c++

MISRA C/C++, AUTOSAR C++, CERT C/C++とC/C++工業標準をコンパイルする

どうやって MISRA Example Suiteをコンパイルするか

MISRA C.2.1 Type widening in integer promotion,(wicm3.c )

MISRA C断片コンパイル用ヘッダ

C言語の#define文マクロをC++のTemplateか何かにする方法

MISRA C++ 5-0-16

<この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。>

文書履歴(document history)

ver. 0.01 初稿  20220827
ver. 0.02 参考資料追記 20220905

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
0