Logo des Repositoriums

Auflistung nach Autor:in "Hirsch, Martin"

1 - 3 von 3
  • Konferenzbeitrag
    IKAR/OS
    (Modellierung 2004, 2004) Röhrbein, Florian; Artmann, Stefan; Hirsch, Martin
    Das Projekt IKAR/OS (Intelligent Knowledge and Research Operating System) hat sich zum Ziel gesetzt, ein intelligentes Wissensmanagementsystem für die Lebenswissenschaften zu entwickeln. Das Projekt wird von der Firma iAS GmbH (CEO Dr. Hirsch) in Zusammenarbeit mit dem Humanwissenschaftlichen Zentrum der LMU München (Prof. Pöppel) und der Universität Bremen (Prof. Schill) durchgeführt.
  • Konferenzbeitrag
    Modeling and verifying dynamic communication structures based on graph transformations
    (Software Engineering 2010, 2010) Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, Wilhelm
    Current and especially future software systems increasingly exhibit socalled self* properties (e. g. , self healing or self optimization). In essence, this means that software in such systems needs to be reconfigurable at runtime to remedy a detected failure or to adjust to a changing environment. Reconfiguration includes adding or deleting software components as well as adding or deleting component interaction. As a consequence, the state space of self* systems becomes so complex, that current verification approaches like model checking or theorem proving usually do not scale. Our approach addresses this problem by first defining a so-called “regular” system architecture with clearly defined interfaces and predefined patterns of communication such that dependencies between concurrently running component interactions are minimized with respect to the system under construction. The construction of such architectures and especially its reconfiguration is controlled by using graph transformation rules which define all possible reconfigurations. It is formally proven that such a rule set cannot produce any “non-regular” architecture. Then, the verification of safety and liveness properties has to be carried out for only an initially and precisely defined set of so-called coordination patterns rather than on the whole system.
  • Konferenzbeitrag
    Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen
    (Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Gehrke, Matthias; Hirsch, Martin; Schäfer, Wilhelm; Niggemann, Oliver; Stichling, Dirk; Nickel, Ulrich