A fuzzy description logic based IoT framework: Formal verification and end user programming
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 …
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 …
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 …
housing, navigation, payment, and healthcare. Since IoT applications play an important role …
Design and analysis of IoT applications: A model-driven approach
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 …
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
As the number of connected devices is exponentially growing, the IoT community is
investigating potential ways of overcoming the resulting heterogeneity to enable device …
investigating potential ways of overcoming the resulting heterogeneity to enable device …
A comparative study for modeling IoT security systems
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 …
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.
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 …
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 …
research community. IoT systems are composed by smart objects (Things) that are …
A conceptual model to support security analysis in the internet of things
Thispaperproposesaconceptualmodeltosup…-ing security analysis of Internet of Things
(IoT) systems. The world is entering an era of ubiquitous computing with IoT being the main …
(IoT) systems. The world is entering an era of ubiquitous computing with IoT being the main …
Towards low-effort development of advanced IoT applications
Building customised IoT applications is often labor intensive. While several frameworks
support developers in building sophisticated applications, they mainly focus on the …
support developers in building sophisticated applications, they mainly focus on the …