Logo des Repositoriums

Auflistung nach Autor:in "Stauner, Thomas"

1 - 3 von 3
  • Konferenzbeitrag
    Approaching a discrete-continuous UML: Tool support and formalization
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Stauner, Thomas; Pretschner, Alexander; Péter, István
    This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. Is is implemented in a CASE tool prototype based on the Real-time Object Oriented Modeling methodology. All vital parts of HyROOM's operational simulation semantics are mapped into HyCharts, a formal framework for hybrid systems. All essential concepts are discussed along the lines of parts of an industrial case study, a wire stretching plant. The semantics is the basis for validation and refinement techniques.
  • Konferenzbeitrag
    Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software
    (Informatik 2005 – Informatik Live! Band 2, 2005) Hamdan, Amen; Heidrich, Jens; Stauner, Thomas; Wickenkamp, Axel
    Der weiter stark anwachsende Softwareumfang im automobilen Umfeld wird in Zukunft neue Methoden und Vorgehensweisen bei der Entwicklung von Steuergerätesoftware notwendig machen. So wird diese Software in Zukunft nicht mehr aus der Hand eines einzelnen Zulieferers kommen. Vielmehr wird ein Groß- teil aus wiederverwendbaren Komponenten einer Vielzahl unterschiedlicher Entwickler Anwendung finden. Der Integrationsund Testaufwand ist hierbei enorm und nimmt im Vergleich zum heutigen Vorgehen nochmals deutlich zu. Umso wichtiger werden eine genaue Spezifikation der Schnittstellen und eine durchgehend hohe Qualität der Software. Während erstere durch formale Methoden sichergestellt werden kann, wird die Softwarequalität im Wesentlichen durch intensive Code-Reviews und eingehende Tests gewährleistet werden müssen. Mit steigendem Gesamtumfang und der Verteilung des Entwicklungs-Know-Hows steigt der Aufwand hierfür allerdings auf ein nicht mehr praktikables Maß an. Um diesem Problem zu begegnen, wurde eine Methodik entwickelt, um den abstrakten Begriff der Softwarequalität aus der speziellen Sicht der Wartbarkeit greifbar zu machen. Hierfür wurde ein Wartbarkeitsmodell erstellt, welches verschiedene Metriken des Steuergerätecodes zusammenfasst und zu einem Wartbarkeitsindex verknüpft. Anschließend wurde das Modell auf seine Tauglichkeit hin überprüft und weiter verfeinert.
  • Textdokument
    Systematic development of hybrid systems
    (Ausgezeichnete Informatikdissertationen 2001, 2003) Stauner, Thomas
    This extended abstract gives an overview over the results achieved in the author’s PhD thesis on the systematic development of hybrid embedded systems. An idealized development process for hybrid, i.e. mixed discrete and continuous, embedded systems is presented and used to point out where the results of the thesis support the development of hybrid systems. Besides the proposal of the development process itself, the thesis’ results fall into three main categories. First, graphical notations with a precise mathematical semantics supporting an integrated view on hybrid systems are developed. Second, methods for the stepwise refinement of hybrid systems described with the proposed notations are elaborated. This in particular includes methods for moving from an abstract continuous time scale to an implementation oriented discrete time scale in a way which preserves essential system properties. Third, properties of hybrid systems are formalized, classified and put in relation to known classes of properties in computer science. This also uncovers and formalizes parallels between proof methods known in control theory and methods from computer science. Thereby the thesis fosters a deeper understanding of hybrid systems by computer scientists.