Safer C: Developing Software for High-Integrity and Safety-Critical Systems (The McGraw-Hill I...

"Safer C: Developing Software for High-Integrity and Safety-Critical Systems" von Les Hatton ist ein umfassendes Werk, das sich mit der Entwicklung von Software in sicherheitskritischen Systemen unter Verwendung der Programmiersprache C befasst. Das Buch geht auf die Herausforderungen und Risiken ein, die mit der Programmierung in C verbunden sind, insbesondere in Umgebungen, in denen Fehler schwerwiegende Konsequenzen haben können. Hatton bietet eine detaillierte Analyse von häufigen Programmierfehlern und deren potenziellen Auswirkungen auf die Systemsicherheit. Er stellt Methoden und Best Practices vor, um diese Risiken zu minimieren, einschließlich Codierungsrichtlinien, statischer Analyse und Testverfahren. Ein besonderer Fokus liegt auf der Vermeidung von unsicheren Konstruktionen und der Förderung eines defensiven Programmierstils. Das Buch richtet sich an Softwareentwickler und Ingenieure, die in Bereichen wie Luft- und Raumfahrt, Automobilindustrie oder Medizintechnik arbeiten, wo hohe Zuverlässigkeit unerlässlich ist. Durch praxisnahe Beispiele und Fallstudien wird verdeutlicht, wie man robuste und sichere Softwarelösungen entwickelt.