Verifiable and resource-aware component model for IoT devices

A Gatouillat, Y Badr - Proceedings of the 9th International Conference on …, 2017 - dl.acm.org
Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …

Rigorous design and deployment of IoT applications

A Krishna, M Le Pallec, R Mateescu… - 2019 IEEE/ACM 7th …, 2019 - ieeexplore.ieee.org
Internet connected devices are becoming increasingly common in consumer homes. These
devices combined with software entities are used to build Internet of Things (IoT) …

Refinement and Verification for IoT Service Composition

SH Toman, L Hamel, M Graiet - 2023 IEEE Symposium on …, 2023 - ieeexplore.ieee.org
Internet of Things (IoT) is a finite set of interconnected devices that can cooperate and
interact with each other through the Internet. As the number of IoT devices have increased …

Models and verification for composition and reconfiguration of web of things applications

AKM Nadumane - 2020 - theses.hal.science
The Internet of Things (IoT) applications are built by interconnecting everyday objects over a
network. These objects or devices sense the environment around them, and their network …

[PDF][PDF] Towards a New Semantic Model for Service-Based IoT Applications.

S Berrani, A Yachir, S Mahmoudi, B Djamaa… - J. Inf. Sci …, 2022 - researchgate.net
The next weave of Mobile Ad hoc Networks and Wireless Sensor Networks stands for the
Internet of Things which aims to build a new ecosystem integrating the physical world with …

Formal modelling and verification of scalable service composition in IoT environment

SH Toman, L Hamel, ZH Toman, M Graiet… - … Oriented Computing and …, 2023 - Springer
A system based on the internet of things (IoT) consists of services deployed across several
devices that collaborate to fulfil IoT system goals. The growth in the number of IoT services …

Transformation-based processing of typed resources for multimedia sources in the IoT environment

H Gao, Y Duan, L Shao, X Sun - Wireless Networks, 2021 - Springer
Web services are middleware designed to support the interoperation between different
software systems and devices over the Web. Today, we encounter a variety of situations in …

IoT Composer: Composition and deployment of IoT applications

A Krishna, M Le Pallec, R Mateescu… - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
The Internet of Things (IoT) consists of interconnected physical devices and software
components. These connected things or objects exchange information in order to provide an …

A generic service oriented software platform to design ambient intelligent systems

S Lavirotte, G Rey, G Rocher, JY Tigli - Adjunct Proceedings of the 2015 …, 2015 - dl.acm.org
Smart devices or smart things are widely deployed within environments and have to work in
concert to assist users in many domains. The interoperability between things is achieved by …

Tdex: A description model for heterogeneous smart devices and gui generation

L Baresi, M Sadeghi, M Valla - 2018 IEEE International …, 2018 - ieeexplore.ieee.org
The fast-growing availability of smart devices is making our environments smarter than ever,
but also more and more heterogeneous. Many diverse devices must be integrated and this …