<エンジニア夏休み企画>【読書感想文】
参加記事です。
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