ISBN-13: 9783519026822 / Angielski / Miękka / 1993 / 395 str.
Systeme der Automatisierungstechnik sind schwierig zu entwickeln, da sie neben den ublichen Anspruchen mittlerer bis grosser Software systeme (Daten- und Kontroll flusse) zusatzliche Schwierigkeiten beinhalten in Form von Echtzeitanforderungen oder Interaktionen mit einer Umwelt aus vielfaltigen Sensoren und Aktoren. Wir verwenden die folgenden Bezeichnungen fur die Ergebnisse der einzelnen Phasen des Entwicklungspro zesses (vgl. Kap. 2): AufgabensteIlung (Lastenheft), Losungskonzeption (aus der Analyse der AufgabensteIlung resultierende fachtechnisch orientierte Losung, wie sie im Pflichten heft beschrieben wird), Entwurf (Software-Architektur mit Beschreibung von funktionalen Einheiten, Daten-und Kontrollflussen) und Quellcode (lauffahiges Programmpaket in der Zielumgebung). Unter Prototyping verstehen wir einerseits die iterative Erstellung lauffa higer Modelle (Prototypen) der zukunftigen Anwendungs-Software (konzeptionelles Pro totyping) 1]. Andererseits besteht zusatzlich oder alternativ das Konzept, die laufend an fallenden Entwicklungsinformationen analytisch zu validieren und sie dazu in ein Simula tions-Tool zu ubertragen (analytisches Prototyping) 2]. Die Realisierung eines Prototypen wird bisher haufig als eine der Systement wicklung vorgeschaltete Aktivitat betrachtet. Dieses Vorgehen birgt jedoch die Gefahr (wenigstens im Projektdruck) in sich, den Prototypen zu einern Endprodukt mit vollem Funktionsumfang zu vervollstandigen. So entstehen unstrukturierte, schwer wartbare und fehleranfallige Softwaresysteme. Werden Prototypen andererseits "weggeworfen," ergibt sich ein gravierender zusatzlicher Aufwand. Diese Probleme lassen sich weitgehend da durch losen, indern das Prototyping als eine in den Software-Entwicklungsprozess inte grierte Funktion betrachtet wird und durch entsprechende Werkzeuge unterstutzt wird. Fur das konzeptionelle Prototyping mussen die Werkzeuge den Entwickler unter stutzen, Losungsmodelle zu definieren und deren Gultigkeit zu validiere