Logo des Repositoriums

Auflistung nach Autor:in "Hatebur, Denis"

1 - 4 von 4
  • Konferenzbeitrag
    Deriving software architectures from problem descriptions
    (Software Engineering 2009 - Workshopband, 2009) Hatebur, Denis; Heisel, Maritta
    We show how software architectures (including interface descriptions) can be derived from artifacts set up in the analysis phase of the software lifecycle. The analysis phase consists of six steps, where various models are constructed. Especially, the software development problem is decomposed into simple subproblems. The models set up in the analysis phase form the basis for (i) defining software architectures related to single subproblems, (ii) merging the subproblem architectures to obtain the overall software architecture, and (iii) to define the interfaces between the components of the overall architecture. The approach is based on problem patterns (problem frames) and the architectural style of layered software architectures.
  • Konferenzbeitrag
    Performing a More Realistic Safety Analysis by Means of the Six-Variable Model
    (Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2017) Ulfat-Bunyadi, Nelufar; Hatebur, Denis; Heisel, Maritta
    Safety analysis typically consists of hazard analysis and risk assessment (HARA) as well as fault tree analysis (FTA). During the first, possible hazardous events are identified. During the latter, failure events that can lead to a hazardous event are identified. Usually, the focus of FTA is on identifying failure events within the system. However, a hazardous event may also occur due to invalid assumptions about the system’s environment. If the possibility that environmental assumptions turn invalid is considered during safety analysis, a more realistic and complete safety analysis is performed than without considering them. Yet, a major challenge consists in eliciting first the ‘real’ environmental assumptions. Developers do not always document assumptions, and often they are not aware of the assumptions they make. In previous work, we defined the Six-Variable Model which provides support in making the ‘real’ environmental assumptions explicit. In this paper, we define a safety analysis method based on the Six-Variable Model. The benefit of our method is that we make the environmental assumptions explicit and consider them in safety analysis. In this way, assumptions that are too strong and too risky can be identified and weakened or abandoned if necessary.
  • Zeitschriftenartikel
    Testing Against Requirements Using UML Environment Models
    (Softwaretechnik-Trends Band 28, Heft 3, 2008) Heisel, Maritta; Hatebur, Denis; Santen, Thomas; Seifert, Dirk
    Testing Against Requirements Using UML Environment ModelsWe propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method. This article is an abbreviated version of.
  • Konferenzbeitrag
    Using UML environment models for test case generation
    (Software Engineering 2008, 2008) Heisel, Maritta; Hatebur, Denis; Santen, Thomas; Seifen, Dirk