Logo des Repositoriums

Auflistung nach Autor:in "Iyenghar, Padma"

1 - 3 von 3
  • Zeitschriftenartikel
    Early Model-Driven Timing Validation of Embedded Software Systems Developed Using Matlab/Simulink
    (Softwaretechnik-Trends Band 38, Heft 1, 2018) Iyenghar, Padma; Pulvermueller, Elke
    This paper presents a model-driven workflow for specification of timing constraints in Matlab/Simulink (ML/SL), their extraction and synthesis of a timing analysis model and its subsequent validation in a specialized timing validation tool (e.g. SymTA/S). We present a light-weight interfacing tool framework, adhering to the proposed workflow, and evaluate it in a real-life automotive engine model example. A main benefit of this work is the feedback at early d design stage, about the performance characteristics (e.g. load, schedulability) of the system.
  • Zeitschriftenartikel
    Model-Based Debugging of Embedded Software Systems
    (Softwaretechnik-Trends Band 31, Heft 3, 2011) Iyenghar, Padma; Pulvermueller, Elke; Westerkamp, Clemens; Uelschen, Michael; Wuebbelmann, Juergen
    Model Driven Development (MDD) has been slowly superseding traditional ways of developing embedded software in the recent decade. In line with the MDD, debugging Real-Time Embedded Software Systems (RTESS) and visualizing their behavior using models such as UML diagrams is becoming a reality. However, the existing MDD based debugging tools for RTESS are not applicable (require significant source code instrumentation, sophisticated debug interfaces, etc) for memorysize constrained RTESS. To address this, we discuss a modelbased debugging methodology for RTESS which aims at overcoming the aforementioned limitations. Using our approach, the target behavior can be visualized in real-time using UML sequence and timing diagrams. We illustrate our approach with a prototype and examples. Performance metrics such as the target monitor size and the instrumentation overhead are discussed.
  • Konferenzbeitrag
    Software Qualitätssicherung für Geschäftsprozesse mit eingebetteten Systemen
    (INFORMATIK 2011 – Informatik schafft Communities, 2011) Iyenghar, Padma
    Für die Qualitätssicherung eines Geschäftsprozesses, ist es unerlässlich, die Geschäftprozesskette ganzheitlich zu betrachten. Das schließt die Betrachtung jeder einzelnen funktionalen Komponente ein. Dies ist besonders bei Geschäftsprozessen schwierig, die eingebettete Systeme involvieren. Deren Software-Komponenten sind nur schwer zugänglich. Die Software-Komponenten in den eingebetteten Systemen haben aber besondere Relevanz für das Einhalten von Echtzeitbedingungen innerhalb eines Geschäftprozesses. Die Verletzung dieser Bedingungen kann katastrophale und lebensbedrohliche Folgen haben. Erst in der neueren Forschung werden auch eingebettete Systeme auf höherer Ebene modelliert, generiert und insbesondere in ersten Ansätzen auf höherer Ebene getestet Im Vortrag wird ein modell-basiertes Test-Framework (basierend auf Model-Driven Architecture (MDA) vorgestellt, das eine Umgebung zur Qualitätssicherung für eingebettete Geräte bereitstellt, welche sich in die Methoden zur Qualitätssicherung der gesamten Geschäftsprozessmodellierung integrieren lässt.