Formal verification of IoT applications using rewriting logic: An MDE-based approach
A Fortas, E Kerkouche, A Chaoui - Science of Computer Programming, 2022 - Elsevier
Abstract Internet of Things (IoT) systems are complex assemblies of components that
collaborate to achieve common goals. These components are based on heterogeneous …
collaborate to achieve common goals. These components are based on heterogeneous …
A formal approach to specify and verify Internet of Things architecture
Abstract The Internet of Things (IoT) aims to interconnect the physical world with the digital
world, presenting complex challenges that require accurate models to ensure …
world, presenting complex challenges that require accurate models to ensure …
[PDF][PDF] A Meta-Modeling Approach to Describe Internet of Things Architectures.
Statistics say that there will be 25 billion devices interconnected to the Internet by the end of
2021. This explosive growth of connected objects has led us to the advent of a promising …
2021. This explosive growth of connected objects has led us to the advent of a promising …
SI4IoT: A methodology based on models and services for the integration of IoT systems
Abstract The Internet of Things (IoT) is a technology that is growing faster every day due to
the large number of platforms and end-devices that are becoming connected to each other …
the large number of platforms and end-devices that are becoming connected to each other …
Towards a Thing-In-the-Loop approach for the verification and validation of IoT systems
D Amalfitano, N Amatucci, V De Simone… - Proceedings of the 1st …, 2017 - dl.acm.org
The Internet of Things (IoT) is rapidly increasing its diffusion, posing great challenges to the
research community. IoT systems are composed by smart objects (Things) that are …
research community. IoT systems are composed by smart objects (Things) that are …
CyprIoT: framework for modelling and controlling network-based IoT applications
Model-Driven Engineering (MDE) is a paradigm that favors using models to address
software engineering problems. Very few attempts have been made to apply this paradigm …
software engineering problems. Very few attempts have been made to apply this paradigm …
Towards the adoption of OMG standards in the development of SOA-based IoT systems
A common feature of the Internet of Things (IoT) is the high heterogeneity, regarding network
protocols, data formats, hardware and software platforms. Aiming to deal with such a degree …
protocols, data formats, hardware and software platforms. Aiming to deal with such a degree …
ThingML+ augmenting model-driven software engineering for the Internet of Things with machine learning
A Moin, S Rössler, S Günnemann - arXiv preprint arXiv:2009.10633, 2020 - arxiv.org
In this paper, we present the current position of the research project ML-Quadrat, which aims
to extend the methodology, modeling language and tool support of ThingML-an open source …
to extend the methodology, modeling language and tool support of ThingML-an open source …
Ontology-based finite satisfiability of UML class model
Software models are core artifacts in model driven engineering (MDE) and processable by
computer. They are automatically transformed into other models and in MDE, programming …
computer. They are automatically transformed into other models and in MDE, programming …
A model-driven methodology to accelerate software engineering in the internet of things
The Internet of Things (IoT) aims for connecting. This assumption brings about several
software engineering challenges that constitute a serious obstacle to its wider adoption. The …
software engineering challenges that constitute a serious obstacle to its wider adoption. The …