Linux for Safety Critical Applications: Hunting down bug patterns

Code Quality is one of the central issues in the implementation of safety critical software systems - specially with the number of lines of code crowing bigger rapidly. From this point of view, using an existing code basis like the Linux kernel in safety critical system is probably the worst case scenario.
In this talk we are going to explore different formal and semi-formal tools that are already in use in Linux kernel development today and which are used to find all occurrences of bugs that follow a given pattern and assure that those patterns are kept out of future versions as well.

After the patterns have been identified and translated into a formal description they allow developers to hunt down all current and future occurrences.

Edizione 2014 nella track Track1.


60 minuti
Debug Safety critical linux