DGLR-Publikationsdatenbank - Detailansicht
Titel:
Entwurf von Software für technische Systeme mit Z und Statemate
Autor(en):
H. Dörr
Zusammenfassung:
Elektronische Steuerungen finden immer größere Verbreitung auch in sicherheitsrelevanten Einsatzbereichen. Bekannte Entwurfsmethoden für mechanische und elektrische Steuerungen, aber auch Ansätze des Software-Engineering sind jedoch nur bedingt anwendbar für die Entwicklung von Steuerungssoftware. Daher ist die Entwicklung von Software in sicherheitsrelevanten Anwendungen derzeit sehr kostenintensiv. Dieser Beitrag beschreibt den Einsatz formaler Notationen beim Entwurf von Software für die Steuerung technischer Systeme. Sogenannte Prozeßobjekte vereinen Eigenschaften von Prozessen und Objekten. Mit ihnen kann ein Softwareentwurf auf einer zunächst abstrakten Ebene erstellt werden. Der Übergang zu einem ausführbaren Entwurf in Form von Statecharts kann systematisch vorgenommen werden. Die Vermeidung von Entwurfsfehlern und die Automatisierung von Entwurfsschritten senken die Kosten.
Veranstaltung:
Symposium DGLR-Fachausschuß Software Enineering, Stuttgart, 1995
Medientyp:
Conference Paper
Sprache:
deutsch
Format:
21,0 x 29,7 cm, 14 Seiten
Veröffentlicht:
DGLR-Bericht, 1995, 1995-04, Entwurf hochzuverlässiger Software in der Praxis; S.7-1 - 7-20; 1995; Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn
Preis:
NA
ISBN:
ISSN:
Kommentar:
Vortrag mit eigener Zählung
Klassifikation:
Stichworte zum Inhalt:
software engineering
Verfügbarkeit:
Bestellbar
Veröffentlicht:
1995
Dieses Dokument ist Teil einer übergeordneten Publikation:
Entwurf hochzuverlässiger Software in der Praxis