Dies ist der Tagungsband der 4. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen," Erlangen, 29. September-1. Oktober 1987. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen. Dabei werden einerseits das volle methodische Spektrum - Messinstrumentierung/Messung - Modellbildung/simulative und mathematische Modellanalyse - Bewertung und Synthese in leistungsorientierter bzw. leistungs-/zuverlassigkeitsorientierter Sicht abgedeckt sowie andererseits uber praktische Erfahrungen beim Einsatz dieser Methoden und...
Dies ist der Tagungsband der 4. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen," Erlangen, 29. September-1. Oktober 1987. T...
In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend von einer Analyse der angestrebten Ziele Zuverl ssigkeit, Sicherheit und Wirtschaftlichkeit wird eine modifizierte Fehlertoleranz-Klassifizierung angegeben. Die exemplarische Realisierung eines fehlertoleranten Mikrorechnersystems basiert auf der globalen Grundstruktur dezentraler Automatisierungssysteme, in der durch die Zusammenfassung lokaler Subsysteme eine Rekonfiguration zur Tolerierung bestimmter Hardware-Fehler m glich wird. Dezentral...
In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend ...
Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anlasslich einer Abschlusstagung mit umfassender Prasentation aller Projektergebnisse. Neben einer Einfuhrung in das Gesamtprojekt werden ausgewahlte Projekte detailliert vorgestellt. Ziel des Bandes ist es, von einem gelungenen Versuch zu berichten, in einer Hochschule durch den breiten Einsatz von...
Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Th...
Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsme thode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tatig keitshierarchiebildung zeigt einen durchgehenden Weg Uber die Transfor mationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestUtzt die Programme entworfen werden. Damit ist es moglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrurnentarium...
Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsme thode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem...
Datenverarbeitung hat im Hochschulbereich eine lange Tradition. Dort wurden die ersten elektronischen Rechenanlagen entwickelt und gebaut. Dort wurden Grundlagen zu Verstandnis dieses neuen und vielseitigen Instrumentes und fur seinen breiten Einsatz erarbei tet. Datenverarbeitungsanlagen sind heute aus dem Hochschulbereich nicht mehr wegzudenken. Viele neue Erkenntnisse konnten erst mit ihrer Hilfe gewonnen werden, viele Forschungsergebnisse hatten ohne sie uberhaupt nicht erreicht werden konnen. Auch fUr die UnterstUtzung von Verwaltungsablaufen in der Hochschule, in Uni versitatskliniken...
Datenverarbeitung hat im Hochschulbereich eine lange Tradition. Dort wurden die ersten elektronischen Rechenanlagen entwickelt und gebaut. Dort wurden...
Die Kieler Fachtagung "Struktur und Betrieb von Rechensystemen" ist die sechste Veranstaltung dieser Art, die gemeinsam von den Fachaus- schUssen "Rechnerorganisation und Betriebssysteme" der Gesellschaft fUr Informatik (GI) und "Technische Informatik" der Nachrichtentech- nischen Gesellschaft (NTG) in zweijahrigem Abstand seit 1970 veran- staltet wird. Die enge Verflechtung zwischen Rechnerstrukturen und Betriebssystemen, die in dieser gemeinsamen Tagung zum Ausdruck ge- bracht wird, hat in der "vertikalen Verlagerung" einen neuen sicht- baren Ausdruck erhalten. Auf beiden Gebieten finden in...
Die Kieler Fachtagung "Struktur und Betrieb von Rechensystemen" ist die sechste Veranstaltung dieser Art, die gemeinsam von den Fachaus- schUssen "Rec...
"Denn eben 10'0 Begriffe fehlen, da stellt ein Wort zur rechten Zeit sich ein". (Goethe, Faust) Gut 10 Jahre nach Einfiihrung des Begriffs "Software Engineering" wird noch vieler- orts das Fehlen einer Methodologie fiir diese Disziplin beklagt (vgl. z.B. /WED 79/). Grundlage jeder Methodologie ist eine einheitliche, umfassende, allgemein anerkannte Begriffswelt. Die Stellung des Software-Ingenieurs zu seiner Begriffswelt laBt sich aber vielfach noch am ehesten durch das einleitende Zitat charakterisieren: Fehlende oder vermeintlich fehlende Begriffe werden durch Worte ersetzt, die sich mehr...
"Denn eben 10'0 Begriffe fehlen, da stellt ein Wort zur rechten Zeit sich ein". (Goethe, Faust) Gut 10 Jahre nach Einfiihrung des Begriffs "Software E...
Die Kenntnis der Wirkung hangt von der Kenntnis der Ursache ab und schliesst diese in sich ein B. Spinoza Fur Marketingmassnahmen werden allein in der Bundesrepublik Deutschland jahrlich etwa 25 Mrd. DM verausgabt. Darin sind noch nicht die mit dem Absatz verbundenen Aufgaben der Lager bestandsfuhrung und der Auftragsbearbeitung einbezogen. In einer freien Marktwirtschaft hat die Marktbeobachtung und die Anpassung an Marktbewegungen fur alle Beteiligten ausserste Prioritat. Trotzdem ist der Einsatz informationsverarbeiten der Maschinen in diesem Bereich noch gering. Auch in der Literatur wird...
Die Kenntnis der Wirkung hangt von der Kenntnis der Ursache ab und schliesst diese in sich ein B. Spinoza Fur Marketingmassnahmen werden allein in der...
Die dritte Fachtagung ProzeBrechner wird, ebenso wie die vorangegan genen ProzeBrechner-Fachtagungen 1974 (Karlsruhe) und 1977 (Augsburg) von der Gesellschaft fUr Informatik (GI), der Gesellschaft MeB- und Regelungstechnik (VDI/VDE-GMR) und dem Kernforschungszentrum Karlsruhe (KfK) gemeinsam veranstaltet. FederfUhrend bei der Fachtagung ProzeB rechner 1981 in MUnchen ist die Gesellschaft fUr Informatik. Auch die diesjahrige Tagung soll den allgemeinen Methoden der ProzeBrechen technik, insbesondere der Wechselwirkung zwischen speziellen Anwen dungsanforderungen einerseits und effizienten,...
Die dritte Fachtagung ProzeBrechner wird, ebenso wie die vorangegan genen ProzeBrechner-Fachtagungen 1974 (Karlsruhe) und 1977 (Augsburg) von der Gese...
Das Interesse an fehlertolerierenden Rechnersystemen wachst. Grunde da fur sind einerseits die Forderungen der Anwender nach groBerer Zuver lassigkeit und hoherer Verfugbarkeit der daten- und informationsverar beitenden Systeme und andererseits die entsprechenden zunehmenden Akti vitaten in Forschung und Entwicklung zur Losung der aufgeworfenen Pro bleme. Dies ist der Hintergrund dafur, der Thematik der "fehlertole rierenden Rechnersysteme" in einer eigenen Fachtagung eine breite Ba sis zu schaffen und die bestehenden Probleme universell bewuBt zu ma chen. Ziele dieser Tagung sind - den...
Das Interesse an fehlertolerierenden Rechnersystemen wachst. Grunde da fur sind einerseits die Forderungen der Anwender nach groBerer Zuver lassigkeit...
