Distributed systems-principles and paradigms, 2007. ,
Achieving technical interoperability, European Telecommunications Standards Institute, 2008. ,
Role Of Middleware For Internet Of Things: A Study, International Journal of Computer Science & Engineering Survey, vol.2, issue.3, 2011. ,
DOI : 10.5121/ijcses.2011.2307
UbiRoad: Semantic Middleware for Context-Aware Smart Road Environments, 2010 Fifth International Conference on Internet and Web Applications and Services, 2010. ,
DOI : 10.1109/ICIW.2010.50
The many faces of publish/subscribe, ACM Computing Surveys, vol.35, issue.2, 2003. ,
DOI : 10.1145/857076.857078
Integration of Heterogeneous Services and Things into Choreographies, ACM ICSOC, 2016. ,
DOI : 10.1109/TSC.2010.3
URL : https://hal.archives-ouvertes.fr/hal-01358043
Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, ESOCC, 2013. ,
DOI : 10.1007/978-3-642-40651-5_11
URL : https://hal.archives-ouvertes.fr/hal-00841332
CHOReVOLUTION Service Bus, Security and Cloud -First outcomes Automated Synthesis of Dynamic and Secured Choreographies, 2015. ,
Analysis of Timing Constraints in Heterogeneous Middleware Interactions, ACM ICSOC, 2015. ,
DOI : 10.1109/ICWS.2013.39
URL : https://hal.archives-ouvertes.fr/hal-01204786
Performance modeling of the middleware overlay infrastructure of mobile things, 2017 IEEE International Conference on Communications (ICC), 2017. ,
DOI : 10.1109/ICC.2017.7997451
URL : https://hal.archives-ouvertes.fr/hal-01470328
Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering , ICPE '17, 2017. ,
DOI : 10.1137/1.9780898719734
URL : https://hal.archives-ouvertes.fr/hal-01415893
Leveraging CDR datasets for context-rich performance modeling of large-scale mobile pub/sub systems, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2015. ,
DOI : 10.1109/WiMOB.2015.7348016
URL : https://hal.archives-ouvertes.fr/hal-01204871
Toward Enabling Convenient Urban Transit through Mobile Crowdsensing, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015. ,
DOI : 10.1109/ITSC.2015.57
URL : https://hal.archives-ouvertes.fr/hal-01204827
Service Oriented Middleware for the Internet of Things: A Perspective, ServiceWave, 2011. ,
DOI : 10.1109/CIMSA.2007.4362539
URL : https://hal.archives-ouvertes.fr/inria-00632794
Toward better horizontal integration among IoT services, IEEE Communications Magazine, vol.53, issue.9, 2015. ,
DOI : 10.1109/MCOM.2015.7263375
, IEEE 802.15. 4a channel model-final report, 2004.
, ZigBee specification, Z. Specification, 2008.
When HART goes wireless: Understanding and implementing the WirelessHART standard, 2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008. ,
DOI : 10.1109/ETFA.2008.4638503
A comparison of WirelessHART and ZigBee for industrial applications, 2008 IEEE International Workshop on Factory Communication Systems, 2008. ,
DOI : 10.1109/WFCS.2008.4638746
Overview and Evaluation of Bluetooth Low Energy: An Emerging Low-Power Wireless Technology, Sensors, vol.12, issue.9, 2012. ,
DOI : 10.3390/s120100806
IEEE 80211 ah: sub-1-GHz license-exempt operation for the internet of things, IEEE Communications Magazine, 2015. ,
LoRaWAN Specification, LoRa Alliance, 2015. ,
Weightless wireless -M2M white space communications -tutorial, 2014. ,
Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications, IEEE Communications Surveys & Tutorials, vol.17, issue.4, 2015. ,
DOI : 10.1109/COMST.2015.2444095
Gap Sense: Lightweight coordination of heterogeneous wireless devices, 2013 Proceedings IEEE INFOCOM, 2013. ,
DOI : 10.1109/INFCOM.2013.6567122
Cross-Technology WiFi/ZigBee Communications: Dealing With Channel Insertions and Deletions, IEEE Communications Letters, vol.20, issue.11, 2016. ,
DOI : 10.1109/LCOMM.2016.2603978
URL : https://iris.unipa.it/bitstream/10447/205760/2/LCOMM2603978_proof2.pdf
A Mobile Multi-Technology Gateway to Enable IoT Interoperability, 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI), 2016. ,
DOI : 10.1109/IoTDI.2015.29
IoT gateway: Bridgingwireless sensor networks into IoT, IEEE/IFIP EUC, 2010. ,
DOI : 10.1109/euc.2010.58
Device abstraction and virtualization: Concept of device in device, 2015 IEEE 5th International Conference on Consumer Electronics, Berlin (ICCE-Berlin), 2015. ,
DOI : 10.1109/ICCE-Berlin.2015.7391300
6LoWPAN: The wireless embedded Internet, 2011. ,
DOI : 10.1002/9780470686218
Providing Interoperability for Autonomic Control of Connected Devices Semantic Sensor Network Ontology, 2005. ,
, IoT-O, " https://www
Semantic Interoperability Architecture for Pervasive Computing and Internet of Things, IEEE Access, vol.2, 2014. ,
DOI : 10.1109/ACCESS.2014.2347992
URL : https://doi.org/10.1109/access.2014.2347992
User interoperability with heterogeneous IoT devices through transformation, IEEE Transactions on Industrial Informatics, 2014. ,
Thing as a Service Interoperability: Review and Framework Proposal, 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud), 2016. ,
DOI : 10.1109/FiCloud.2016.51
Toward a Web of Systems, XRDS ,
, INTER-IoT -Interoperability Internet of Things
Unified IoT ontology to enable interoperability and federation of testbeds, 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 2016. ,
DOI : 10.1109/WF-IoT.2016.7845470
URL : https://hal.archives-ouvertes.fr/hal-01386917
, FIESTA-IoT -Federated Interoperable Semantic IoT Testbeds and Applications
, M3 lite
IoT-Lite: A Lightweight Semantic Model for the Internet of Things, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld), 2016. ,
DOI : 10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0035
Time ontology in OWL, W3C working draft, 2006. ,
Service-Oriented Architectures for Embedded Systems Using Devices Profile for Web Services, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), 2007. ,
DOI : 10.1109/AINAW.2007.330
, OPC unified architecture OPC Unified Architecture, 2009.
The constrained application protocol (CoAP), Tech. Rep, 2014. ,
DOI : 10.17487/rfc7252
URL : https://www.rfc-editor.org/rfc/pdfrfc/rfc7252.txt.pdf
The REpresentational State Transfer (REST), 2000. ,
Extensible messaging and presence protocol (XMPP): Core, 2011. ,
, Sun Microsystems. JMS Specifications and Reference Implementation
, DDS. Data Distribution Service
, OASIS standard, 2014.
Oasis advanced message queuing protocol (amqp) version 1.0., 2012 ,
, SemiSpace. Light weight Open Source interpretation of Tuple Space / Object Space
The websocket protocol, 2011. ,
DOI : 10.17487/rfc6455
Integration of Wireless Sensor and Actuator Nodes With IT Infrastructure Using Service-Oriented Architecture, IEEE Transactions on Industrial Informatics, vol.9, issue.1, 2013. ,
DOI : 10.1109/TII.2012.2198655
, JavaSpaces. Beyond Conventional Distributed Programming Paradigms
A survey on application layer protocols for the internet of things, Transaction on IoT and Cloud Computing, 2015. ,
Which IoT Protocol? Comparing Standardized Approaches over a Common M2M Application, 2016 IEEE Global Communications Conference (GLOBECOM), 2016. ,
DOI : 10.1109/GLOCOM.2016.7842383
A Machine-to- Machine protocol benchmark for eHealth applications?Use case: Respiratory rehabilitation Computer methods and programs in biomedicine, 2016. ,
The Internet of Things: A survey, Computer Networks, vol.54, issue.15, 2010. ,
DOI : 10.1016/j.comnet.2010.05.010
Internet of Things (IoT): A vision, architectural elements, and future directions, Future Generation Computer Systems, vol.29, issue.7, 2013. ,
DOI : 10.1016/j.future.2013.01.010
Middleware for Internet of Things: A Survey, IEEE Internet of Things Journal, vol.3, issue.1, 2016. ,
DOI : 10.1109/JIOT.2015.2498900
Interacting with the SOA-Based Internet of Things: Discovery, Query, Selection, and On-Demand Provisioning of Web Services, IEEE transactions on Services Computing, 2010. ,
DOI : 10.1109/TSC.2010.3
HYDRA: A Development Platform for Integrating Wireless Devices and Sensors into Ambient Intelligence Systems, The Internet of Things, 2010. ,
DOI : 10.1007/978-1-4419-1674-7_36
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks, Science of Computer Programming, vol.77, issue.6, 2012. ,
DOI : 10.1016/j.scico.2010.11.006
Knowledge-Aware and Service-Oriented Middleware for deploying pervasive services, Journal of Network and Computer Applications, vol.35, issue.2, 2012. ,
DOI : 10.1016/j.jnca.2011.05.009
Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks, 2007 International Conference on Mobile Data Management, 2007. ,
DOI : 10.1109/MDM.2007.36
URL : http://www.manfredhauswirth.org/research/papers/GSN-MDM2007.pdf
SenseWrap: A service oriented middleware with sensor virtualization and self-configuration, 2009 International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2009. ,
DOI : 10.1109/ISSNIP.2009.5416827
MOSDEN: An Internet of Things Middleware for Resource Constrained Mobile Devices, 2014 47th Hawaii International Conference on System Sciences, 2014. ,
DOI : 10.1109/HICSS.2014.137
URL : http://ieeexplore.ieee.org:80/stamp/stamp.jsp?tp=&arnumber=6758734
, An Architectural Style for the Development of Choreographies in the Future Interne
The " Object-as-a-Service " paradigm, IEEE GIIS, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01058957
D-LITe: Building Internet of Things Choreographies, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01422433
Fault-recovery and coherence in internet of things choreographies, IEEE WF-IoT, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01509183
Enterprise service bus, 2004. ,
Swarm Communication - A Messaging Pattern Proposal for Dynamic Scalability in Cloud, 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013. ,
DOI : 10.1109/HPCC.and.EUC.2013.277
Extending swarm communication to unify choreography and long-lived processes, 2014. ,
Final CHOReOS Architectural Style Large Scale Choreographies for the Future Internet, Tech. Rep, 2013. ,
Integrated CHOReOS middleware -Enabling large-scale, QoS-aware adaptive choreographies Large Scale Choreographies for the Future Internet, Tech. Rep, 2013. ,
LISA: Lightweight Internet of Things Service Bus Architecture, Procedia Computer Science, vol.52, 2015. ,
DOI : 10.1016/j.procs.2015.05.010
LISA 2.0: lightweight internet of things service bus architecture using node centric networking, Journal of Ambient Intelligence and Humanized Computing, vol.7, issue.3, 2016. ,
DOI : 10.1109/WF-IoT.2014.6803174
,
Situation-Aware IoT Service Coordination Using the Event-Driven SOA Paradigm, IEEE Transactions on Network and Service Management, vol.13, issue.2, 2016. ,
DOI : 10.1109/TNSM.2016.2541171
Service-Based Interactive Proxy for Sensor Networks in Smart Home: An Implementation of Home Service Bus, 2014 5th International Conference on Digital Home, 2014. ,
DOI : 10.1109/ICDH.2014.52
A middleware architecture for vertical integration Ponte -M2M Bridge Framework, 2016. ,
, Intel IoT Gateway https://software.intel.com/en-us/articles/what-is-the-gateway-and-why-should-i-care
IoT interoperability: A hub-based approach, 2014 International Conference on the Internet of Things (IOT) ,
DOI : 10.1109/IOT.2014.7030119
GoThings-An Application-layer Gateway Architecture for the Internet of Things, WEBIST, 2015. ,
Semantic Gateway as a Service Architecture for IoT Interoperability, 2015 IEEE International Conference on Mobile Services, 2015. ,
DOI : 10.1109/MobServ.2015.51
An IoT gateway centric architecture to provide novel M2M services, 2014 IEEE World Forum on Internet of Things (WF-IoT), 2014. ,
DOI : 10.1109/WF-IoT.2014.6803221
Introducing the QEST broker: Scaling the IoT by bridging MQTT and REST, 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications, (PIMRC), 2012. ,
DOI : 10.1109/PIMRC.2012.6362813
HTTP-CoAP cross protocol proxy: an implementation viewpoint, 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012), 2012. ,
DOI : 10.1109/MASS.2012.6708523
Extending the Devices Profile for Web Services Standard Using a REST Proxy, IEEE Internet Computing, vol.19, issue.1, 2015. ,
DOI : 10.1109/MIC.2014.44
URL : https://hal.archives-ouvertes.fr/hal-01255144
, Eclipse IoT -Open Source for IoT
, Kura -OSGi-based Application Framework for M2M Service Gateways
, Eclipse NeoSCADA
, Eclipse SmartHome, " https://eclipse.org/proposals/technology.smarthome
, Krikkit
Smart M2M Gateway Based Architecture for M2M Device and Endpoint Management, 2014 IEEE International Conference on Internet of Things(iThings), and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom), 2014. ,
DOI : 10.1109/iThings.2014.18
A lightweight framework for efficient M2M device management in oneM2M architecture, 2015 International Conference on Recent Advances in Internet of Things (RIoT), 2015. ,
DOI : 10.1109/RIOT.2015.7104900
URL : https://hal.archives-ouvertes.fr/hal-01206815
Enabling a lightweight Edge Gateway-as-a-Service for the Internet of Things, 2016 7th International Conference on the Network of the Future (NOF), 2016. ,
DOI : 10.1109/NOF.2016.7810110
URL : https://hal.archives-ouvertes.fr/hal-01371423
Generic platform for IoT and cloud computing interoperability study, International Symposium on Signals, Circuits and Systems ISSCS2013, 2013. ,
DOI : 10.1109/ISSCS.2013.6651222
Towards the cross-domain interoperability of IoT platforms, 2016 European Conference on Networks and Communications (EuCNC), 2016. ,
DOI : 10.1109/EuCNC.2016.7561070
Enabling IoT Ecosystems through Platform Interoperability, IEEE Software, vol.34, issue.1, p.2017 ,
DOI : 10.1109/MS.2017.2
, MDA -The Architecture of Choice for a Changing World
, Vorto
, Eclipse Modeling Framework (EMF), " https://eclipse.org/modeling
, Franca
Model-Driven Engineering for Mission-Critical IoT Systems, IEEE Software, vol.34, issue.1, 2017. ,
DOI : 10.1109/MS.2017.1
URL : http://www.ivanomalavolta.com/files/papers/IEEE_software_2017.pdf
Model-driven interoperability: engineering heterogeneous IoT systems, Annals of Telecommunications, vol.7, issue.3, 2016. ,
DOI : 10.1109/MIC.2003.1200306
URL : https://link.springer.com/content/pdf/10.1007%2Fs12243-015-0487-2.pdf
The internet of things: How the next evolution of the internet is changing everything, 2011. ,
Software-defined wireless networking opportunities and challenges for Internetof-things: A review, IEEE Internet of Things Journal, 2016. ,
DOI : 10.1109/jiot.2015.2480421
A Software Defined Networking architecture for the Internet-of-Things, 2014 IEEE Network Operations and Management Symposium (NOMS), 2014. ,
DOI : 10.1109/NOMS.2014.6838365
Edge computing enabling the Internet of Things, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), 2015. ,
DOI : 10.1109/WF-IoT.2015.7389122
Interoperability enhancement for Internet of Things protocols based on software-defined network, 2016 IEEE 5th Global Conference on Consumer Electronics, 2016. ,
DOI : 10.1109/GCCE.2016.7800510
The Internet of Things Has a Gateway Problem, Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, HotMobile '15, 2015. ,
DOI : 10.1109/MPRV.2009.82
, Pivotal RabbitMQ
, Apache Kafka
, GigaSpaces. Empowering next Generation Web Scale Applications
, Terrastore. Ubiquitous, Distributed and Elastic clustering technology, " https://code.google.com/archive
, Lime. Linda in a Mobile Enviroment
Performance evaluation of MQTT and CoAP via a common middleware, 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2014. ,
DOI : 10.1109/ISSNIP.2014.6827678
An applications interoperability model for heterogeneous internet of things environments, Computers & Electrical Engineering, 2017. ,
Lightweight Internet protocols for web enablement of sensors using constrained gateway devices, 2013 International Conference on Computing, Networking and Communications (ICNC), 2013. ,
DOI : 10.1109/ICCNC.2013.6504105
A low-delay, lightweight publish/subscribe architecture for delaysensitive IoT services, IEEE ICWS, 2013. ,
DOI : 10.1109/icws.2013.33
Correlation analysis of MQTT loss and delay according to QoS level, IEEE ICOIN, 2013. ,
Web Performance Evaluation for Internet of Things Applications, IEEE Access, vol.4, 2016. ,
DOI : 10.1109/ACCESS.2016.2615181
URL : https://doi.org/10.1109/access.2016.2615181
Improving Packet Delivery Performance of Publish/Subscribe Protocols in Wireless Sensor Networks, Sensors, vol.3, issue.1, 2013. ,
DOI : 10.1080/15501320601069861
Performance analysis of " on-the-spot " mobile data offloading, IEEE GLOBECOM, 2013. ,
Performance Analysis of Mobile Data Offloading in Heterogeneous Networks, IEEE Transactions on Mobile Computing, vol.16, issue.2 ,
DOI : 10.1109/TMC.2016.2557799
Is it worth to be patient? Analysis and optimization of delayed mobile data offloading, IEEE INFOCOM 2014, IEEE Conference on Computer Communications, 2014. ,
DOI : 10.1109/INFOCOM.2014.6848181
Mobile data offloading: how much can WiFi deliver, Proceedings of the 6th International COnference, 2010. ,
Optimizing Offloading Strategies in Mobile Cloud Computing, 2013. ,
Tradeoff Analysis for Mobile Cloud Offloading Based on an Additive Energy-Performance Metric, Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014. ,
DOI : 10.4108/icst.valuetools.2014.258222
A simple algorithm for the rate matrices of level-dependent QBD processes, Proceedings of the 5th International Conference on Queueing Theory and Network Applications, QTNA '10, 2010. ,
DOI : 10.1145/1837856.1837864
Analysis of customers??? impatience in queues with server vacations, Queueing Systems, vol.66, issue.4, 2006. ,
DOI : 10.1080/03155986.1976.11731635
Introduction to matrix analytic methods in stochastic modeling. Siam, 1999. ,
A comparison of performance Petri nets and queueing network models, 1986. ,
On the Notion of Coupling in Communication Middleware, OTM Confederated International Conferences " On the Move to Meaningful Internet Systems, 2005. ,
DOI : 10.1007/11575801_6
Performance Modeling of Multi-tiered Web Applications with Varying Service Demands, IPDPS Workshops, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01118352
Statistical abstraction and modelchecking of large heterogeneous systems, Formal Techniques for Distributed Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00466158
Case study on distributed and fault tolerant system modeling based on timed automata, Journal of Systems and Software, vol.82, issue.10, 2009. ,
DOI : 10.1016/j.jss.2009.04.042
????????????????????????????????????????????????????????????, Science China Information Sciences, vol.22, issue.3, 2016. ,
DOI : 10.3724/SP.J.1001.2011.04017
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters, 2007. ,
DOI : 10.1007/978-3-540-75454-1_19
A formal model and analysis of an IoT protocol, Ad Hoc Networks, 2016. ,
DOI : 10.1016/j.adhoc.2015.05.013
A theory of timed automata, Theoretical computer science, 1994. ,
, A tutorial on UPPAAL, vol.4, issue.0, 2006.
PRISM: Probabilistic Symbolic Model Checker, MMMECCS, 2001. ,
DOI : 10.1007/3-540-46029-2_13
URL : http://qav.comlab.ox.ac.uk/papers/tools02.pdf
Performance Evaluation of Complex Systems Using the SBIP Framework, VECoS, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01406591
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata, 2007. ,
DOI : 10.1007/3-540-48320-9_12
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-540-73196-2_16.pdf
On Accurate Automatic Verification of Publish-Subscribe Architectures, 29th International Conference on Software Engineering (ICSE'07), 2007. ,
DOI : 10.1109/ICSE.2007.57
URL : http://www.sics.se/~luca/papers/baresi07accurate.pdf
The Analysis of Publish/Subscribe Systems over Mobile Wireless Ad Hoc Networks, 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services (MobiQuitous), 2007. ,
DOI : 10.1109/MOBIQ.2007.4451024
URL : https://www.ideals.illinois.edu/bitstream/handle/2142/14416/paper.pdf?sequence=2
Probabilistic QoS modeling for reliability/timeliness prediction in distributed content-based publish/subscribe systems over best-effort networks, Proceeding of the 7th international conference on Autonomic computing, ICAC '10, 2010. ,
DOI : 10.1145/1809049.1809083
URL : http://cairo.cs.uiuc.edu/publications/papers/Thadpong_ICAC10.pdf
Reliability and timeliness analysis of content-based publish/subscribe systems, 2011. ,
Analytical models of short-message reliability in mobile wireless networks, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, MSWiM '11, 2011. ,
DOI : 10.1145/2068897.2068960
A pro-active mobility management scheme for publish/subscribe middleware systems, 2008. ,
EXtending Mobility to Publish/Subscribe Systems Using a Pro-Active Caching Approach, Mobile Information Systems, 2010. ,
DOI : 10.1155/2010/130137
A Methodology for Performance Modeling of Distributed Event-Based Systems, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008. ,
DOI : 10.1109/ISORC.2008.51
Stochastic Analysis of Hierarchical Publish/Subscribe??Systems, Euro-Par, 2009. ,
DOI : 10.1109/ISORC.2008.51
Constructing performance model of JMS middleware platform, Proceedings of the 5th ACM/SPEC international conference on Performance engineering, ICPE '14, 2014. ,
DOI : 10.1145/2568088.2568096
Performance modeling and analysis of message-oriented event-driven systems, Software & Systems Modeling, 2013. ,
DOI : 10.1016/0304-3975(81)90049-9
Measuring Tradeoffs between Performance and QoS in Event Based Systems, 2015. ,
The hidden pub/sub of Spotify:(industry article), ACM DEBS, 2013. ,
Maximizing the number of satisfied subscribers in pub/sub systems under capacity constraints, IEEE INFOCOM 2014, IEEE Conference on Computer Communications, 2014. ,
DOI : 10.1109/INFOCOM.2014.6848205
Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource Provisioning, 2015. ,
TTI's 2012 urban mobility report, Texas A&M Transportation Institute. The Texas A&M University System, 2012. ,
, ITS. Intelligent Transportation Systems
, XD. Traffic
Surface street traffic estimation, Proceedings of the 5th international conference on Mobile systems, applications and services , MobiSys '07, 2007. ,
DOI : 10.1145/1247660.1247686
Nericell: rich monitoring of road and traffic conditions using mobile smartphones, ACM SenSys, 2008. ,
Goops: Pub/sub at google, Lecture & Personal Communications at EuroSys & CANOE Summer School, 2009. ,
dioptase: data Streaming Middleware for the Internet of Things, 2015. ,
Early capacity testing of an enterprise service bus, IEEE ICWS, 2006. ,
Throughput evaluation of different enterprise service bus approaches, 2007. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 1986. ,
Comparison of two lightweight protocols for smartphone-based sensing, IEEE SCVT, 2013. ,
Performance evaluation of M2M protocols over cellular networks in a lab environment, 2015 18th International Conference on Intelligence in Next Generation Networks, 2015. ,
DOI : 10.1109/ICIN.2015.7073809
Quantitative system performance: computer system analysis using queueing network models, 1984. ,
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, Journal of the ACM, vol.22, issue.2, 1975. ,
DOI : 10.1145/321879.321887
, Dep. of Mathematics and Computing Science, 2005.
Preemptive Priority Queues, Operations Research, vol.13, issue.5, 1965. ,
DOI : 10.1287/opre.13.5.820
, , 1995.
JINQS: An extensible library for simulating multiclass queueing networks, v1. 0 user guide, 2006. ,
Distributed event routing in publish/subscribe communication systems: a survey List of figures 1.1 Platform for interoperability and interoperability effectiveness evaluation in IoT applications, 2005. ,
, , p.24
, , p.30
, Transport Information Management, p.46
, Platform for ensuring functional interoperability inside an IoT application, p.47
, , p.49
, , p.50
, , p.52
, , p.53
, , p.54
, , p.56
, , p.57
, , p.58
11 VSB end-to-end runtime architecture, p.63 ,
, , p.64
, , p.65
, Concrete BC for bridging a Thing's middleware protocol to the bus protocol, p.66
, , p.68
16 REST traffic-light interacting with the TIM system, p.69 ,
, Components of the mock environment for the VSB runtime capacity testing, p.73
Throughput for one-way interactions through REST, CoAP and DPWS bus protocols in scenarios 1, 2 and 3, p.75 ,
Response times for one-way interactions through REST, CoAP and DPWS bus protocols in scenarios 1, 2 and 3, p.76 ,
, Platform for ensuring successful interactions into an IoT application, p.80
, Analysis of post and get ? increments for GM one-way interactions, p.82
, Analysis of post and get ? increments for two-way synchronous interactions, p.84
,
,
, , p.88
, , p.91
, , p.92
, , p.93
, Delivery success rates with varying time on and lifetime periods, p.97
Response time distributions for interactions with varying time on and lifetime periods, p.98 ,
Platform for evaluating the performance of an IoT application ,
, , p.105
Two-class ON/OFF queueing center with preemptive priority, p.106 ,
Queues with message expirations and finite capacity ,
Middleware interaction model with the underlying infrastructure, p.110 ,
, , p.112
, , p.114
, , p.116
, , p.118
, , p.119
, , p.121
, , p.123
, , p.124
End-to-end queueing network for the vehicle-device ? estimation-service interconnection, p.127 ,
End-to-end queueing networks for several interconnections between different communication styles, p.128 ,
, Analytical vs. simulated response times at the ON/OFF queueing center, p.130
Validation using antenna real traces, p.131 ,
, , p.133
, , p.134
Success rates for the reliable pattern 4 with varying connection/disconnection and lifetime periods, p.136 ,
Cumulative distributions of response times for the reliable pattern 4 with varying connection/disconnection and lifetime periods, p.137 ,
, , p.140
1 Creating a new metamodel through our Eclipse plugin, p.163 ,
, , p.164
GIDL model for fixed-sensors, p.165 ,
, , p.166
, , p.168
6 GIDL model for the estimation-service, p.153 ,
, List of tables 2.1 MAC layer protocols, p.26
, , p.28
IoT gateways and their supported middleware protocols, p.32 ,
IoT platforms and their supported middleware protocols, p.34 ,
, , p.36
, , p.38
, , p.40
Literature survey for publish/subscribe systems, p.41 ,
, , p.50
, , p.52
, , p.55
, , p.57
, , p.60
, , p.60
7 GM two-way synchronous interaction, p.61 ,
8 GM two-way stream interaction, p.62 ,
Primitives of core models mapped to GM primitives, p.62 ,
10 BC synthesis Key Performance Indicator (KPI), p.70 ,
11 Development effort of the application developer, p.71 ,
, 12 Results for one-way interaction in the three scenarios with 300 concurrent senders, p.74
Analysis parameters' and shorthand notation, p.81 ,
, , p.99
Queueing models' variables and shorthand notation, p.104 ,
, , p.113
Performance modeling of the middleware overlay infrastructure of mobile things, 2017 IEEE International Conference on Communications (ICC) ,
DOI : 10.1109/ICC.2017.7997451
URL : https://hal.archives-ouvertes.fr/hal-01470328
Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering , ICPE '17 ,
DOI : 10.1137/1.9780898719734
URL : https://hal.archives-ouvertes.fr/hal-01415893
Revisiting Service-Oriented Architecture for the IoT: A Middleware Perspective, International Conference on Service Oriented Computing (icsoc) ,
DOI : 10.1109/TPDS.2012.105
URL : https://hal.archives-ouvertes.fr/hal-01358399
Towards building real-time, convenient route recommendation system for public transit, 2016 IEEE International Smart Cities Conference (ISC2) ,
DOI : 10.1109/ISC2.2016.7580779
URL : https://hal.archives-ouvertes.fr/hal-01351068
Leveraging CDR datasets for context-rich performance modeling of large-scale mobile pub/sub systems, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2015. ,
DOI : 10.1109/WiMOB.2015.7348016
URL : https://hal.archives-ouvertes.fr/hal-01204871
Toward Enabling Convenient Urban Transit through Mobile Crowdsensing, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015. ,
DOI : 10.1109/ITSC.2015.57
URL : https://hal.archives-ouvertes.fr/hal-01204827
Analysis of Timing Constraints in Heterogeneous Middleware Interactions, International Conference on Service Oriented Computing (icsoc), 2015. ,
DOI : 10.1109/ICWS.2013.39
URL : https://hal.archives-ouvertes.fr/hal-01204786
Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, European Conference on Service-Oriented and Cloud Computing (esocc), 2013. ,
DOI : 10.1007/978-3-642-40651-5_11
URL : https://hal.archives-ouvertes.fr/hal-00841332
Integration of Heterogeneous Services and Things into Choreographies Demo, International Conference on Service Oriented Computing (icsoc) ,
Towards Enabling Mobile Social Crowd-Sensing for Unstructured Transport Information Management Poster Paper in D4D Challenge, 2015. ,
, CHOReV- OLUTION Service Bus, Security and Cloud ? Intermediate outcomes research report, 2017.
, Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE research report, 2013.
, Exp ONOvrlPubBr = new Exp(Params.ON_OVRL_PUB_BR_RATE
, Exp OFFOvrlPubBr = new Exp(Params.OFF_OVRL_PUB_BR_RATE
, Exp ONOvrlBrSub = new Exp(Params.ON_OVRL_BR_SUB_RATE
, Exp OFFOvrlBrSub = new Exp(Params.OFF_OVRL_BR_SUB_RATE
PUB-APP ,
, 21
,
,
BR-OUT ,
,
,
,
,
,
,
, LftLsesBranch branchPubApp = new LftLsesBranch(new Node
, LftLsesBranch branchBrIn = new LftLsesBranch(new Node
, LftLsesBranch branchBrOut = new LftLsesBranch(new Node
, queueing network creation 39 src.setLink(new Link
, 40 pub_app.setLink(branchPubApp)
, 41 pub_mdw.setLink(new Link(br_in))
, 42 br_in.setLink(branchBrIn)
, 43 br_out.setLink(branchBrOut)
, 44 sub_mdw.setLink(new Link(sub_app))
, 45 sub_app.setLink(new Link(sinkSubEnd))
, 48 Network.displayResults(0.01)
7: Pattern 4 (reliable) simulation constructor ,