C++ in Safety-Critical Systems - Applied Informatics

More documents

Recommendations

Info

Undefined Behavior Examples > The effect of an attempt to modify a string literal. > The effect of using an invalid pointer value. > The effect of dereferencing a pointer returned by a new for a zero-size object. > The result of a divide by zero.
Various rules in JSF C++ and MISRA-C++ forbid code constructs that lead to unspecified or undefined behavior, or that rely on implementation-defined or otherwise poorly-defined behavior.
Page 1 and 2: C++ for Safety-Critical Systems DI
Page 3 and 4: Is C++ the "right" programming lang
Page 5 and 6: Is C the "right" programming langua
Page 7 and 8: C puts all responsibility on the pr
Page 9 and 10: C is available everywhere. > C prog
Page 11 and 12: C++ puts all responsibility on the
Page 13 and 14: Joint Strike Fighter (F-35 Lightnin
Page 15 and 16: Higher abstraction level. > Support
Page 17 and 18: Case in Point > The Ariane 5 Flight
Page 19 and 20: General Coding Standard Idea: Limit
Page 21 and 22: Examples for subset of superset: >
Page 23 and 24: #include void f(int arg[]) { std::
Page 25 and 26: #include void f(int arg[20]) { std
Page 27 and 28: #include void f(int (&arg)[20]) //
Page 29 and 30: template class Array { public: //
Page 31 and 32: #include #include void f(const Ar
Page 33 and 34: MISRA-C++ > MISRA-C++: 2008 - Guide
Page 35 and 36: Coding Standard Size JSF C++ MISRA-
Page 37 and 38: JSF C++ on General Design Criteria
Page 39 and 40: JSF C++ and MISRA-C++ on Names > AV
Page 41 and 42: The Preprocessor
Page 43 and 44: #define max(a, b) ((a > b) ? a : b)
Page 45 and 46: Implementation-Defined Behavior > F
Page 47 and 48: Unspecified Behavior > Freedom to i
Page 49: Undefined Behavior > No requirement
Page 53 and 54: MISRA C++ Rule 6-3-1: The statement
Page 55 and 56: The Type System
Page 57 and 58: Integral Promotion > Arithmetic ope
Page 59 and 60: Assigning Conversions > type of ass
Page 61 and 62: Dangers of Type Conversion > Loss o
Page 63 and 64: Classes
Page 65 and 66: Dynamic Memory > Use of new/delete
Page 67 and 68: Safer C++ > RAII (Resource Acquisit
Page 69 and 70: class ScopedLock { public: ScopedLo
Page 71 and 72: Exceptions > Error handling in C is
Page 73 and 74: try { f1(); f2(); f3(); f4(); } cat
Page 75 and 76: SimpleString& SimpleString::operato
Page 77 and 78: Achieving The Strong Guarantee Simp
Page 79 and 80: Templates > Templates are an import
Page 81 and 82: Conformance
Page 83 and 84: Conclusions
Page 85: Q & A

C++ in Safety-Critical Systems - Applied Informatics

Create successful ePaper yourself

Delete template?

Save as template?