A Resource Oriented Framework for Service Choreography over Wireless Sensor and Actor Networks

Duhart, Clément; Sauvage, Pierre; Bertelle, Cyrille

doi:10.1007/s10776-016-0316-1

Cited by 12 publications

(10 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Table summarizes the main characteristics of the design/analysis methods found in related bibliography and compares them with the BIP design flow of Figure . Most approaches are model‐based, but only the BIP flow and a few other works() are grounded on languages with formal semantics.…”

Section: Discussionmentioning

confidence: 99%

“…The validation of quantitative specifications or the robustness analysis of systems is supported by some methods, but only the work of Cherrier et al and the BIP flow support the verification of qualitative properties, with the latter covering all categories. Moreover, most methods do not cover the entire design cycle (including code generation and deployment) with the notable exceptions of the works() and the BIP design flow. Some methods are limited to the analysis of WSN systems.…”

Section: Discussionmentioning

confidence: 99%

“…In terms of the tools that support the various forms of analysis, most of the approaches in Table provide or utilize various simulation frameworks with the notable exception of the BIP flow along and the works,() which support SMC and/or other formal analyses. Finally, a noteworthy number of the shown methods aim to the generation of code for REST services running on the Contiki OS or other operating system.…”

Section: Discussionmentioning

confidence: 99%

See 2 more Smart Citations

Model‐based design of IoT systems with the BIP component framework

et al. 2018

View full text Add to dashboard Cite

The design of software for networked systems with nodes running an Internet of things operating system faces important challenges due to the heterogeneity of interacting things and the constraints stemming from the often limited amount of available resources. In this context, it is hard to build confidence that a design solution fulfills the application's requirements. This paper introduces a design flow for web service applications of the representational state transfer style that is based on a formal modeling language, the behaviour, interaction, priority (BIP) component framework. The proposed flow applies the principles of separation of concerns in a component-based design process that supports the modular design and reuse of model artifacts. The BIP tools for state-space exploration allow verifying qualitative properties for service responsiveness, ie, the timely handling of events. Moreover, essential quantitative properties are validated through statistical model checking of a stochastic BIP model. All properties are preserved in actual implementation by ensuring that the deployed code is consistent with the validated model. We illustrate the design of a representational state transfer sense-compute-control application for a Wireless Personal Area Network architecture with nodes running the Contiki operating system. The results validate qualitative and quantitative properties for the system and include the study of error behaviours.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Discussionmentioning

confidence: 99%

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Model‐based design of IoT systems with the BIP component framework

et al. 2018

View full text Add to dashboard Cite

show abstract

“…EDSOA An Event-driven Service-oriented Architecture for the Internet of Things Service Execution (Lan et al, 2015) describes an approach that utilizes an event-driven SOA. EMMA The Environmental Monitoring and Management Agent (EMMA) is a proposed middleware based on CoAP (Duhart, Sauvage & Bertelle, 2015). It does not offer any security architecture.…”

Section: Non-secured Systemsmentioning

confidence: 99%

A survey of secure middleware for the Internet of Things

Fremantle

Scott

2017

PeerJ Computer Science

View full text Add to dashboard Cite

The rapid growth of small Internet connected devices, known as the Internet of Things (IoT), is creating a new set of challenges to create secure, private infrastructures. This paper reviews the current literature on the challenges and approaches to security and privacy in the Internet of Things, with a strong focus on how these aspects are handled in IoT middleware. We focus on IoT middleware because many systems are built from existing middleware and these inherit the underlying security properties of the middleware framework. The paper is composed of three main sections. Firstly, we propose a matrix of security and privacy threats for IoT. This matrix is used as the basis of a widespread literature review aimed at identifying requirements on IoT platforms and middleware. Secondly, we present a structured literature review of the available middleware and how security is handled in these middleware approaches. We utilise the requirements from the first phase to evaluate. Finally, we draw a set of conclusions and identify further work in this area.

show abstract

“…The metabolic mapping detailed in [6] consists in deploying the di erent re-sources over the WSAN according to cellular services and requirements of the OrgAmI. This process is composed of two steps: the rst one is performed by a preprocessor which determines the SC to deploy according to a WSAN target.…”

Section: Metabolic Mapping Deploymentmentioning

confidence: 99%

Toward Organic Computing Approach for Cybernetic Responsive Environment

Duhart¹,

Bertelle²

2015

IJASA

Self Cite

View full text Add to dashboard Cite

ABSTRACT. The developpment of the Internet of Things (IoT) concept revives Responsive Environments (RE) technologies. Nowadays, the idea of a permanent connection between physical and digital world is technologically possible. The capillar Internet relates to the Internet extension into daily appliances such as they become actors of Internet like any hu-man. The parallel development of Machine-to-Machine communications and Arti cial Intelligence (AI) technics start a new area of cybernetic. This paper presents an approach for Cybernetic Organism (Cyborg) for RE based on Organic Computing (OC). In such approach, each appli-ance is a part of an autonomic system in order to control a physical environment.The underlying idea is that such systems must have self-x properties in order to adapt their behavior to external disturbances with a high-degree of autonomy.

show abstract

A Resource Oriented Framework for Service Choreography over Wireless Sensor and Actor Networks

Cited by 12 publications

References 19 publications

Model‐based design of IoT systems with the BIP component framework

Model‐based design of IoT systems with the BIP component framework

A survey of secure middleware for the Internet of Things

Toward Organic Computing Approach for Cybernetic Responsive Environment

Contact Info

Product

Resources

About