＜エンジニア夏休み企画>【読書感想文】
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.