Gute Programmierung
Unit-Tests, Code Reviews, defensive Programmierung: Schon einfache Prozesse können die Qualität und Sicherheit Ihrer Software spürbar erhöhen. Hier erfahren Sie, was wirklich einen Mehrwert bietet und worauf Sie achten müssen.
Für Studium und BerufVon der Risikoidentifikation bis hin zu fortgeschrittenen Themen wie Fehlerbaumanalyse und Marcov-Analysen erhalten Sie einen umfassenden Überblick über die Techniken der funktionalen Sicherheit. Fallbeispiele erläutern historische Sicherheitsprobleme, damit Sie aus den Fehlern beim Design und der Umsetzung sicherheitskritischer Systeme lernen können.
Sicher, robust und zuverlässigJe komplexer Systeme werden, desto anfälliger sind sie für Ausfälle und Fehler. Dieses Lehrbuch zeigt Ihnen, mit welchen Methoden Sie systemrelevante Risiken qualitativ und quantitativ abschätzen, um fehlerarme und wartbare Systeme zu entwickeln.
Normen und RichtlinienSie lernen die wichtigste Norm IEC-61508 kennen, werfen aber auch einen Blick auf die ISO26262 für die Automobilindustrie, ISO 14224 und DIN EN 60300 für das Erstellen einer Datenbasis zur Berechnung von Kenngrößen, IEC-62061 für sichere Maschinen und IEC 61511, eingesetzt bei der Prozessindustrie.
Für sichere und zuverlässige Systeme ist eine solide Grundlage unerlässlich. Bei der Entwicklung und dem Design ist Teamwork entscheidend, damit Simulationen, automatisierte Testumgebungen, Reviews und bewährte Methoden der Softwareentwicklung eingesetzt werden. Koordinierte Zusammenarbeit und das richtige Know-how gewährleistet so Sicherheit.
Prof. Derk Rembold vermittelt Ihnen in diesem Lehrbuch die Grundlagen sicherer Softwareentwicklung und die Prinzipien der Betriebssicherheit in der Hardwareentwicklung. In strukturierten Kapiteln lernen Sie, Risiken komplexer Systeme einzuschätzen, Fehlerbaumanalysen durchzuführen, Risikographen zu gestalten und essenzielle Methoden für die sichere Systementwicklung zu beherrschen.
Aus dem Inhalt:
Derk Rembold
Professor Derk Rembold leitet das Institut für Echtzeitsysteme und Softwaretechnik an der Hochschule Albstadt-Sigmaringen in der Schwäbischen Alb. Er hält Vorlesungen über Betriebssicherheit, Echtzeitsysteme und Softwareentwicklung an der Fakultät für Informatik. Die Vorlesungen zeichnen sich durch einen hohen praktischen Anteil aus, welcher in der jahrelangen Erfahrung aus seiner Industriezeit seinen Ursprung hat. Seine Forschungsschwerpunkte liegen bei der qualitativen Überwachung von Produkten und Software in automatisierten Prozessen, auch mit Methoden der künstlichen Intelligenz.
Unit-Tests Code-Reviews Programmierung Studium Beruf Fehlerbaumanalyse Hand-Buch E-Book Lernen funktionale IT-Sicherheit Ingenieurwissenschaft ISO-26262 Norm IEC-61508 ISO-14224 DIN EN 60300 IEC-62061 IEC 61511 Layer of Protection Analysis
Buchtipp!
()