On Guaranteeing Trustworthiness and Better Outcomes in Internet of Things Environments
Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graïet · Concurrency and Computation Practice and Experience · 2025
ABSTRACT Industrial automation and smart ecological monitoring are key fields of Internet of Things environments, where devices function under complex practical conditions and with restricted infrastructure. In such conditions, devices often face critical concerns in guaranteeing trustworthiness and better outcomes. In this article, we preliminarily suggest a thoughtful design that anticipates the programming complexities of Internet of Things (IoT) environments and accounts for their unpredictable conduct under practical conditions. Central to our strategy is the use of a method grounded in mathematical logic to allow their core properties to be rigorously checked through mathematical proofs. This process builds trustworthy IoT infrastructures and ensures dependability of their conduct before practical programming. Beyond theoretical design, we perform programming and field experiments, demonstrating that mathematically grounded designs lead directly to more productive environment outcomes, particularly in restricted conditions where infrastructure must be exploited judiciously. The results underscore the value of integrating our mathematically checked design not only at the design level but also in shaping concrete solutions for critical blockchain‐enabled IoT environments. Finally, the results show that applying our design translates into demonstrable outcomes and easier environment adaptation during practical programming.