SIGBED Rev.最新文献_第7页

Automation of feature engineering for IoT analytics 物联网分析特征工程自动化

SIGBED Rev. Pub Date : 2017-07-13 DOI: 10.1145/3231535.3231538

Snehasish Banerjee, T. Chattopadhyay, A. Pal, Utpal Garain

{"title":"Automation of feature engineering for IoT analytics","authors":"Snehasish Banerjee, T. Chattopadhyay, A. Pal, Utpal Garain","doi":"10.1145/3231535.3231538","DOIUrl":"https://doi.org/10.1145/3231535.3231538","url":null,"abstract":"This paper presents an approach for automation of interpretable feature selection for Internet Of Things Analytics (IoTA) using machine learning (ML) techniques. Authors have conducted a survey over different people involved in different IoTA based application development tasks. The survey reveals that feature selection is the most time consuming and niche skill demanding part of the entire workflow. This paper shows how feature selection is successfully automated without sacrificing the decision making accuracy and thereby reducing the project completion time and cost of hiring expensive resources. Several pattern recognition principles and state of art (SoA) ML techniques are followed to design the overall approach for the proposed automation. Three data sets are considered to establish the proof-of-concept. Experimental results show that the proposed automation is able to reduce the time for feature selection to 2 days instead of 4 -- 6 months which would have been required in absence of the automation. This reduction in time is achieved without any sacrifice in the accuracy of the decision making process. Proposed method is also compared against Multi Layer Perceptron (MLP) model as most of the state of the art works on IoTA uses MLP based Deep Learning. Moreover the feature selection method is compared against SoA feature reduction technique namely Principal Component Analysis (PCA) and its variants. The results obtained show that the proposed method is effective.","PeriodicalId":447904,"journal":{"name":"SIGBED Rev.","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133825558","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

Flexible and timely on-line integration of medical services using iLand middleware 使用iLand中间件实现灵活、及时的医疗服务在线集成

SIGBED Rev. Pub Date : 2017-03-31 DOI: 10.1145/3076125.3076131

M. García-Valls, N. Herrasti, C. Jouvray, A. Armentia

{"title":"Flexible and timely on-line integration of medical services using iLand middleware","authors":"M. García-Valls, N. Herrasti, C. Jouvray, A. Armentia","doi":"10.1145/3076125.3076131","DOIUrl":"https://doi.org/10.1145/3076125.3076131","url":null,"abstract":"Modern medical systems are intensive in the use of distribution technology in medical services. Communication among professionals and patients is enabled to exchange patient information, and for on-line monitoring of health conditions. A miriad of specialized middleware solutions that have appeared in this domain, typically focus on providing more and more patient-data processing services over basic communication backbones (e.g., from pure socket communication to more sophisticated interaction models). Paradigms such as service oriented architectures and decoupled communication middleware support the development of emerging medical systems based on the composition of existing (posibly remote) services into a new application. This adjusts to the phylosophy of systems of systems (SoS) development. In a cyber-physical medical domain, service based applications require support for this composition in a way that a new application is created (or simply modified) in a timely fashion. iLand middleware supports this phylosophy, enabling both off-line and run-time reconfiguration of distributed service based applications. It provides timely operation, controlled communication delays, and a decoupled interaction model for stateless services. iLand has been used in medical applications for remote patient monitoring and in surveillance domains for remote real-time video transmission. This paper presents the systems that iLand has enabled in the medical domain, mainly based on remote patient monitoring. These iLand-based systems have shown to be flexible and capable of undergoing timely service reconfigurations.","PeriodicalId":447904,"journal":{"name":"SIGBED Rev.","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122491041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

Protecting interoperable clinical environment with authentication 通过身份验证保护可互操作的临床环境

SIGBED Rev. Pub Date : 2017-03-31 DOI: 10.1145/3076125.3076129

Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee

引用次数: 10

Model-based falsification of an artificial pancreas control system 基于模型的人工胰腺控制系统伪证

SIGBED Rev. Pub Date : 2017-03-31 DOI: 10.1145/3076125.3076128

S. Sankaranarayanan, Suhas Akshar Kumar, F. Cameron, B. Bequette, Georgios Fainekos, D. Maahs

{"title":"Model-based falsification of an artificial pancreas control system","authors":"S. Sankaranarayanan, Suhas Akshar Kumar, F. Cameron, B. Bequette, Georgios Fainekos, D. Maahs","doi":"10.1145/3076125.3076128","DOIUrl":"https://doi.org/10.1145/3076125.3076128","url":null,"abstract":"We present a model-based falsification scheme for artificial pancreas controllers. Our approach performs a closed-loop simulation of the control software using models of the human insulin-glucose regulatory system. Our work focuses on testing properties of an overnight control system for hypoglycemia/hyperglycemia minimization in patients with type-1 diabetes. This control system is currently the subject of extensive phase II clinical trials.\u0000 We describe how the overall closed loop simulator is constructed, and formulate properties to be tested. Significantly, the closed loop simulation incorporates the control software, as is, without any abstractions. Next, we demonstrate the use of a simulation-based falsification approach to find potential property violations in the resulting control system. We formulate a series of properties about the controller behavior and examine the violations obtained. Using these violations, we propose modifications to the controller software to improve its performance under these adverse (corner-case) scenarios. We also illustrate the effectiveness of robustness as a metric for identifying interesting property violations. Finally, we identify important open problems for future work.","PeriodicalId":447904,"journal":{"name":"SIGBED Rev.","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121491894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 35

Support for safety case generation via model transformation 支持通过模型转换生成安全案例

SIGBED Rev. Pub Date : 2017-03-31 DOI: 10.1145/3076125.3076130

Chung-Ling Lin, Wuwei Shen, R. Hawkins

引用次数: 0

Automated closed-loop model checking of implantable pacemakers using abstraction trees 基于抽象树的植入式心脏起搏器闭环模型自动检测

SIGBED Rev. Pub Date : 2017-03-31 DOI: 10.1145/3076125.3076127

Zhihao Jiang, Houssam Abbas, P. Mosterman, R. Mangharam

{"title":"Automated closed-loop model checking of implantable pacemakers using abstraction trees","authors":"Zhihao Jiang, Houssam Abbas, P. Mosterman, R. Mangharam","doi":"10.1145/3076125.3076127","DOIUrl":"https://doi.org/10.1145/3076125.3076127","url":null,"abstract":"Autonomous medical devices such as implantable cardiac pacemakers are capable of diagnosing the patient condition and delivering therapy without human intervention. Their ability to autonomously affect the physiological state of the patient makes them safety-critical. Sufficient evidence for the safety and efficacy of the device software, which makes these autonomous decisions, should be provided before these devices can be released on the market. Formal methods like model checking can provide safety evidence that the devices can safely operate under a large variety of physiological conditions. The challenge is to develop physiological models that are general enough to cover the large variability of human physiology, and also expressive enough to provide physiological contexts to counter-examples returned by the model checker. In this paper, the authors develop a set of physiological abstraction rules that introduce physiological constraints to heart models. By applying these abstraction rules to a initial set of heart models, an abstraction tree is created. The root model covers all possible inputs to a pacemaker and derived models cover inputs from different heart conditions. If a counter-example is returned by the model checker, the abstraction tree is traversed so that the most concrete counter-example(s) with physiological contexts can be returned to the domain experts for validity check. The abstraction tree framework replaces the manual abstraction and refinement framework, which reduced the amount of domain knowledge required to perform closed-loop model checking. It encourages the use of model checking during the development of autonomous medical devices, and identifies safety risks earlier in the design process. 1","PeriodicalId":447904,"journal":{"name":"SIGBED Rev.","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125939622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Measuring performance of middleware technologies for medical systems: Ice vs AMQP 测量医疗系统中间件技术的性能:Ice与AMQP

SIGBED Rev. Pub Date : 2017-03-31 DOI: 10.1145/3076125.3076126

Paloma Rubio-Conde, Diego Villarán-Molina, M. García-Valls

{"title":"Measuring performance of middleware technologies for medical systems: Ice vs AMQP","authors":"Paloma Rubio-Conde, Diego Villarán-Molina, M. García-Valls","doi":"10.1145/3076125.3076126","DOIUrl":"https://doi.org/10.1145/3076125.3076126","url":null,"abstract":"After decades of design, development and usage of distributed application technologies, there are numerous communication middleware architectures and implementations in the market that have reached a considerable maturity level. A large number of them are open source initiatives that have shown efficiency and good performance in a broad range of domains, from banking to gaming. These are low cost solutions, easily programmable and of high interest to be explored in areas such as cyber-physical medical systems that have special requirements for safety, availability, communication latency, real-time operation, and fault tolerance. This paper analyzes the suitability of two open source communication middleware technologies, Ice (Internet Communication Engine) and AMQP (Advanced Message Queuing Protocol), as software elements suitable for developing audio transmission and reception systems for low cost medical applications. The paper simulates an audio application with both technologies, made of a server (nurse central) that receives and processes audio media from several clients (patients); communication can be triggered concurrent from multiple patients and in both directions. Stress tests with high load conditions are simulated in the experiments to show the behavior of both technologies mainly with respect to their stability and overhead.","PeriodicalId":447904,"journal":{"name":"SIGBED Rev.","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132523049","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 9

Educating embedded systems hackers: a practitioner's perspective 教育嵌入式系统黑客:一个实践者的视角

SIGBED Rev. Pub Date : 2017-01-05 DOI: 10.1145/3036686.3036687

Sagar Behere, Martin Törngren

引用次数: 1

Embedded software education: an RTOS-based approach 嵌入式软件教育:基于rtos的方法

SIGBED Rev. Pub Date : 2017-01-05 DOI: 10.1145/3036686.3036695

J. Archibald, D. Wilde

引用次数: 1

A case study to develop a graduate-level degree program in embedded & cyber-physical systems 开发嵌入式和网络物理系统研究生水平学位课程的案例研究

SIGBED Rev. Pub Date : 2017-01-05 DOI: 10.1145/3036686.3036688

F. Kurdahi, M. A. Faruque, D. Gajski, A. Eltawil

引用次数: 10