Logo des Repositoriums

Auflistung nach Autor:in "Reif, Wolfgang"

1 - 9 von 9
  • Zeitschriftenartikel
    Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems
    (Softwaretechnik-Trends Band 38, Heft 1, 2018) Eberhardinger, Benedikt; Seebach, Hella; Reichstaller, André; Knapp, Alexander; Reif, Wolfgang
    Software testing plays a major role for engineering future systems that become more and more adaptive to their environment. In order to fulfill the high demand, test automation is needed as a keystone. However, test automation, as it is used today, is counting on captureand-replay-like scripting and is thus not able to keep up with intelligent systems. Therefore, we ask for an adaptive test automation and propose a model-based approach that enables self-awareness as well as awareness of the system under test which is used for automation of the test suites.
  • Zeitschriftenartikel
    Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing
    (Softwaretechnik-Trends Band 38, Heft 1, 2018) Reichstaller, André; Eberhardinger, Benedikt; Seebach, Hella; Knapp, Alexander; Reif, Wolfgang
    Statistical test generation builds on profiles which describe the estimated conditions of the system under test’s environment. Such environmental profiles, however, do not directly provide us with inputs for testing particular system components, as those mostly depend on the output of others. We thus a additionally need to estimate this output if we want to maintain statistical accuracy. Instantiating this task for the isolated testing of self-organization mechanisms between adaptive agents, this paper investigates the application of deep learning techniques for imitating the agents’ output. The proposed technique is evaluated on a simulated self-organizing grid of power plants.
  • Konferenzbeitrag
    Design for trust: Security im M-commerce
    (INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2003) Haneberg, Dominik; Kreibich, Alexander; Reif, Wolfgang; Stenzel, Kurt
  • Zeitschriftenartikel
    Die Guten, die Bösen und die Vertrauenswürdigen – Vertrauen im Organic Computing
    (Informatik-Spektrum: Vol. 35, No. 2, 2012) Steghöfer, Jan-Philipp; Reif, Wolfgang
    In den meisten Organic Computing Systemen (OC-Systemen) ist die Welt einfach: alle Agenten sind sich Freund und ziehen an einem Strang, wenn es darum geht, das gemeinsame Ziel zu erreichen. Taucht einmal ein Böser auf, so ist dieser direkt als solcher zu erkennen und führt nichts anderes im Schilde, als die Guten an der Ausführung ihrer selbstlosen Taten zu hindern. Diese heile Welt ist in vielen Fällen das Resultat gezielter Abschottung: Fremde sind nicht erlaubt, schon gar nicht, wenn man ihnen nicht in die Karten gucken kann. ,,Böse“ Agenten sind damit auch eher ein Konstrukt der Systemdesigner zu Analysezwecken als echte Akteure. Öffnet man aber die Grenzen und erlaubt es einem OC-System, in einer offenen Welt heterogener Agenten zu agieren und dort mit Hinz und Kunz zu verhandeln und diese Fremden sogar zu integralen Systembestandteilen zu machen, bedarf es einer neuen Herangehensweise an OC-Systeme und an den Umgang der Agenten untereinander. Die Forschergruppe OC-Trust hat es sich zur Aufgabe gemacht, diese Herangehensweise zu entwickeln und durch innovative Methoden, Modelle, Algorithmen und Benutzerschnittstellen die engen Systemgrenzen der OC-Welt einzureißen.
  • Konferenzbeitrag
    Electronic-onboard-ticketing: Software challenges of an state-of-the-art M-commerce application
    (Mobile Economy – Transaktionen, Prozesse, Anwendungen und Dienste, Proceedings zum 4. Workshop Mobile Commerce, 2004) Haneberg, Dominik; Stenzel, Kurt; Reif, Wolfgang
  • Zeitschriftenartikel
    A Framework for Testing Self-organisation Algorithms
    (Softwaretechnik-Trends Band 35, Heft 1, 2015) Eberhardinger, Benedikt; Anders, Gerrit; Seebach, Hella; Siefert, Florian; Reif, Wolfgang
    The characteristics of self-organising, adaptive systems (SOAS) lead to a significantly higher flexibility and robustness against an ever-changing environment. This flexibility makes it hard to test these systems adequately, which is, however, inevitable in order to assure their quality. As a part of our vision of testing SOAS, we present a framework for testing selforganisation (SO) algorithms. The framework addresses the following key challenges for testing SO algorithms: state space explosion, interleaved feedback loops, and failure overlapping.
  • Konferenzbeitrag
    Simulating a flash file system with CoreASM and Eclipse
    (INFORMATIK 2011 – Informatik schafft Communities, 2011) Junker, Maximilian; Haneberg, Dominik; Schellhorn, Gerhard; Reif, Wolfgang; Ernst, Gidon
    The formal specification of a file system for flash memory is the first step towards its verification. But creating such a formal specification is complex and errorprone. Visualizing the system state and having an executable version of the specification helps to better understand the specified system. In this paper, we present an approach for simulating and visualizing specifications written in the Abstract State Machine (ASM) formalism. We extend the ASM execution engine CoreASM to execute ASMs written using algebraic specifications. Furthermore we develop an Eclipsebased visualization framework and integrate CoreASM into it. This enables us to create different abstract views of the CoreASM system state and allows the user to interact with the specification in an intuitive way. We apply our techniques to the visualization of an abstract specification of a flash memory file system and report on our experiences with CoreASM and Eclipse.
  • Konferenzbeitrag
    A system of systems approach to the evolutionary transformation of power management systems
    (INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt, 2013) Steghöfer, Jan-Philipp; Anders, Gerrit; Siefert, Florian; Reif, Wolfgang
    Power management systems of the future will be very different from the ones today. They will be complex systems of systems that directly incorporate distributed energy resources into the scheduling processes, react much quicker to changes in power demand and production than today's, and will allow small groups of producers and consumers to participate in the power market. This will lead to a more flexible, robust, and scalable power grid if the technological challenges can be mastered. We propose techniques that support this transition in five evolutionary steps, incorporating proven as well as new ideas. These steps are founded in the belief that agency of system components like power plants, trust as a measure of uncertainty, and selforganisation will be the keys to tackle the challenges at hand. Apart from describing approaches and algorithms that can help us in this matter, we provide preliminary evaluations that show that the techniques are worthwhile and should be further pursued.
  • Konferenzbeitrag
    Towards safe and secure organic computing applications
    (INFORMATIK 2006 – Informatik für Menschen, Band 1, 2006) Güdemann, Matthias; Nafz, Florian; Reif, Wolfgang; Seebach, Hella
    In this paper we present our ongoing work on “Organic Computing”. We present an illustrative case study from program automation that uses OC-paradigms to be failure tolerant and to produce effectively. We present a way to build and verify a formal model of a self-adaptive system. We also give further ideas for formal modeling and our ideas of safety analysis of such systems. Another topic is how to build descriptive models and devising development processes for them.