Models@runtime and Internet of Things: A Systematic Literature Review

Erazo-Garzon, Lenin; Roman, Ariana; Moyano-Dutan, Jose; Cedillo, Priscila

doi:10.1109/ici2st51859.2021.00026

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2023

Publication Types

Select...

Other1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 50 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System

Li,

Zhang,

Zhu

et al. 2023

Proceedings of the 14th Asia-Pacific Symposium on Internetware

View full text Add to dashboard Cite

UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System

Li,

Zhang,

Zhu

et al. 2023

Proceedings of the 14th Asia-Pacific Symposium on Internetware

View full text Add to dashboard Cite

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

et al. 2021

View full text Add to dashboard Cite

Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected system, and vice versa. To the best of our knowledge, there are no runtime models for Python applications. Therefore, we propose a formal approach based on Petri Nets (PNs) to model, develop, and reconfigure Python applications at runtime. This framework is supported by a tool whose architecture consists of two modules connecting both the model and its execution. The proposed framework considers execution exceptions and allows users to monitor Python expressions at runtime. Additionally, the application behavior can be reconfigured by applying Graph Rewriting Rules (GRRs). A case study using Service-Level Agreement (SLA) violations is presented to illustrate our approach.

show abstract

Models@runtime and Internet of Things: A Systematic Literature Review

Cited by 2 publications

References 50 publications

UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System

UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

Contact Info

Product

Resources

About