Safer C: Developing Software for High-Integrity and Safety-Critical Systems

1. Safety and Standardization in Software Controlled Systems. 2. The C Programming Language, A Safety Critique. 3. The Influence of Complexity on Safety. 4. Population Studies of C Programmers. 5. Strategies and Solutions for Safety-Related Development.6. Comparison with Other Languages. 7. Putting It All Together: Example Standards and Environments. 8. Legal Issues.