A model-based architecture for interactive run-time monitoring

Hili, Nicolas; Bagherzadeh, Mojtaba; Jahed, Karim; Dingel, Juergen

doi:10.1007/s10270-020-00780-y

Cited by 13 publications

(5 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A model-based architecture for interactive run-time monitoring has been proposed (Hili et al, 2020) that leverages modelbased techniques, model-to-model transformation, and automated code generation. Its focus lies on supporting runtime monitoring activities for real-time and embedded systems and it does not adapt monitors based on different states of the system.…”

Section: Related Workmentioning

confidence: 99%

AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems

Vierhauser

Wohlrab

Stadler

et al. 2023

Journal of Systems and Software

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems

Vierhauser

Wohlrab

Stadler

et al. 2023

Journal of Systems and Software

View full text Add to dashboard Cite

“…Hili et al propose an approach for interactive monitoring of real-time and embedded systems modeled using UML Real-Time (UML-RT) [17]. Their approach enables different external components such as tools for data collection, animation, simulation, analysis, adaptation, and control to monitor the execution of the code generated from a UML-RT model.…”

Section: Testing Approaches For Specific Dslsmentioning

confidence: 99%

Advanced testing and debugging support for reactive executable DSLs

et al. 2022

View full text Add to dashboard Cite

Executable Domain-Specific Languages (xDSLs) allow the definition and the execution of behavioral models. Some behavioral models are reactive, meaning that during their execution, they accept external events and react by exposing events to the external environment. Since complex interaction may occur between the reactive model and the external environment, they should be tested as early as possible to ensure the correctness of their behavior. In this paper, we propose a set of generic testing facilities for reactive xDSLs using the standardized Test Description Language (TDL). Given a reactive xDSL, we generate a TDL library enabling the domain experts to write and run event-driven TDL test cases for conforming reactive models. To further support the domain expert, the approach integrates interactive debugging to help in localizing defects, and mutation analysis to measure the quality of test cases. We evaluate the level of genericity of the approach by successfully writing,

show abstract

“…Hojaji et al [59] surveys the existing work in the context of model execution tracing. Examples of existing work and MDD tools supporting trace analyses via code instrumentation include [60], [61], [62], [63], [64], [65]. For instance, Iyengar et al [63], [64], [66] propose an optimized model-based debugging technique for RTE systems with limited memory.…”

Section: Related Workmentioning

confidence: 99%

Execution of Partial State Machine Models

Bagherzadeh

Kahani

Jahed

et al. 2022

IIEEE Trans. Software Eng.

Self Cite

View full text Add to dashboard Cite

The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at early stages of software development allows early detection of defects, which can be fixed more easily and at lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps: static analysis, automatic refinement, and input-driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML-RT (i.e., a modeling language for the development of soft real-time systems) that embodies our proposed framework. We evaluated PMExec based on several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance, and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally, and show how the refinement preserves the original behaviors of the model.

show abstract

A model-based architecture for interactive run-time monitoring

Cited by 13 publications

References 27 publications

AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems

AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems

Advanced testing and debugging support for reactive executable DSLs

Execution of Partial State Machine Models

Contact Info

Product

Resources

About