A model based approach for debugging embedded systems in real-time

Iyenghar, Padma; Westerkamp, Clemens; Wuebbelmann, Juergen; Pulvermueller, Elke

doi:10.1145/1879021.1879031

Cited by 15 publications

(17 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…With this modelbased debugging approach, the behavior of memory-size constrained RTESS can be visualized in real-time using UML sequence and timing diagrams, at the design level. However, performance metrics and evaluation of this approach for various application scenarios was missing in [4]. This paper closes the aforementioned gap and has the following novel contributions.…”

Section: B Contributionmentioning

confidence: 93%

“…One such modelbased debugging approach which addresses the aforementioned limitations is discussed in [4]. With this modelbased debugging approach, the behavior of memory-size constrained RTESS can be visualized in real-time using UML sequence and timing diagrams, at the design level.…”

Section: B Contributionmentioning

confidence: 99%

“…UML profiles [2] introduced by the OMG consist of a set of new stereotypes for a particular domain. The widespread applicability of UML (general purpose diagrams and profiles) as a modeling language for embedded systems is evident from the numerous studies in the literature [4] and [5]. In our proposed modelbased debugging methodology we use UML to specify the design model (e.g.…”

Section: Related Workmentioning

confidence: 99%

“…This I/O routine of the target monitor handles the trace data pertinent about the target behavior based on the chosen debug communication interface (between the target and the host computer). The target monitor uses a custom-defined frame format [4] to send these notifications about the target behavior to the host side. The notifications are sent to the host computer using a debug communication interface.…”

Section: ) Target Monitor and Rtos Frameworkmentioning

confidence: 99%

“…Thus, with the aid of this approach the target behavior can be visualized and debugged in real-time at the host computer. The prototype implementation described above has been evaluated on embedded target platforms such as the MCB2140 and MCB1700 from [1] for a number of application scenarios [4]. Visualizing a simple "blinky" example (wherein LEDs are toggled between ON and OFF states) in the evaluation board using the target debugger approach is illustrated in this paper.…”

Section: ) Visualizing Rtes Behavior In Real-timementioning

confidence: 99%

See 4 more Smart Citations

Model-Based Debugging of Embedded Software Systems

Iyenghar

Pulvermueller

Westerkamp³

et al. 2017

Embedded Software Verification and Debugging

Self Cite

View full text Add to dashboard Cite

Abstract-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.

show abstract

Section: B Contributionmentioning

confidence: 93%

Section: B Contributionmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: ) Target Monitor and Rtos Frameworkmentioning

confidence: 99%

Section: ) Visualizing Rtes Behavior In Real-timementioning

confidence: 99%

See 3 more Smart Citations

Model-Based Debugging of Embedded Software Systems

Iyenghar

Pulvermueller

Westerkamp³

et al. 2017

Embedded Software Verification and Debugging

Self Cite

View full text Add to dashboard Cite

show abstract

Live modeling in the context of state machine models and code generation

et al. 2020

View full text Add to dashboard Cite

Live modeling has been recognized as an important technique to edit behavioral models while being executed and helps in better understanding the impact of a design choice. In the context of Model-driven Development (MDD) models can be executed by interpretation or by the translation of models into existing programming languages, often by code generation. This work is concerned with the support of live modeling in the context of state machine models when they are executed by code generation. To this end, we propose an approach that is completely independent of any live programming support offered by the target language. This independence is achieved with the help of a model transformation which equips the model with support for features which are required for live modeling. A subsequent code generation then produces a self-reflective program that allows changes to the model elements at runtime (through synchronization of design and runtime models). We have applied the approach in the context of UML-RT and created a prototype (Live-UMLRT) that provides a full set of services for live modeling of UML-RT state machines such as re-execution, adding/removing states and transitions, and adding/removing action code. We have evaluated the prototype on several use-cases. The evaluation shows that (1) generation of a self-reflective and model instrumentation can be carried out with reasonable performance, and (2) our approach can apply model changes to the running execution faster than the standard approach that depends on the live programming support of the target language.

show abstract

A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems

et al. 2016

Self Cite

View full text Add to dashboard Cite

Embedded software engineering very often involves development of complex, mission critical software; wherein it is imperative that the developed software fulfills its requirements to achieve high quality. In such cases, there are several advantages of using specialized Requirements Management (RM) tools for managing the requirements. Critical timing requirements are among the foremost non-functional (quality) requirements to be fulfilled by increasingly complex embedded software. Further, a correct and effective timing behavior is among the characteristics of high-quality software. On the other hand, Model-Driven Development (MDD) is considered as the next paradigm shift to address the increasing complexity in embedded software development and to achieve high-quality standards. Similarly, there are specialized tools for validating and analyzing the timing behavior of the embedded software. However, such tools are used very late in the development process, when the actual timing errors occur. Thus, it is intuitive to perceive that an integrated model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems is very beneficial for high-quality software development, nevertheless is still missing. Addressing the aforementioned gap, this paper proposes an approach toward a complete workflow for managing timing requirements in RM tools, specifying timing behavior in MDD tools and their validation in specialized tools for timing analyses. A prototype implementation of the proposed framework and its experimental evaluation are discussed.

show abstract

A model based approach for debugging embedded systems in real-time

Cited by 15 publications

References 13 publications

Model-Based Debugging of Embedded Software Systems

Model-Based Debugging of Embedded Software Systems

Live modeling in the context of state machine models and code generation

A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems

Contact Info

Product

Resources

About