Filters








879 Hits in 4.7 sec

Runtime Verification of Web Services for Interconnected Medical Devices

Normann Decker, Franziska Kuhn, Daniel Thoma
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]

Martin Leucker, Malte Schmitz, Danilo à Tellinghusen
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

Björn Andersen, Simon Baumhof, Josef Ingenerf
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

Arthur Gatouillat, Youakim Badr, Bertrand Massot, Ervin Sejdic
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

Jacek Lewandowski, Hisbel E. Arochena, Raouf N. G. Naguib, Kuo-Ming Chao, Alexeis Garcia-Perez
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

Edward A. Lee, Jan Rabaey, Bjorn Hartmann, John Kubiatowicz, Kris Pister, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, John Wawrzynek, David Wessel, Tajana Simunic Rosing, David Blaauw, Prabal Dutta (+10 others)
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

Mukhtiar Memon, Stefan Wagner, Christian Pedersen, Femina Beevi, Finn Hansen
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

Aitor Agirre, Aintzane Armentia, Elisabet Estévez, Marga Marcos
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

Ah-Lian Kor, Max Yanovsky, Colin Pattinson, Vyacheslav Kharchenko
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

Aikaterini Protogerou, Evangelos V. Kopsacheilis, Asterios Mpatziakas, Kostas Papachristou, Traianos Ioannis Theodorou, Stavros Papadopoulos, Anastasios Drosou, Dimitrios Tzovaras
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

Webinos Consortium
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

Raja Naeem Akram, Ryan K.L. Ko
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

Yu Qin, Jingbin Liu, Shijun Zhao, Dengguo Feng, Wei Feng
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

Yoshiaki Fukami
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)

Luciano Baresi, Andreas Rummler, Klaus Schmid, Marc Herbstritt
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