Modellierung in Event-B - Ein praktischer Ansatz für Systemingenieure [German]

By Robert Mugonza and Simon Kawuma

Dieses Buch konzentriert sich auf die Verwendung von Event-B als formale Methode zur Softwaremodellierung und -verifikation. Unsere Fallstudie ist das Aufzugssteuerungssystem (ECS). Die Anforderungen an den Aufzug werden in mathematische Event-B-Modelle bersetzt. Wir verwenden RODIN, um ECS-Event-B-Modelle zu entwickeln, zu testen und zu verifizieren, bevor wir das System in ein Softwareprogramm implementieren k nnen. Die Event-B-Modellierung ist so wichtig, dass wir fehlende Anforderungen und Fehler in unserem Entwurf identifizieren und nachweisen k nnen, dass das Systemmodell wie erwartet funktioniert - anders als wenn wir ein System unmittelbar nach Erhalt der Anforderungen vom Kunden entwickeln w rden. Diese Anforderungen sind unvollst ndig und mehrdeutig. Durch den Einsatz von Event-B senken wir die Kosten der Systementwicklung, da Fehler stets in den fr hen Entwicklungsphasen entdeckt werden. Der bergang von der Anforderungsphase zur formalen Spezifikationsphase ist einer der anspruchsvollsten Schritte. Tats chlich erfordert die Erstellung erster Modelle auf der Grundlage von Systemanforderungen ein hohes Ma an Kompetenz und praktischen F higkeiten in der Event-B-Modellierung. Da es keinen klar definierten Prozess gibt, der Systemingenieure anleitet, bietet dieses Buch einen praktischen Ansatz f r die Entwicklung guter Softwaresysteme.

• Format: Paperback
• Language: German
• ISBN: 6209892310
• ISBN13: 9786209892318
• Release Date: April 2026
• Publisher: Verlag Unser Wissen
• Length: 104 Pages
• Weight: 0.33 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"