309 Hits in 5.4 sec

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation [chapter]

Kent Inge Fagerland Simonsen, Lars Michael Kristensen
2014 Lecture Notes in Computer Science  
Model-based software engineering offers several attractive benefits for the implementation of protocols, including automated code generation for different platforms from design-level models.  ...  Furthermore, we perform formal verification of the CPN model prior to code generation, and test the implementation for interoperability against the Autobahn WebSocket test-suite resulting in 97% and 99%  ...  This is a major advantage of an approach based on a formal modelling language as this can be used to eliminate design errors prior to code generation and testing of the generated protocol implementation  ... 
doi:10.1007/978-3-662-43352-2_9 fatcat:bmial4bcsfb55iy2c32ueq5rzy

Modeling and Testing Implementations of Protocols with Complex Messages [article]

Tom Tervoort, I. S. W. B. Prasetya
2018 arXiv   pre-print
This paper presents a new language called APSL for formally describing protocols to facilitate automated testing.  ...  To properly test implementations of such a protocol, it is not sufficient to only explore different orders of sending and receiving messages.  ...  These tools can generate test cases from a formal model of a protocol, but they too focus on testing the interaction aspect of the protocol.  ... 
arXiv:1804.03927v1 fatcat:uidzyvy6zvdizi372xdcsmvnha

JANI: Quantitative Model and Tool Interaction [chapter]

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2017 Lecture Notes in Computer Science  
The Jani Interaction Protocol The second part of the Jani specification is the jani-interaction tool interaction and automation protocol.  ...  This can occur in one of two ways: either remotely over the WebSocket network protocol [16] , with each message transmitted in one WebSocket text message, or locally by the client starting the server  ... 
doi:10.1007/978-3-662-54580-5_9 fatcat:upnrt33f6bgb3dx7zoi7c7xmhy

An Introduction to a Transnational Volunteer Notification System Providing Cardiopulmonary Resuscitation for Victims Suffering a Sudden Cardiac Arrest [chapter]

Jesko Elsner, Marie-Thérèse Schneiders, Max Haberstroh, Daniel Schilberg, Sabina Jeschke
2014 Automation, Communication and Cybernetics in Science and Engineering 2013/2014  
One approach for this is the implementation of a Volunteer Notification Systeminvolving laypersons and medically trained volunteers into the emergency medical service, by notifying those potential helpers  ...  Given the delay between an incoming emergency call and the arrival of the emergency medical services at the scene, it is necessary to find an alternative way to provide immediate first aid treatment.  ...  WebSockets specify an API as well as a protocol, while the protocol defines the HTTP handshake behavior to switch from an existing HTTP connection to a lower level connection; a so-called WebSocket connection  ... 
doi:10.1007/978-3-319-08816-7_44 fatcat:ivq2jd7wsverjnj3ozdugqcxre

Vulnerability analysis and method of selection of communication protocols for information transfer in Internet of Things systems

Maryna Kolisnyk
The author has tested the method using the example of a corporate system (Smart House) based on the WoT concept. Findings.  ...  The goal is to develop a method for selecting messaging models and application-level protocols in non-critical and critical multi-level IoT/WoT systems, provided that the type of access to intelligent  ...  The required HTTP and WebSocket servers, Node.JS (v7.10.1) have been installed to implement web servers based on the Express.js module (4.16.2) .  ... 
doi:10.32620/reks.2021.1.12 fatcat:72ysxqhxune77hrgdacjq4uhyu

An Experiment Study on Federated LearningTestbed [article]

Cheng Shen, Wanli Xue
2021 arXiv   pre-print
This work presents the evaluation on the efficiency and privacy performance of a readily available federated learning framework based on PySyft, a Python library for distributed deep learning.  ...  While the Internet of Things (IoT) can benefit from machine learning by outsourcing model training on the cloud, user data exposure to an untrusted cloud service provider can pose threat to user privacy  ...  Acknowledgments The work has been supported by the Cyber Security Research Centre Limited whose activities are partially funded by the Australian Government's Cooperative Research Centres Programme.  ... 
arXiv:2103.10579v1 fatcat:mrgrxor5xrb7rfsdgdwormh2me

Hypermedia APIs for Sensor Data: A pragmatic approach to the Web of Things

Spencer Russell, Joseph Paradiso
2014 Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services  
These sensors are connected to a diverse set of systems and protocols driven by cost, power, bandwidth, and more.  ...  As our world becomes more instrumented, sensors are appearing in our homes, cars, and on our bodies [12] .  ...  Platforms There are many commercial and academic offerings to manage sensor data. One of the most well-known is Xively (formally Cosm, formally Patchube).  ... 
doi:10.4108/icst.mobiquitous.2014.258072 dblp:conf/mobiquitous/RussellP14 fatcat:dtff27ezrjeerbzv4wfmbufdci

Web-based Cryptojacking in the Wild [article]

Marius Musch, Christian Wressnegger, Martin Johns, Konrad Rieck
2018 arXiv   pre-print
With the introduction of memory-bound cryptocurrencies, such as Monero, the implementation of mining code in browser-based JavaScript has become a worthwhile alternative to dedicated mining rigs.  ...  Based on this technology, a new form of parasitic computing, widely called cryptojacking or drive-by mining, has gained momentum in the web.  ...  Furthermore, the authors gratefully acknowledge funding from the German Federal Ministry of Education and Research (BMBF) under the project VAMOS (FKZ 16KIS0534) and FIDI (FKZ 16KIS0786K) and funding from  ... 
arXiv:1808.09474v1 fatcat:vsksdijc5bcljbed2tdamfpive

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification [chapter]

Arnd Hartmanns, Holger Hermanns
2014 Lecture Notes in Computer Science  
The Modest Toolset is based on networks of stochastic hybrid automata (SHA) as an overarching semantic foundation. Many existing automatabased formalisms are special cases of SHA.  ...  Probabilities, real-time behaviour and continuous dynamics are the key ingredients of quantitative models enabling formal studies of non-functional properties such as dependability and performance.  ...  , Javascript and the WebSocket protocol.  ... 
doi:10.1007/978-3-642-54862-8_51 fatcat:2nrp4746brah5bf75kerqcekma

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things

Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
2018 Electronic Proceedings in Theoretical Computer Science  
This paper investigates the use of parametric trace expressions as a first step towards runtime monitoring of programs developed in Node.js and Node-RED, a flow-based IoT programming tool built on top  ...  In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model.  ...  Figure 3 : 3 A simple Node-RED flow implementing a "ping-pong" protocol based on WebSocket Listing 1: Jalangi callbacks for function invocations logging.  ... 
doi:10.4204/eptcs.264.4 fatcat:6mhzi276qbbrfhmg4fryjzqwfa

A Semantics-Rich Information Technology Architecture for Smart Buildings

Dario Bonino, Fulvio Corno, Luigi De Russis
2014 Buildings  
Technologies, devices and protocols strongly bias the design process towards vertical integration, and more flexible solutions based on separation of design concerns are seldom applied.  ...  The paper will also present a representative use case where the approach has been applied and the corresponding modeling and software tools.  ...  The authors wish to thank all collaborators who worked on the Dog Gateway project's community and all of the partners of the Applus.énergie project.  ... 
doi:10.3390/buildings4040880 fatcat:jq3dg36xtnd5nnrgyxcjxffkea

Towards a Solution for the Public Web-Based GIS Monitoring and Alerting System [chapter]

Jitka Hübnerová
2014 Lecture Notes in Geoinformation and Cartography  
We show the application of previously developed WEDA architecture style into a GIS based experimental system and we present the performance analysis results of the system.  ...  These principles will be applied from the experimental system to the final draft specification and API after more tests.  ...  ACKNOWLEDGEMENTS This work was supported by the Ministry of Education of the Czech Republic within the SGS project no. 78001/115 on the Technical University of Liberec.  ... 
doi:10.1007/978-3-319-11463-7_9 fatcat:6poaeeduy5gcbfzuwzxl2hms3q

Developing a Security Testbed for Industrial Internet of Things

Muna AL-Hawawreh, Elena Sitnikova
2020 IEEE Internet of Things Journal  
In this paper, we propose a new generic end-to-end IIoT security testbed, with a particular focus on the brownfield system and provide details of the testbed's architectural design and the implementation  ...  The proposed testbed operation is demonstrated on different connected devices, communication protocols and applications.  ...  Hence, the WebSocket response time is calculated based on HTTP, and it takes around 10.18ms.  ... 
doi:10.1109/jiot.2020.3032093 fatcat:rbn2tayc4zhcvpergo6ori6sxq

Service-Oriented Software Architecture for Cloud Robotics [article]

Anis Koubaa
2019 arXiv   pre-print
In this article, we present an overview of the use of service-oriented architecture and Web services in developing robotics applications and software integrated with the Internet and the Cloud.  ...  In particular, we distinguish two main categories: (\textit{i.}) virtualization of robotics systems and (\textit{ii.}) computation offloading from robots to cloud-based services.  ...  The communication protocol is based on JSON serialized messages exchanged between the robots, the cloud, and the users.  ... 
arXiv:1901.08173v2 fatcat:jvowqjkuyrdhfln3g7d2hpbc7u

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS [chapter]

Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold Thimbleby
2013 Lecture Notes in Computer Science  
A model-based approach based on the use of formal methods is illustrated and implemented within the Prototype Verification System (PVS) verification system.  ...  The same specification is automatically translated into executable code through the PVS code generator, and hence a high fidelity prototype is then developed that incorporates the generated executable  ...  This work is supported in part by the EPSRC (CHI+MED, EP/G059063/1), NSF CNS-1035715, and NSF CNS-1042829.  ... 
doi:10.1007/978-3-642-40793-2_21 fatcat:lomj7coifzeg7c3sq4bwdduj5y
« Previous Showing results 1 — 15 out of 309 results