Logo des Repositoriums

Auflistung nach Schlagwort "Reliability"

1 - 4 von 4
  • Zeitschriftenartikel
    Abstraction NBTI model
    (it - Information Technology: Vol. 63, No. 4, 2021) Adolf, Stephan; Nebel, Wolfgang
    Negative Bias Temperature Instability (NBTI) is one of the major transistor aging effects, possibly leading to timing failures during run-time of a system. Thus one is interested in predicting this effect during design time. In this work an Abstraction NBTI model is introduced reducing the state space of trap-based NBTI models using two abstraction parameters, applying a state transformation to incorporate variable stress conditions. This transformation is faster than traditional approaches. Currently the conversion into estimated threshold voltage damages is a very time consuming process.
  • Zeitschriftenartikel
    Kurz erklärt: Measuring Data Changes in Data Engineering and their Impact on Explainability and Algorithm Fairness
    (Datenbank-Spektrum: Vol. 21, No. 3, 2021) Klettke, Meike; Lutsch, Adrian; Störl, Uta
    Data engineering is an integral part of any data science and ML process. It consists of several subtasks that are performed to improve data quality and to transform data into a target format suitable for analysis. The quality and correctness of the data engineering steps is therefore important to ensure the quality of the overall process. In machine learning processes requirements such as fairness and explainability are essential. The answers to these must also be provided by the data engineering subtasks. In this article, we will show how these can be achieved by logging, monitoring and controlling the data changes in order to evaluate their correctness. However, since data preprocessing algorithms are part of any machine learning pipeline, they must obviously also guarantee that they do not produce data biases. In this article we will briefly introduce three classes of methods for measuring data changes in data engineering and present which research questions still remain unanswered in this area.
  • Zeitschriftenartikel
    Qualitätssicherung Software-basierter technischer Systeme – Problembereiche und Lösungsansätze
    (Informatik-Spektrum: Vol. 21, No. 5, 1998) Liggesmeyer, Peter; Rothfelder, Martin; Rettelbach, Michael; Ackermann, Thomas
      Die Qualitätssicherung Software-basierter technischer Systeme erfordert ganzheitliche Betrachtungsweisen und Techniken, die auf unterschiedlich realisierte Systemkomponenten - z.B. Software, elektronische Komponenten, technische Prozesse - gleichermaßen anzuwenden sind. Eine ökonomisch und technisch sinnvolle Qualitätssicherung fordert die Verwendung angepaßter Lösungen. Im folgenden werden Problembereiche umrissen und exemplarische Lösungsansätze diskutiert. Es werden Techniken vorgestellt, die von formal vollständigen Sicherheitsnachweisen über statistisch abgesicherte Analysen von Maßen (z.B. Zuverlässigkeitsmaßen) bis zu informalen, aber systematischen Prüftechniken reichen.Summary  Quality assurance of software-based systems requires a comprehensive approach and techniques that can be applied to different components, e.g., software, electronic components, technical processes. To satisfy economical and technical requirements demands adequate solutions. In the following several problem areas and approaches are discussed. The techniques include formally complete safety proofs, statistical analysis of measures, e.g., reliability measures, and informal, but systematic test techniques.
  • 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.