État académique
Thèse soutenue le 2017-08-01
Sujet: Runtime adaptation of middleware connectors for emergent mobile systems
Direction de thèse:
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
Service-oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability
International audience
The essential issue of interoperability in distributed systems is becoming even more pressing in the Future Internet, where complex applications will be composed from extremely heterogeneous systems. Open system integration paradigms, such as service oriented architecture (SOA) and enterprise service bus (ESB), have provided answers to the interoperability requirement. However, when it comes to integrating systems featuring heterogeneous interaction paradigms, such as client-service, publish-subscribe and tuple space, existing solutions are typically ad hoc and partial, applying to specific interaction protocol technologies. In this paper, we introduce an interoperability solution based on abstraction and merging of the common high-level semantics of interaction paradigms, which is sufficiently general and extensible to accommodate many different protocol technologies. We apply this solution to revisit the SOA- and ESB-based integration of heterogeneous distributed systems.
ESOCC 2013 - European Conference on Service-Oriented and Cloud Computing https://hal.inria.fr/hal-00841332 Kung-Kiu Lau and Winfried Lamersdorf and Ernesto Pimentel. ESOCC 2013 - European Conference on Service-Oriented and Cloud Computing, Sep 2013, Malaga, Spain. Springer, 8135, pp.134-148, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-40651-5_11>ARRAY(0x7fe6a7c9bf20) 2013-09-11
Integration of Heterogeneous Services and Things into Choreographies
International audience
Internet-of-Things (IoT) protocols are constantly increasing in the research and industrial landscape. However, the current standardization efforts limit the incorporation of Things as first-class entities into choreographies. To tackle this interoperability barrier, we propose and demonstrate the eVolution Service Bus (VSB), a middleware solution targeted to enable the interaction between Things-based and business-oriented services. Particularly, we demonstrate the incorporation of a service/Thing into the following choreographies: i) temperature sensors interacting with a business-oriented service, and ii) business-oriented services interacting with a route planner service.
14th International Conference on Service Oriented Computing (ICSOC) https://hal.inria.fr/hal-01358043 14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada. 2016ARRAY(0x7fe6a79e8568) 2016-10-10
Analysis of Timing Constraints in Heterogeneous Middleware Interactions
International audience
With the emergence of Future Internet applications that connect web services, sensor-actuator networks and service feeds, scalability and heterogeneity support of interaction paradigms are of critical importance. Heterogeneous interactions can be abstractly represented by client-service, publish-subscribe and tuple space middleware connectors that are interconnected via bridging mechanisms providing interoperability among the services. In this paper, we make use of the eXtensible Service Bus (XSB), proposed in the CHOReOS project as the connector enabling interoperability among heterogeneous choreography participants. XSB models transactions among peers through generic post and get operations that represent peer behavior with varying time/space coupling. Nevertheless, the heterogeneous lease and timeout constraints of these operations severely affect latency and success rates of transactions. By precisely studying the related timing thresholds using timed automata models, we verify conditions for successful transactions with XSB connectors. Furthermore, we statistically analyze through simulations, the effect of varying lease and timeout periods to ensure higher probabilities of successful transactions. Simulation experiments are compared with experiments run on the XSB implementation testbed to evaluate the accuracy of results. This work can provide application developers with precise design time information when setting these timing thresholds in order to ensure accurate runtime behavior.
ICSOC'15 - International Conference on Service Oriented Computing https://hal.inria.fr/hal-01204786 ICSOC'15 - International Conference on Service Oriented Computing, Nov 2015, Goa, India. 2015ARRAY(0x7fe6a7c45308) 2015-11-16
Towards Mobile Social Crowd-Sensing for Transport Information Management
International audience
Transport in Senegal is chaotic and large, especially in main cities. Additionally, although most people have mobile phones, large part of them still rely on SMS. Considering this, we propose the development of an application platform for large-scale transport information management relying on ‘mobile social crowd-sensing’. To support this platform, we model a large-scale mobile publish/subscribe system using queuing theory. We develop MobileJINQS simulator that uses D4D data for parameterization.
NetMob, Data for Development (D4D) Challenge https://hal.inria.fr/hal-01206622 NetMob, Data for Development (D4D) Challenge, Apr 2015, MIT Media Lab, United States. 2015ARRAY(0x7fe6a7c96058) 2015-04-08
Toward Enabling Convenient Urban Transit through Mobile Crowdsensing
International audience
The smart cities of the future are expected to be serviced by advanced, personalized multimodal transit systems, charged with timely transport of citizens. Optimizing routes on such networks is a complex problem, in part due to the fact that simple metrics such as latency by themselves are not sufficient to find the best routes. In this paper, we focus on the problem of providing commuters with personalized routes with the most convenience. We present our mathematical model of user convenience during a multi-leg journey, and the overview of a middleware for enabling convenient transit (including ensuring acceptable network connectivity to mobile apps) by using crowdsourcing. We also report on initial insights obtained through empirical studies on network connectivity and user-perception of convenience in Delhi, India, and Paris, France.
18th IEEE International Conference on Intelligent Transportation Systems https://hal.inria.fr/hal-01204827 18th IEEE International Conference on Intelligent Transportation Systems, Sep 2015, Gran Canaria, Spain. 2015ARRAY(0x7fe6a7c2f410) 2015-09-15
Leveraging CDR datasets for Context-Rich Performance Modeling of Large-Scale Mobile Pub/Sub Systems
International audience
Large-scale mobile environments are characterized by, among others, a large number of mobile users, intermittent connectivity and non-homogeneous arrival rate of data to the users, depending on the region's context. Multiple application scenarios in major cities need to address the above situation for the creation of robust mobile systems. Towards this, it is fundamental to enable system designers to tune a communication infrastructure using various parameters depending on the specific context. In this paper, we take a first step towards enabling an application platform for large-scale information management relying on mobile social crowd-sourcing. To inform the stakeholders of expected loads and costs, we model a large-scale mobile pub/sub system as a queueing network. We introduce additional timing constraints such as i) mobile user's intermittent connectivity period; and ii) data validity lifetime period (e.g. that of sensor data). Using our MobileJINQS simulator, we parameterize our model with realistic input loads derived from the D4D dataset (CDR) and varied lifetime periods in order to analyze the effect on response time. This work provides system designers with coarse grain design time information when setting realistic loads and time constraints.
WiMob 2015 - 11th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications https://hal.inria.fr/hal-01204871 WiMob 2015 - 11th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2015, Abu Dhabi, United Arab Emirates. 2015ARRAY(0x7fe6a7c47428) 2015-10-19
Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective
International audience
By bridging the physical and the virtual worlds, the Internet of Things (IoT) impacts a multitude of application domains, among which smart cities, smart factories, resource management, intelligent transportation, health and well-being to name a few. However, leveraging the IoT within software applications raises tremendous challenges from the networking up to the application layers, in particular due to the ultra-large scale, the extreme heterogeneity and the dynamics of the IoT. This paper more specifically explores how the service-oriented architecture paradigm may be revisited to address challenges posed by the IoT for the development of distributed applications. Drawing from our past and ongoing work within the MiMove team at Inria Paris, the paper discusses the evolution of the supporting middleware solutions spanning the introduction of: probabilistic protocols to face scale, cross-paradigm interactions to face heterogeneity, and streaming-based interactions to support the inherent sensing functionality brought in by the IoT.
14th International Conference on Service Oriented Computing (ICSOC) https://hal.inria.fr/hal-01358399 14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada. 2016ARRAY(0x7fe6a7c41f10) 2016-10-10
Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems
International audience
Systems deployed in mobile environments are typically characterized by intermittent connectivity and asynchronous sending/reception of data. To create effective mobile systems for such environments, it is essential to guarantee acceptable levels of timeliness between sending and receiving mobile users. In order to provide QoS guarantees in different application scenarios and contexts, it is necessary to model the system performance by incorporating the intermittent connectivity. Queueing Network Models (QNMs) offer a simple modeling environment, which can be used to represent various application scenarios, and provide accurate analytical solutions for performance metrics, such as system response time. In this paper, we provide an analytical solution regarding the end-to-end response time between users sending and receiving data by modeling the intermittent connectivity of mobile users with QNMs. We utilize the publish/subscribe (pub/sub) middleware as the underlying communication infrastructure for the mobile users. To represent the user's connections/disconnections, we model and solve analytically an ON/OFF queueing system by applying a mean value approach. Finally, we validate our model using simulations with real-world workload traces. The deviations between the performance results foreseen by the analytical model and the ones provided by the simulator are shown to be less than 5% for a variety of scenarios.
ICPE 2017 - 8th ACM/SPEC International Conference on Performance Engineering https://hal.inria.fr/hal-01415893 ICPE 2017 - 8th ACM/SPEC International Conference on Performance Engineering , Apr 2017, L'Aquila, Italy. 2017, ICPE 2017ARRAY(0x7fe6a7bf1188) 2017-04-22
Performance Modeling of the Middleware Overlay Infrastructure of Mobile Things
International audience
Internet of Things (IoT) applications consist of diverse Things (sensors and devices) in terms of hardware resources. Furthermore, such applications are characterized by the Things' mobility and multiple interaction types, such as synchronous, asynchronous, and streaming. Middleware IoT protocols consider the above limitations and support the development of effective applications by providing several Quality of Service features. These features aim to enable application developers to tune an application by switching different levels of response times and delivery success rates. However, the profusion of the developed IoT protocols and the intermittent connectivity of mobile Things, result to a non-trivial application tuning. In this paper, we model the performance of the middleware overlay infrastructure using Queueing Network Models. To represent the mobile Thing's connections/disconnections, we model and solve analytically an ON/OFF queueing center. We apply our approach to Streaming interactions with mobile peers. Finally, we validate our model using simulations. The deviations between the performance results foreseen by the analytical model and the ones provided by the simulator are shown to be less than 5%.
IEEE International Conference on Communications https://hal.inria.fr/hal-01470328 IEEE International Conference on Communications, May 2017, Paris, France. 2017ARRAY(0x7fe6a77931e0) 2017-05-21
Thèse: Enabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis
Soutenance: 2017-08-01