Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems

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

doi:10.1109/indin.2013.6622936

Cited by 4 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A time-and memory-aware monitoring approach suitable for resource constrained embedded software systems is proposed in Iyenghar et al (2013). By time-and memoryaware approach, it is meant that the overhead (time and memory) introduced by monitoring should be measurable beforehand, minimal, bounded and independent of the application.…”

Section: Trace Datamentioning

confidence: 99%

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

Section: Trace Datamentioning

confidence: 99%

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

show abstract

“…More generally, high-level languages are not easily applicable to embedded devices programming and resource constraints are major issues in developing and debugging such systems [7]. While simulators are widely adopted [8], designing on-board runtime verification mechanisms for resource-constrained devices demands specific efforts [9]. On the other hand, high-level abstractions may significantly support verification [10].…”

Section: Introductionmentioning

confidence: 99%

Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices

Gaglio

Martorella

et al. 2020

Sensors

View full text Add to dashboard Cite

We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices. Natural language patterns allow for the reduction of intermediate abstraction layers to map physical domain concepts into executable code avoiding the recourse to ontologies, which would need to be shared, kept up to date, and synchronized across a set of devices. Moreover, the computational paradigm we use for effective distributed execution of symbolic code on resource-constrained devices encourages the adoption of such patterns. The methodology is supported by a rule-based system that permits runtime verification of Software Under Test (SUT) on board the target devices through automated oracle and test case generation. Moreover, verification extends from syntactic and semantic checks to the evaluation of the effects of SUT execution on target hardware. Additionally, by exploiting rules tying sensors and actuators to physical quantities, the effects of code execution on the physical environment can be verified. The system is also able to build test code to highlight software issues that may arise during repeated SUT execution on the target hardware.

show abstract

FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification

Perez

Jiménez

Rabanal

et al. 2014

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems

Cited by 4 publications

References 10 publications

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

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

Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices

FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification

Contact Info

Product

Resources

About