Services & Training

Solutions
Home > Services & Training > Training > Programming > Safer C

Safer C


Price 14 750
Number of days 2

After any investment in the development of a new software system, a company will generally spend twice as much time and money on maintenance after the first release of the software. Studies have shown that 40% of all software failures could have been avoided even before the source code was compiled. Approximately 10% of all the code supplied to test and integration projects from development projects is not even testable! Software failure is currently responsible for a great deal of unnecessary expense, most of which can be avoided through the application of simple rules and methods.

The course is fully illustrated with examples taken from real systems, and offers many surprising facts and important clues on how to create more reliable software. The course focuses primarily on C, but also touches upon Ada, C++ and Java. The significance of the new C standard C9x for developers is examined in detail.

Objectives
To create an understanding of how various categories of software failure occur. To provide a solid, stable foundation for the development of systems on which high demands are placed in terms of availability, fault tolerance and stability. The ultimate objective is to supply an awareness of how the majority of frequently occurring failures can be prevented. Who should attend? Programmers, system designers, project managers and technical directors in all fields in which a high demand is placed on stability, fault tolerance, availability and safety.

Previous knowledge
Experience of any compiling programming language, ideally but not necessarily C.

Who should attend?
Programmers, system designers, project managers and technical directors in all fields in which a high demand is placed on stability, fault tolerance, availability and safety.

Course Material
The course is accompanied by course material in English and the book "Safer C" by Les Hatton. The participants also receive a free license for "Safer C ToolSet - Primer Edition"

Other information
The instructor, Les Hatton is widely acclaimed researcher in computer science and has over 20 year's experience in the software industry. He has developed tools for verifying program quality that are widely used. Hatton is author of several books and scientific papers and is a frequent and much appreciated speaker at software conferences around the world.

Recommended following courses
DO-178B & System Certification

Course Contents

Safety and Standardization in Software Controlled Systems
Safety standards, process & measurement standards

Language standards & validation

The C Programming Language
A Safety Critique

Types of poorly-defined behaviour

Empirically determined misbehaviour"

Unexpected behaviour

C/C++ compability

Defining a safe(r) subset      
Key Areas of Difficulty in C
The pre-processor                      

Types

Pointers

Expressions

Scope, linkage and namespaces

Interfaces

The library

Safety-Related Development Techniques in C
Inspections

Objective test coverage

Safety analysis

Reliability qrowth modelling

Formal reasoning

Diversity

The Influence of Complexity on Safety

Comparison with other languages

Some Notes on OO Development

PRINT THIS PAGE