＜エンジニア夏休み企画>【読書感想文】
https://qiita.com/official-events/6d31965c499a69377c0b

参加記事です。　

MISRA C 2012 組み込みプログラミングの高信頼化ガイド
https://bookmeter.com/books/20227858
https://webdesk.jsa.or.jp/books/W11M0090/index/?bunsyo_id=430006

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

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.

参考文献

・ [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
https://www.misra.org.uk/app/uploads/2021/06/MISRA-C-2012-AMD2.pdf

MISRA C:2012 Amendment 2 Updates for ISO/IEC 9899:2011 Core functionality
https://www.misra.org.uk/app/uploads/2021/06/MISRA-C-2012-AMD2.pdf

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
https://www.misra.org.uk/app/uploads/2021/06/MISRA-Compliance-2020.pdf

個人開発　

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

箱庭

仮想戦略会議「箱庭」
https://qiita.com/kaizen_nagoya/items/73cb132707653176a461

お盆には「箱庭」記事を書きましょう「もくもく会」の題材になる（１）
https://qiita.com/kaizen_nagoya/items/a22bf2b1dab0ad3258d4

お盆には「箱庭」記事を書きましょう「もくもく会」の題材になる（2）
https://qiita.com/kaizen_nagoya/items/e3c0ceb2dcc9cf3f3fac

参考資料

MISRA compliance 2016とは
https://qiita.com/mumrik58/items/bab4c663dc43c684cd1f

自己参照　

MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認
https://qiita.com/kaizen_nagoya/items/96dc8b125e462d5575bb

MISRA C 2012のTechnical Corrigendum 1の21.X訂正意見のかなりの部分が日本からだった件
https://qiita.com/kaizen_nagoya/items/152c1de26b0831c02f41

misra C 2012 permits（許可）を読む
https://qiita.com/kaizen_nagoya/items/af3095f79add36d0bcce

MISRA C:2012追加文書
https://qiita.com/kaizen_nagoya/items/d08b2ae495b136f9638c

MISRA C/C++の勇み足または書き足りない事項を見つける方法
https://qiita.com/kaizen_nagoya/items/bbd69313d6cd3fc1d69b

MISRA related document - safety and security on c and c++
https://qiita.com/kaizen_nagoya/items/17c9e2b74042fba97c3c

MISRA C/C++, AUTOSAR C++, CERT C/C++とC/C++工業標準をコンパイルする
https://qiita.com/kaizen_nagoya/items/8dff19511e42b2593db1

どうやって MISRA Example Suiteをコンパイルするか
https://qiita.com/kaizen_nagoya/items/fbdbff5ff696e2ca7f00

MISRA C.2.1 Type widening in integer promotion,(wicm3.c )
https://qiita.com/kaizen_nagoya/items/6a24db5d51efae358cfb

MISRA C断片コンパイル用ヘッダ
https://qiita.com/kaizen_nagoya/items/bfc8910f0797c9a7fd43

C言語の#define文マクロをC++のTemplateか何かにする方法
https://qiita.com/kaizen_nagoya/items/20c3f5964cef1da037cb

MISRA C++ 5-0-16
https://qiita.com/kaizen_nagoya/items/7df2d4e05db724752a74

一覧

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴(document history)

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

最後までおよみいただきありがとう4ざいました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.