Safety Engineering

Methoden für sichere und robuste SoftwareentwicklungFü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:Normen und SicherheitsrichtlinienSicherheit in der SoftwareentwicklungFehler analysieren und verstehenKenngrößen: Zuverlässigkeit, Ausfallrate, LebensdauerGefahrenanalyseFehlerbaumanalyseRisikographLayer of Protection AnalysisZuverlässigkeitsblockdiagrammMarcov-Decision-ProzessBinary-Decision-Diagrams

»Buchtipp!«

Autorentext
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.

Klappentext

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:

• Normen und Sicherheitsrichtlinien
• Sicherheit in der Softwareentwicklung
• Fehler analysieren und verstehen
• Kenngrößen: Zuverlässigkeit, Ausfallrate, Lebensdauer
• Gefahrenanalyse
• Fehlerbaumanalyse
• Risikograph
• Layer of Protection Analysis
• Zuverlässigkeitsblockdiagramm
• Marcov-Decision-Prozess
• Binary-Decision-Diagrams