MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認するための記録です。
記載間違い、勘違いなどがありましたらご連絡くださると幸いです。

<この項は書きかけです。順次追記します。>

番号の後ろにJをつけたものは該当する翻訳または日本語の解説です。
JISはJISCでweb閲覧ができます。

References

[1] MISRA Guidelines for the Use of the C Language in Vehicle Based Software, ISBN 0-9524159-9-0, Motor Industry Research Association, Nuneaton, April 1998

[1]J テクニカルペーパー TP-01002　自動車用Ｃ言語利用のガイドライン（第2版）,自動車技術会

[1]J' MISRA-C 解説書
組込み開発者におくるMISRA‐C―組込みプログラミングの高信頼化ガイド
日本規格協会(2004/05)

[1]J''組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド
日本規格協会(2006/10)

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

コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da

[2] ISO/IEC 9899:1990, Programming Languages - C, International Organization for Standardization, 1990

[2]J JISX3010:1996, プログラミング言語C, 日本規格協会(閲覧は日本工業標準調査会)

[C][C++]の国際規格案の例題をコンパイルするときの課題７つ。
https://qiita.com/kaizen_nagoya/items/5f4b155030259497c4de

[3]. Hatton L., Safer C
Safer C: Developing Software for High-Integrity and Safety-Critical Systems (The Mcgraw-Hill International Series in Software Engineering),Les Hatton,Mcgraw-Hill (Tx)(1995)

[4]. ISO/IEC 9899:1990/COR 1: 1995, Technical Corrigendum 1, 1995

[5]. ISO/IEC 9899:1990/AMD 1: 1995, Amendment 1, 1995

[6]. ISO/IEC 9899:1990/COR 2:1996, Technical Corrigendum 2, 1996

[7] ANSI X 3.159-1989, Programming languages - C, American National Standards Institute, 1989 (ISO/IEC 9899の原案としてISO/IEC JTC1に提案）

[8]. ISO/IEC 9899:1999, Programming languages - C, International Organization for Standardization, 1999

[8]J, JISX3010:2003, プログラミング言語C, 日本規格協会（9のCOR1に基づく）(閲覧は日本工業標準調査会)

[9]. ISO/IEC 9899:1999/COR 1: 2001, Technical Corrigendum 1, 2001
(8Jに吸収)

[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, September 2007
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf

[13]. ISO/IEC 9899:2011, Programming languages - C, International Organization for Standardization, 2011

[14] ISO/IEC 9899:2011/COR 1: 2012, Technical Corrigendum 1, 2012

[15] MISRA Development Guidelines for Vehicle Based Software, ISBN 0-9524156-0-7, Motor Industry Research Association,, Nuneaton, November 1994

[15]J, テクニカルペーパー TP-01001 　自動車用ソフトウェアの開発ガイドライン,自動車技術会,

[16] MISRA AC AGC: Guidelines for the application of MISRA-C:2004 in the context of automatic code generation, ISBN 978-906400-02-6 (PDF), November 2007.

[17] MISRA AC GMG: Generic modelling design and style guidelines, ISBN 978-906400-06-4 , May 2009.

[18] MISRA AC SLSF: Modelling design and style guidelines for the application of Simulink and Stateflow, ISBN 978-906400-07-1 (PDF), May 2009.

[19] MISRA AC TL: Modelling style guidelines for the application of TargetLink in the context of automatic code generation, ISBN 978-906400-01-9 (PDF), November 2007.

[20] CRR80, The Use of Commercial Off-the Shelf(COTS) Software in Safety Related Applications, ISBN 0-7176-0984-7, HSE Books
(HSE Contract Research Report),Health and Safety Executive, (1995/06)

[21] ISO 9001:2008, Quality management systems - Requirements, International Organization for Standardization, 2008

[21]J JIS Q 9001: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, Certification and Continual Improvement, Issue5, Brithsh Standards Institution, 2001
Ts1: 2000: Issue 5.0 of the Tickit Guide, The Stationery Office, Institution of Engineering and Technology

[26] Straker D., C Style: Standards and Guidelines, ISBN 0-13-116898-3, Prentice Hall 1991, Defining Programming Standards for Professional C Programmers,

[27] Fenton N. E. and Pfleeger S.L, Software Metrics: A Rigorous and Practical Approach, 2nd Edition, ISBN 0-534-95429-1, PWS, 1998

Software Metrics: A Rigorous and Practical Approach
Norman E. Fenton, Shari Lawrence Pfleeger
Course Technology Ptr (Sd)(1998/02/24)

Software Metrics: A Rigorous and Practical Approach, Third Edition, Norman Fenton, James Bieman, CRC Press(2013/03/08)

[28] MISRA Report 5, Software Metrics, February 1995.

[29] MISRA Report 6, Verification and Validation, February 1995.

[30] Kernighan B.W., Ritchie D.M., THe C programming language, 2nd edition ISBN 0-13-110362-8, Prentice Hall, 1998

[30]J プログラミング言語C 第2版 ANSI規格準拠, B.W. カーニハン, D.M. リッチー, 共立出版(1989/06/15)

[31] Koening A., C traps and Pitfalls, ISBN 0-201-17928-8, Addison-Wesley, 1988

[31].J , Cプログラミングの落とし穴 (新紀元社情報工学シリーズ)
A. コーニグ, 新紀元社(2004/01)

[32] IEC 61508:2010, Functional safety of electrical/electronic/programmable electronic safety- related systems, International Electoromechanical Commission(IEC), 2010 part7まで

[32]J JIS C 0508 2012, 電気・電子・プログラマブル電子安全関連系の機能安全, 日本規格協会, part1からpart7まで(閲覧は日本工業標準調査会)

[33] EN 50128:2011, Railway applications - 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

[34]J, JIS T 2304:2012 医療機器ソフトウェア―ソフトウェアライフサイクルプロセス, 日本規格協会, 2012(閲覧は日本工業標準調査会)

[35] ANSI/IEEE std 754, IEEE Standard for Binary Floating-Point Arithmetic, 1985

[36] ISO/IEC 10646:2003, Information technology - Universal Multiple-Octet Coded Character Set(UCS), ISO, 2003

[36]J JIS X 0221,:2007, 国際符号化文字集合(UCS) ,2007, 日本規格協会 (ISO/IEC 10646 Amd1:2005, Amd2,2006に基づいている）(閲覧は日本工業標準調査会)

[37] Goldberg D., What Every Computer Scientist Should Know about Floating-Point Arithmetic, Computing Surveys, March 1991
https://ece.uwaterloo.ca/~dwharder/NumericalAnalysis/02Numerics/Double/paper.pdf

[38] Software Engineering Center, Information-technology Promotion Agency, Japan(IPA/SEC), Embedded System development Coding Reference(ESCR) [C language edition] Version 1.1, SEC BooK
改訂版組込みソフトウェア開発向けコーディング作法ガイド[C言語] (SEC BOOKS), 翔泳社(2007/07/25)

関連文献

どうやって 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 2012 Referenceに掲載している文献の入手可能性を確認
https://qiita.com/kaizen_nagoya/items/96dc8b125e462d5575bb

MISRA C まとめ #include
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9

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

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding Rules(0) C Secure , MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

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一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

TOPPERSまとめ　#名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451

docker(0) 資料集
https://qiita.com/kaizen_nagoya/items/45699eefd62677f69c1d

Qiita-dockerお宝鑑定団
https://qiita.com/kaizen_nagoya/items/509e125263559b5aed5b

The C++ Standard Library: clang++とg++でコンパイルしてみた(まとめ):14件
https://qiita.com/kaizen_nagoya/items/9bdfaa392443d13e5759

C++17 - The Complete Guide clang++とg++でコンパイルしてみた(まとめ):4件
https://qiita.com/kaizen_nagoya/items/c000f307e642990781e1

C++N3242, 2011, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/685b5c1a2c17c1bf1318

C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010

C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
https://qiita.com/kaizen_nagoya/items/fc957ddddd402004bb91

Autosar Guidelines C++14 example code compile list(1-169)
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76

プログラマによる、プログラマのための、統計と確率のプログラミングとその後統計と確率一覧（０）
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

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

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

文書履歴

ver. 1.00 初稿　20180322
ver. 1.01 qiita記事を追記 20180323
ver. 1.02 ありがとう追記 20230312

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

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

Thank you very much for reading to the last sentence.

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