A fuzzy description logic based IoT framework: Formal verification and end user programming

M Pérez-Gaspar, J Gomez, E Bárcenas, F Garcia - Plos one, 2024 - journals.plos.org
The Internet of Things (IoT) has become one of the most popular technologies in recent
years. Advances in computing capabilities, hardware accessibility, and wireless connectivity …

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 …

A verification method for security and safety of IoT applications through DSM language and lustre

W Tang, H Feng, K Hisazumi, A Fukuda - Proceedings of the 3rd …, 2020 - dl.acm.org
Development of Internet of Things (IoT) brings a variety of IoT applications that involve
housing, navigation, payment, and healthcare. Since IoT applications play an important role …

Design and analysis of IoT applications: A model-driven approach

B Costa, PF Pires, FC Delicato, W Li… - 2016 IEEE 14th Intl …, 2016 - ieeexplore.ieee.org
The Internet of Things (IoT) is a new paradigm consisting of heterogeneous entities that
communicate with each other by sending and receiving messages in heterogeneous formats …

Policy management and enforcement using OWL and SWRL for the internet of things

R Dautov, S Veloudis, I Paraskakis… - Ad-hoc, Mobile, and …, 2017 - Springer
As the number of connected devices is exponentially growing, the IoT community is
investigating potential ways of overcoming the resulting heterogeneity to enable device …

A comparative study for modeling IoT security systems

M Hind, O Noura, M Sanae, A Abraham - International Conference on …, 2022 - Springer
This contribution addresses the need of modeling the security of IoT (Internet of Things)
systems. Therefore, modeling such complex system is a challenging task due to their …

[PDF][PDF] Programming Intelligent IoT Systems with a Python-based Declarative Tool.

F D'Urso, CF Longo, C Santoro - AI&IoT@ AI* IA, 2019 - researchgate.net
IoT applications are traditionally characterised by a set of interacting small devices equipped
with microcontrollers (MCUs). Basically, they are often programmed in bare-metal using the …

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 …

A conceptual model to support security analysis in the internet of things

O Mavropoulos, H Mouratidis, A Fish… - Computer Science …, 2017 - research.brighton.ac.uk
Thispaperproposesaconceptualmodeltosup…-ing security analysis of Internet of Things
(IoT) systems. The world is entering an era of ubiquitous computing with IoT being the main …

Towards low-effort development of advanced IoT applications

I Bohé, M Willocx, J Lapon, V Naessens - Proceedings of the 8th …, 2021 - dl.acm.org
Building customised IoT applications is often labor intensive. While several frameworks
support developers in building sophisticated applications, they mainly focus on the …