| 
|
QuoteRef: holzGJ6_2006
Topic:
programming style
Topic:
safety critical systems
Group:
repetitive control
Topic:
heap memory management
Reference
Holzmann, G.J., "The power of 10: Rules for developing safety-critical code", Computer, June 2006, pp. 95-98. Google
95 ;;Quote: coding rules for safety-critical applications in C; e.g., simple control flow, short functions, assertions, check args, avoid pointers, no warnings
95+;;Quote: all loops should have a fixed upper bound
95+;;Quote: for safety-critical code, do not use dynamic memory allocation after initialization
Topic: programming style (47 items)
Topic: safety critical systems (32 items)
Group: repetitive control (7 topics, 117 quotes)
Topic: heap memory management (33 items)