Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Arnault Lapitre"'
Publikováno v:
Networked Systems ISBN: 9783030670863
NETYS
NETYS
We focus on studying an IoT algorithm called Trickle using a formal model-based approach. The algorithm has an essential role in traffic regulation across distributed networks of wireless sensors which are part of IoT. The algorithm allows efficient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d846d3e2a04dc436fda0fca2ae8d529
https://doi.org/10.1007/978-3-030-67087-0_7
https://doi.org/10.1007/978-3-030-67087-0_7
Publikováno v:
Advances in Model and Data Engineering in the Digitalization Era ISBN: 9783030876562
MEDI Workshops
MEDI Workshops
In this paper, we propose a symbolic framework to analyze and debug communicating distributed models. We implement dedicated symbolic execution techniques for such models and use them to compute interaction scenarios satisfying a particular user cove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c9da7c8e502a9429debfdf913097af5
https://doi.org/10.1007/978-3-030-87657-9_4
https://doi.org/10.1007/978-3-030-87657-9_4
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International Journal on Software Tools for Technology Transfer, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International audience; Data flow formalisms are commonly used to model systems in order to solve problems of buffer sizing and task scheduling. A prerequisite for static analysis of a modeled system is the existence of a periodic schedule in which t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1a0177892c870fa0c6debed4d5074c
https://cea.hal.science/cea-03345920
https://cea.hal.science/cea-03345920
Autor:
Arnault Lapitre, Boutheina Bannour
Publikováno v:
MECO
The paper is focused on the Trickle algorithm as it receives an increasing interest in the regulation of information dissemination among IoT devices. The algorithm uses time-control on broadcast suppression in order to minimize message exchanges and
Autor:
Arnault Lapitre, Boutheina Bannour
Publikováno v:
Proceedings of the Conference on Rapid Simulation and Performance Evaluation: Methods and Tools.
Wireless Sensor Networks (WSN) as parts of the so-called Internet of Things (IoT) are facing the challenge of upgrading their firmware very often, in particular when security flaws are found. This large-scale operation can be remotely conducted start
Publikováno v:
SAC
Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small-step operational semantics for interaction models. The paper extends this work by presenting an approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::520d02687659b28d6b697d28ab441fdb
Publikováno v:
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
ICST Workshops
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
ICST Workshops
The Trickle algorithm is widely used to manage information dissemination in Wireless Sensor Networks (WSN) and it continues to be studied, in order to evaluate its performance or to derive variants or use in higher-level protocols. In this paper, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8acb30015cbd8257c37ac4fbeb89e607
https://hal.archives-ouvertes.fr/hal-02421125
https://hal.archives-ouvertes.fr/hal-02421125
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030349677
IFM
IFM
In Cyber-Physical Systems, the software components are often distributed over several computing nodes, connected by a communication network. Depending on several factors, the behavior of these components may dynamically change during its execution. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::270598eb30d1552c420e400d3b1df5ba
https://doi.org/10.1007/978-3-030-34968-4_10
https://doi.org/10.1007/978-3-030-34968-4_10
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030167219
FASE
FASE
Data flow formalisms are commonly used to model systems in order to solve problems of buffer sizing and task scheduling. A prerequisite for static analysis of a modeled system is the existence of a periodic schedule in which the sizes of communicatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f9fdfa13947ee1b4c61828efbdd3aa1
https://doi.org/10.1007/978-3-030-16722-6_22
https://doi.org/10.1007/978-3-030-16722-6_22
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:519-519