Logo des Repositoriums

Auflistung nach Schlagwort "Validation"

1 - 4 von 4
  • Konferenzbeitrag
    Generating Review Models to Validate Safety Requirements
    (Software Engineering 2023, 2023) Tenbergen, Bastian; Weyer, Thorsten
    This talk discusses our approach for automatically generating review models for safety-critical systems presented in the paper [TW21] published in the Feb. ’21 issue of the Journal of Software and Systems Modeling. We present a semi-automated formal approach and tool support to generate Hazard Relation Diagrams. Enabled by mitigation tables, the approach consists of two transformation steps using OMG’s QVTo language [OMG16].
  • Konferenzbeitrag
    Hazard Relation Diagrams
    (Software Engineering und Software Management 2018, 2018) Tenbergen, Bastian; Weyer, Thorsten; Pohl, Klaus
    This talk is based on a paper published in the Requirements Engineering Journal in May 2017. During the development of safety-critical systems, the development process must ensure that requirements, which are defined to mitigate a hazard, are adequate. Adequacy of such hazard-mitigating requirements (HMRs) means that the requirements may not oppose the system’s operational purpose and must sufficiently avoid, reduce, or control, the occurrence of the conditions that trigger the hazard. However, information about the occurrence of the hazard’s trigger conditions are a work product of hazard analyses during early stages of safety assessment, while HMRs are a work product of requirements engineering. Dependencies between HMRs and hazard analysis results are implicit and tacit. In consequence, there’s a risk that during validation, inadequacy of HMRs regarding their ability to mitigate a hazard remains covert. The result may be that the system is assumed to be safe, but in fact may still cause injury or death. We introduced Hazard Relation Diagrams (HRDs) as a means to integrate and graphically visualize hazard analysis results with HMRs. Herein, we also provide insights into their empirical evaluation and show that HRDs increase objectivity in rationales containing adequacy judgments.
  • Workshopbeitrag
    The Level of Harmony: A Validation Strategy for Brand & User Experience
    (Mensch und Computer 2017 - Tagungsband, 2017) Frison, Anna-Katharina; Zotz, Pamela; Riener, Andreas
    To stay competitive, users’ needs have to be continuously addressed and holistically contemplated. Likewise, in order to create a harmonic user and brand experience, also brands’ own values have to be regarded carefully. In this work, we present a first version (work-in progress) of an evaluation strategy aimed at assessing how to validate the level of harmony between brand and user experience at the touch-point of a user interface. The goal is to support design agencies to iteratively create and justify the designs to their clients. Our hypothesis is that human values can be taken as representations of universal psychological human needs, which companies want to constitute to reach a certain audience. The assumptions is, that from the level certain psychological needs are fulfilled by using a product, it can be deriving whether or not brand values could be translated into a product by design. Initial results confirm our hypothesis and reveal insights about matches and mismatches between UX and BX.
  • Textdokument
    Spatial Interpolation of Air Quality Data with Multidimensional Gaussian Processes
    (INFORMATIK 2021, 2021) Tremper, Paul; Till Riedel; Budde, Matthias
    The central question of this paper is whether interpolation techniques applied to a distributed sensor network can indeed provide more information than using the constant background of an urban reference station to measure air pollution. We compare different interpolation techniques based on temporal-spatial machine learning in terms of their applicability for correctly predicting personal exposure. Using a dataset of stationary low-cost sensors, we estimate exposure on a route through the city and compare it to mobile measurements. The results show that while different machine learning-based interpolation methods yield quite different results, validation of machine learning-based approaches is still challenging.