C
coding
MISRA

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

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

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

  1. 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 自動車用C言語利用のガイドライン(第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++]の国際規格案の例題をコンパイルするときの課題7つ。
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言語, 翔泳社(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

文書履歴

ver 1.00 初稿 20180322
ver 1.01 qiita記事を追記 20180323