A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Runtime Verification of Web Services for Interconnected Medical Devices
2014
2014 IEEE 25th International Symposium on Software Reliability Engineering
The framework has been designed for the interconnection of medical devices in the operating room. ...
This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. ...
We were able to handle all important constraints for our application, which shows that our technique works particularly well for securing the dynamic interconnection of medical devices. ...
doi:10.1109/issre.2014.16
dblp:conf/issre/DeckerKT14
fatcat:htfw6fg7tze4xfsrcrbqvbepcu
Runtime Verification for Interconnected Medical Devices
[chapter]
2016
Lecture Notes in Computer Science
The whole OSCP SDK makes heavy use of runtime verification techniques and shows their advantages in this application area. ...
In this tool paper we present a software development kit (SDK) for the Open Surgical Communication Protocol (OSCP) that supports the development of interconnected medical devices according to the recent ...
use of runtime verification to ensure safe interconnection of medical devices. ...
doi:10.1007/978-3-319-47169-3_29
fatcat:5zvadvvuyveyhop3d5x5lmbx3a
Service-Oriented Device Connectivity: Device Specialisations for Interoperability
2019
Studies in Health Technology and Informatics
Finally, device-to-device interaction at runtime has to be defined for automatic verification during testing and approval. Applications include C-arm fluoroscopes used in different clinical settings. ...
One of the missing pieces for implementation and approval are Device Specialisations that specify how to use information and service models to represent a specific type of device on the network. ...
NET [2] , this series now provides point-of-care medical and surgical devices with a contemporary communication protocol based on web service technology. ...
doi:10.3233/shti190274
pmid:31437975
fatcat:sg23ybjdtrevpmbmvfuhhqdfae
Internet of Medical Things: A Review of Recent Contributions Dealing with Cyber-Physical Systems in Medicine
2018
IEEE Internet of Things Journal
We describe the practical application of the democratization of medical devices for both patients and health-care providers. ...
The Internet of Medical Things designates the interconnection of communication-enabled medical-grade devices and their integration to wider-scale health networks in order to improve patients' health. ...
This matter has been developed in the service oriented IoMT and solutions have been offered: a framework derived from the OWL-S (web ontology language for web services) ontology model was adapted to the ...
doi:10.1109/jiot.2018.2849014
fatcat:z2oytkgvu5gh5cuziawczhqdfe
Logic-Centered Architecture for Ubiquitous Health Monitoring
2014
IEEE journal of biomedical and health informatics
One of the key points to maintain and boost research and development in the area of Smart Wearable Systems (SWS) is the development of integrated architectures for intelligent services, as well as wearable ...
A pivotal part of the platform is the integrated inference engine/runtime environment that allows the mobile device to serve as a user-adaptable personal health assistant. ...
medical sensors and remote web services. ...
doi:10.1109/jbhi.2014.2312352
pmid:25192566
fatcat:3cnyk3ebofauhjpgn5svaoyzvy
The Swarm at the Edge of the Cloud
2014
IEEE design & test
Blaauw has a PhD in computer science from the University of Illinois at Urbana-Champaign, Urbana, IL, USA. ...
Acknowledgment David Blaauw is a Professor at the University of Michigan, Ann Arbor, MI, USA. His work has focused on VLSI design with particular emphasis on adaptive and low-power design. ...
Kevin Fu is an Associate Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, MI, USA, where he directs the Archimedes Research Center for Medical Device Security ...
doi:10.1109/mdat.2014.2314600
fatcat:oiqgw3brsvgavme5fmf45ygjpm
Ambient Assisted Living Healthcare Frameworks, Platforms, Standards, and Quality Attributes
2014
Sensors
AAL systems are developed for personalized, adaptive, and anticipatory requirements, necessitating high quality-of-service to achieve interoperability, usability, security, and accuracy. ...
design, technology, quality-of-service, and user experience perspectives. ...
For instance, Pé rez et al. use the Device Profile for Web Services (DPWS) [92] and other web-services standards, i.e., WS-Discovery, WS-Eventing, and WS-Addressing for integrating ubiquitous devices ...
doi:10.3390/s140304312
pmid:24599192
pmcid:PMC4003945
fatcat:w4mzzdbblvhvflekgvgvlyzpca
A Component-Based Approach for Securing Indoor Home Care Applications
2017
Sensors
This paper proposes a solution for the design and runtime management of indoor eHealth applications with security requirements. ...
Examples of such systems and devices include wireless medical devices deployed in the home care network, wearable sensors, home gateways, hospital databases and so on. (3) To enable personalized medicine ...
Author Contributions: Aitor Aguirre was in charge of the design and implementation of the DAMP runtime platform. Additionally, he has performed the experiments, analyzing their results. ...
doi:10.3390/s18010046
pmid:29278370
pmcid:PMC5796285
fatcat:l3tkrhwhbnf6rlqdprsdrr6m4e
SMART-ITEM: IoT-enabled smart living
2016
2016 Future Technologies Conference (FTC)
devices, support for multi-homing devices, translational functionality for IoT gateways, sensors will be web accessible; ...
OGC (Open Geospatial Consortium) has developed the open SensorThings API 43 standard to provide an open and unified way to interconnect IoT devices, data, and applications over the Web. ...
Examples of IoT services enablement 61 which will be relevant for this project are: (i) Generic Enablers for: Advanced middleware and interfaces to Network and Devices; Advanced Web-based User Interface ...
doi:10.1109/ftc.2016.7821687
fatcat:5datqwa7vfccbnapl7nez3tmom
Time Series Network Data Enabling Distributed Intelligence. A Holistic IoT Security Platform Solution
2022
Electronics
The increased number of interconnected IoT devices, their limited computational power, and the evolving sophistication of cyber security threats, results in increased security challenges for the IoT ecosystem ...
, an AI-based generation of effective mitigation strategies according to the severity of detected threats, a system for the verification of SDN routing decisions along with network- and resource-related ...
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/electronics11040529
fatcat:m4tgpyvzhrft3i5loro3hememm
Webinos Project Deliverable: Phase 1 Security Framework
2011
Zenodo
The webinos project aims to deliver a cross-device web application runtime environment, providing a unified development platform and standardized inter-device communication and interaction. ...
are specified and guidelines are provided to developers of the webinos runtime. ...
The web runtime must grant access only to features that are advertised as dependencies of the web application. ...
doi:10.5281/zenodo.1154354
fatcat:ydjoaqcyvngfhpop3qyrbzp7r4
Digital Trust - Trusted Computing and Beyond: A Position Paper
2014
2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications
Along with the invention of computers and interconnected networks, physical societal notions like security, trust, and privacy entered the digital environment. ...
This concept evolved to deal with the rapid growth of the Internet, where it became impractical for entities to have prior offline (real world) trust. ...
Non-Trusted Services Trusted Services
Device
Engine
External Non-Trusted Services
External Trusted Services
External Non-Trusted Resources
Trusted Resources
Reporting
Verification
Enforcement ...
doi:10.1109/trustcom.2014.116
dblp:conf/trustcom/AkramK14a
fatcat:xjmm6svm2zbkzmdewmgemha33u
RIPTE: Runtime Integrity Protection Based on Trusted Execution for IoT Device
2020
Security and Communication Networks
In sum, RIPTE is secure and efficient in IoT device protection at runtime. ...
Through encrypting return address of program function by PUF key, RIPTE can protect software integrity at runtime on IoT device, enabling to prevent the code reuse attacks. ...
Acknowledgments e research presented in this paper was supported by National Key R&D Program of China (2018YFB0904903 and 2020YFE0200600) and National Natural Science Foundation of China (Nos. 61872343 ...
doi:10.1155/2020/8957641
fatcat:w373tmsvqna5tniaatv7viqqmq
Two Obstacle Factors for Technological Standardization: The Viewpoint of Technological Frame
2021
Standards
The concept of the Internet of Things (IoT), which is an architecture in which devices supplied by various firms and services operated by distributed organizations exchange data, has been adopted in an ...
for building scalable ecosystems because of the introduction of the concepts of Industry 4.0 and Society 5.0. ...
Conflicts of Interest: The author declares no conflict of interest. ...
doi:10.3390/standards2010001
fatcat:7vq23bmewjcurkzlmu5fq6bhty
Customizing Service Platforms (Dagstuhl Seminar 13171)
2013
Dagstuhl Reports
As part of the seminar, we identified a number of key areas which provided the basis for highly interactive working groups. ...
This report documents the program and the outcomes of Dagstuhl Seminar 13171 "Customizing Service Platforms". ...
This is for example applied in the SM4ALL project (Smart Homes for All) 5 on an embedded middleware for pervasive and immersive environments in order to enable a continuous adaptation of sensors, devices ...
doi:10.4230/dagrep.3.4.114
dblp:journals/dagstuhl-reports/BaresiRS13
fatcat:fyscueobxbeufhyzjo4n2qenh4
« Previous
Showing results 1 — 15 out of 879 results