LoginSignup
3

More than 1 year has passed since last update.

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言語] (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

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

文書履歴

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.

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
3