2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)最新文献_第3页

Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study 重新思考医疗器械的验证过程:心脏起搏器案例研究

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2018-05-29 DOI: 10.1109/ISORC.2018.00027

Sidharta Andalam, P. Roop, Avinash Malik, M. Trew

{"title":"Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study","authors":"Sidharta Andalam, P. Roop, Avinash Malik, M. Trew","doi":"10.1109/ISORC.2018.00027","DOIUrl":"https://doi.org/10.1109/ISORC.2018.00027","url":null,"abstract":"Existing techniques for validation of implantable medical devices such as pacemakers are heavily dependent on expensive and timeconsuming clinical trials where the sample size is small and may not represent the variance in a larger population. To address this problem, bio-engineering researchers have proposed various high fidelity models that are used for non real-time simulation. More recently, computer science (CS) researchers have developed more abstract models that are amenable for real-time (hardware-in-theloop validation), but fail to exhibit appropriate dynamic responses. In general, the challenge remains on how to develop the organ models such that they capture the appropriate behaviour while maintaining the real-time response. In this paper, we present a generic step-by-step methodology that can aid researchers who are modelling organs for the validation of medical devices. The goal of this paper is to help: (1) introduce CS researchers to the steps involved in extracting executable organ models from bio-engineering models (2) introduce bio-engineers to emulation models and available computer hardware platforms for synthesising the organ models.","PeriodicalId":395536,"journal":{"name":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","volume":"229 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133957618","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}

引用次数: 1

Detecting Single Event Upsets in Embedded Software 嵌入式软件中单事件干扰检测

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2018-05-29 DOI: 10.1109/ISORC.2018.00029

IV RobertG.Pettit, Aedan D. Pettit

引用次数: 2

Representative Safety Assessment of Autonomous Vehicle for Public Transportation 公共交通自动驾驶车辆代表性安全评价

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2018-05-01 DOI: 10.1109/ISORC.2018.00025

Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour

{"title":"Representative Safety Assessment of Autonomous Vehicle for Public Transportation","authors":"Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour","doi":"10.1109/ISORC.2018.00025","DOIUrl":"https://doi.org/10.1109/ISORC.2018.00025","url":null,"abstract":"The implementations and testing in real conditions of Autonomous Vehicles (AV) for private usage show important advances. However, a lack still exists in addressing the particularities of AVs for Public Transportation. Such particularities range from limited safety mechanisms aboard, risky situations associated to particular users and complex self-driving situations up to the limited passengers-vehicle interactions possible. Since, to our knowledge, no comprehensive safety assessment actually exists and the current automotive related standards do not address identified aspects, in this paper, we propose to conduct a minimal but representative safety assessment based upon a local but real autonomous vehicle implementation. To conduct our study, the Hazard Analysis and Risks Assessment introduced in the ISO 26262 standard is taken as a basis. Initial outcomes suggest that critical autonomy aspects, like machine learning of complex operational situations, the metrics for quantitative assessment of autonomy, and potential conflicts between autonomy principles and external safety fences can have critical safety impacts and demand further discussions.","PeriodicalId":395536,"journal":{"name":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116939605","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

QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System QuaRTOS-DSE:嵌入式实时系统设计空间探索的工具

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2018-05-01 DOI: 10.1109/ISORC.2018.00014

Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau

{"title":"QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System","authors":"Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau","doi":"10.1109/ISORC.2018.00014","DOIUrl":"https://doi.org/10.1109/ISORC.2018.00014","url":null,"abstract":"To improve the quality, the performance and the real-time correctness of embedded real-time systems, one main design activity is the deployment consisting on mapping functions to tasks and tasks to processors. Several deployment strategies have been proposed by the literature. Each of them is well adapted for one deployment step, one optimization criterion and one type of application. But for realistic systems and general case, none of them is optimal. This paper presents a model-based approach to facilitate the integration and the composition of different deployment strategies. The framework allows to combine different strategies for different parts of the system, and to apply consecutively different strategies. To compare different compositions of strategies, evaluations are proposed based on a set of real-time, performance and design quality criteria. The library of strategies and evaluation criteria may be easily extended by respecting a generic API. Evaluation on case studies shows the interest of combining several strategies to optimize different criteria like real-time and quality of design criteria.","PeriodicalId":395536,"journal":{"name":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115796163","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}

引用次数: 1