Safe Composition in Middleware for the Internet of Things

Sarray, Ines; Ressouche, Annie; Gaffé, Daniel; Tigli, Jean‐Yves; Lavirotte, Stéphane

doi:10.1145/2836127.2836131

Cited by 10 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [13], the authors propose a model-checking based approach for the reliability of IoT middleware. The system behaviour is modelled using automata and a set of properties are verified.…”

Section: Related Workmentioning

confidence: 99%

Combining Transactional and Behavioural Reliability in Adaptive Middleware

Sylla

Louvel

Rutten

2016

Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware

View full text Add to dashboard Cite

International audienceAdaptive systems behaviours can be intuitively programmed, using rule based middleware, as a set of rules. The rules verify conditions and perform actions in order to achieve a set of objectives. However, this raises several problems. First, inconsistencies may result from the fact that an action is not actually performed due to a communication error or a hardware failure. Second, the rules may be conflicting and their sequential chaining may lead to undesirable behaviour. This paper proposes an approach that combines transactional and behavioural reliability (i.e. consistency and no conflict) in adaptive middleware. This approach is implemented using the middleware LINC and the automata based language Heptagon/BZR. A case study, in the field of building automation, is presented to illustrate the approach

show abstract

“…In [13], the authors propose a model-checking based approach for the reliability of IoT middleware. The system behaviour is modelled using automata and a set of properties are verified.…”

Section: Related Workmentioning

confidence: 99%

Combining Transactional and Behavioural Reliability in Adaptive Middleware

Sylla

Louvel

Rutten

2016

Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware

View full text Add to dashboard Cite

show abstract

“…, and (2) formal verification techniques. These techniques are meant to predict the behavioral compliancy of the applications against requirements on the long run [19] and their effectiveness depends on the accuracy of the models or the intervention of the designers or the users on a regular basis.…”

Section: Introductionmentioning

confidence: 99%

On the Behavioral Drift Estimation of Ubiquitous Computing Systems in Partially Known Environments

Rocher

Tigli

Lavirotte

2016

Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services

Self Cite

View full text Add to dashboard Cite

Background. With the recent advent of the so-called connected objects, today largely present in our surroundings, software applications have an open door to the physical world through sensors and actuators. However, although it offers huge opportunities in many areas (e.g., smart-home, smart-cities, etc.. .), it poses a serious methodological challenge. Indeed, while classical software applications operate in the well known and delimited digital world, the so-called ambient applications operate in and through the physical world, open and subject to uncertainties that cannot be modeled accurately and entirely. These uncertainties lead the behavior of the ambient applications to potentially drift over time against requirements. In this paper, we propose a framework to estimate the behavioral drift of the ambient applications against requirements at runtime. Methodology. We rely on the Moore Finite State Machines (FSM) modeling framework to specify the ideal behavior an ambient application is supposed to meet, irrespective of the operating environment and the underlying software infrastructure. We then appeal on the control theory and propose a framework to transform the Moore FSM to its associated Continuous Density Hidden Markov Model (CD-HMM) state observer. By accounting for uncertainties through probabilities, it extends Moore FSM with viability zones, i.e. zones where the behavioral requirements of the ambient applications are acceptable. The observation of the execution of a concrete ambient application together with the statistical modeling framework underlying its associated state observer allow to compute the likelihood of an observation sequence to have been produced by the application. The likelihood then gives direct insight into the behavioral drift of the concrete application against requirements. Results. We validate our approach through a concrete usecase in the field of school lighting. The results demonstrate the soundness and efficiency of the proposed approach for estimating the behavioral drift of the ambient applications at runtime. In light of these results, one can envision us

show abstract

Towards an IoT-Oriented Software Engineering Methodology

Mariani,

Zambonelli

2024

Internet of Things

View full text Add to dashboard Cite

Safe Composition in Middleware for the Internet of Things

Cited by 10 publications

References 7 publications

Combining Transactional and Behavioural Reliability in Adaptive Middleware

Combining Transactional and Behavioural Reliability in Adaptive Middleware

On the Behavioral Drift Estimation of Ubiquitous Computing Systems in Partially Known Environments

Towards an IoT-Oriented Software Engineering Methodology

Contact Info

Product

Resources

About