Tagged: code Toggle Comment Threads | Keyboard Shortcuts

  • case

    case 5:02 pm on November 4, 2016 Permalink
    Tags: code, , life, loss of life, safety critical   

    Ten 10 Rules for Writing Safety Critical Code 

    The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze.

    1 Restrict to simple control flow constructs.
    2 Give all loops a fixed upper-bound.
    3 Do not use dynamic memory allocation after initialization.
    4 Limit functions to no more than 60 lines of text.
    5 Use minimally two assertions per function on average.
    6 Declare data objects at the smallest possible level of scope.
    7 Check the return value of non-void functions, and check the validity of function parameters.
    8 Limit the use of the preprocessor to file inclusion and simple macros.
    9 Limit the use of pointers. Use no more than two levels of dereferencing per expression.
    10 Compile with all warnings enabled, and use one or more source code analyzers.

    Based on: ”The Power of Ten — Rules for Developing Safety Critical Code,” IEEE Computer, June 2006, pp. 93-95 (PDF).

    From Wikipedia Life-Critical System:

    A life-critical system or more commonly a safety-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes:

    • death or serious injury to people
    • loss or severe damage to equipment/property
    • environmental harm

    Risks of this sort are usually managed with the methods and tools of safety engineering. A safety-critical system is designed to lose less than one life per billion (109) hours of operation. Typical design methods include probabilistic risk assessment, a method that combines failure mode and effects analysis (FMEA) with fault tree analysis. Safety-critical systems are increasingly computer-based.

  • case

    case 11:27 pm on July 20, 2016 Permalink
    Tags: code, ,   

    Human-Made Prediction Engine 


compose new post
next post/next comment
previous post/previous comment
show/hide comments
go to top
go to login
show/hide help
shift + esc