Using Event-B for Critical Device Software Systems, Fachbücher von Neeraj Kumar Singh

"Using Event-B for Critical Device Software Systems" ist ein Fachbuch, das eine neue Methodologie für den Entwicklungslebenszyklus von hochkritischen Systemen definiert. Es bietet eine umfassende Sammlung von Techniken und Werkzeugen, die auf formalen Methoden basieren, um die Sicherheit und Zuverlässigkeit kritischer Software zu gewährleisten. Das Buch behandelt die verschiedenen Phasen des Entwicklungsprozesses, beginnend mit der Anforderungsanalyse bis hin zur automatischen Quellcode-Generierung. Ein zentrales Element der Untersuchung ist die Fallstudie eines Herzschrittmachers, die als Beispiel dient, um die Anwendung der vorgestellten Methoden zu veranschaulichen. Darüber hinaus wird die Formalisierung eines Elektrokardiogramms (EKG) genutzt, um Anomalien zu identifizieren und bestehende medizinische Protokolle zu verbessern. Diese umfassende Analyse ermöglicht es, die Integration formaler Methoden in etablierte Entwicklungsprozesse kritischer Systeme zu diskutieren und zu hinterfragen. Das Buch richtet sich an Forscher und Studierende im Bereich der formalen Methoden und bietet wertvolle Einblicke für Fachleute aus der Gesundheitsbranche.