Logo des Repositoriums

Auflistung nach Schlagwort "D.2"

1 - 2 von 2
  • Zeitschriftenartikel
    Ada und Modula-2 — ein Vergleich
    (Informatik Spektrum: Vol. 10, No. 4, 1987) Pomberger, G.; Wallmüller, E.
    Die folgende Arbeit wendet sich an Entwickler großer Software-Systeme. Das Ziel ist eine systematische Darstellung der wesentlichen Eigenschaften von Ada und Modula-2, ihrer Unterschiede und Gemeinsamkeiten. Die beiden Sprachen werden anhand eines für die Zielgruppe typischen Kriterienkatalogs einander gegenübergestellt. Dem Leser soll ein Eindruck über die Brauchbarkeit der beiden Sprachen bei der Implementierung großer Software-Systeme vermittelt werden.SummaryThe most important properties of Ada and Modula-2 are compared systematically in a discussion of their differences and similarities. Both languages are compared on the basis of criteria typical for those who develop large software systems. The reader should receive an idea for the usefulness of both languages for implementing large software systems.
  • Zeitschriftenartikel
    Verläßlichkeitsbewertung komplexer Systeme
    (Informatik-Spektrum: Vol. 21, No. 6, 1998) Thurner, Erwin M.; Dal Cin, Mario; Schneeweiß, Winfrid G.
      Die Akzeptanz von technischen Systemen wird wesentlich davon beeeinflußt, daß sie ihre spezifizierte Funktion verläßlich – d.h. sicher und zuverlässig – ausführen. Insbesondere bei komplexen Systemen sind daher eine strukturierte Vorgehensweise und die Verwendung von mathematisch fundierten Methoden unerläßlich zu ihrer Bewertung und zur gezielten Verbesserung. Der vorliegende Aufsatz gibt zunächst einen Überblick über die gebräuchlichsten Meßgrößen zur Ver-läßlichkeitsanalyse. Auf dieser Basis werden Bewertungsmethoden wie Fehlerbäume, Markov-Methoden und Stochastische Petri-Netze vorgestellt und ihre Grenzen diskutiert. Eine Auswahl von Modellierungs-Werk-zeugen gibt Einblick, welche Kriterien bei der Modellierung beachtet werden sollten. Abschließend werden Vorgehensweisen und Methoden anhand eines Beispiels aus der industriellen Praxis erläutert.Summary  The acceptance of technical systems is essentially determined by their performing in a dependable way, i.e. safely and reliably. Particularly in complex systems structured approach and the use of mathematical methods are important for their evaluation and controled enhancement. This paper first gives a survey about the most common measures used in dependability analysis. Based on this, evaluation methods such as fault trees, Markov chains, and stochastic Petri nets are introduced and discussed with respect to their immanent limits. Furthermore, several modeling tools are shown to demonstrate some criteria for system modeling. Finally, modeling tasks and methods are explained by a real-world example.