检索结果-内蒙古大学图书馆

From Requirements to Code: Model Based Development of a Medical Cyber Physical System 1

4th international Symposium on Foundations of Health Information Engineering and systems (FHIES) / 6th international workshop on Software Engineering in Healthcare (SEHC)

作者： Murugesan, Anitha Heimdahl, Mats P. E. Whalen, Michael W. Rayadurgam, Sanjai Komp, John Duan, Lian Kim, Baek-Gyu Sokolsky, Oleg Lee, Insup Univ Minnesota Dept Comp Sci & Engn 200 Union St Minneapolis MN 55455 USA Univ Penn Dept Comp & Informat Sci 3330 Walnut St Philadelphia PA 19104 USA

ISBN: (数字)9783319631943

ISBN: (纸本)9783319631943;9783319631936

the advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an effort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques. In this paper we present an end-to-end model-based approach to medical device software development along with the artifacts created in the process. While outlining the approach, we also describe our experiences, challenges, and lessons learned in the process of formulating and analyzing the requirements, modeling the system, formally verifying the models, generating code, and executing the generated code in the hardware for generic patient controlled analgesic infusion pump (GPCA). We believe that the development artifacts and techniques presented in this paper could serve as a generic reference to be used by researchers, practitioners, and authorities while developing and evaluating cyber physical medical devices.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 6th international workshop in Performance modeling, Benchmarking and simulation of High Performance computer systems, PMBS 2015 - Held as part of ACM/IEEE Supercomputing 2015, SC 2015

Proceedings of the 6th International Workshop in Performance...

引用

6th international workshop in Performance modeling, Benchmarking and simulation of High Performance computer systems, PMBS 2015 - Held as part of the 27th ACM/IEEE international Conference for High Performance Computing, Networking, Storage and Analysis, SC 2015

ISBN: (纸本)9781450340090

the proceedings contain 9 papers. the topics discussed include: performance evaluation of the IBM POWER8 system to support computational neuroscientific application using morphologically detailed neurons;performance analysis of OpenMP on a GPU using a CORAL proxy application;examining recent many-core architectures and programming models using SHOC;automatic loop kernel analysis and performance modeling with Kerncraft;techniques for modeling large-scale HPC I/O workloads;characterizing node orderings for improved performance;simulating stencil-based application on future Xeon Phi processor;ARMv8 micro-architectural design space exploration for high performance;and guided profiling for auto-tuning array layouts on GPUs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proving correctness of refactorings for hybrid simulink models with control flow

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017年 10107 LNCS卷 71-86页

作者： Schlesinger, Sebastian Herber, Paula Göthel, thomas Glesner, Sabine Software and Embedded Systems Engineering Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany

ISBN: (纸本)9783319517377

Hybrid models are highly relevant for the development of embedded systems because they cover both their continuous and discrete aspects. To master the increasing complexity of embedded systems design, transformation techniques such as automated refactoring play an important role, as they allow for simplifying (sub)models. In safety-critical environments, it is crucial to formally verify the behavioural equivalence of source and transformed target model. For data-flow models that contain control flow entities, this is a major challenge because small deviations of trigger values at control flow elements can yield diverging behaviour of the systems. In this paper, we present our approach that enables the semi-automated verification of the behavioural equivalence of hybrid MATLAB/Simulink models. To this end, we define a static analysis that derives proof obligations to estimate the worst case deviation between model and refactored model. Our approach can be applied to many practical applications such as in the automotive or aerospace industry where MATLAB/Simulink is a de-facto standard. © Springer international Publishing AG 2017.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017年 10107 LNCS卷 17-30页

作者： Betsuno, Kenichi Matsumoto, Shota Ueda, Kazunori Department of Computer Science and Engineering Waseda University 3-4-1 Okubo Shinjuku-ku Tokyo169-8555 Japan

ISBN: (纸本)9783319517377

Hybrid systems are dynamical systems that include both continuous and discrete changes. Some hybrid systems involve a large or infinite number of discrete changes within an infinitesimal-width region of phase space. systems with sliding mode are typical examples of such hybrid systems. It is difficult to analyze such hybrid systems through ordinary numerical simulation, since the time required for simulation increases in proportion to the number of discrete changes. In this paper, we propose a method to symbolically analyze such models involving numerous discrete changes by detecting loops and checking loop invariants of the model’s behavior. the method handles parameterized hybrid systems and checks inclusion of parameterized states focusing on the values of a switching function that dominate the dynamics of sliding mode. We implemented the main part of the method in our symbolic hybrid system simulator HyLaGI, and conducted analysis of example models. © Springer international Publishing AG 2017.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Hardware-in-the-loop testbed for load management applications

Hardware-in-the-loop testbed for load management application...

引用

international Conference on Clean Electrical Power (ICCEP)

作者： Sepehr Nakhostin Sergio Moreno Rodríguez Massimo Belometti Luca Omati Politecnico di Milano Milan Italy Electrification Products ABB Bergamo Italy

ISBN: (纸本)9781509046836

this paper focuses on smart power management systems for application in the Low Voltage power distribution. In particular, we consider load management systems based on distributed control implemented by processors embedded in power circuit breakers: such systems can control connection and disconnection of loads with the purpose of maintaining average power within preset boundaries, preventing demand peaks. With the purpose of testing load management systems in a realistic condition, a real time, hardware in the loop testbed has been designed and built. the testbed employs a mathematical model of the electrical consumption of the installation: based on such model, real time, simulated current and voltage signals are generated, that the controller uses as measurement inputs. Based on such inputs, the controller trigger load activation and deactivation strategy. In turn, activation and deactivation commands are fed back into the simulation testbed and taken into account for the continuation of simulation, thus closing the loop. the simulation system includes a complete graphical operator interface, which can be used for demonstration and training purposes, so that performance and operation of load management systems can be made apparent. After describing the architecture and components of the designed system, a test case used for validation is shown.

关键词： Load management Circuit breakers Load modeling Power demand User interfaces Voltage measurement computer architecture

来源：评论

学校读者我要写书评

暂无评论

Securing embedded systems and their IPs with Digital Reconfigurable PUFs 26

Securing Embedded Systems and their IPs with Digital Reconfi...

引用

26th international workshop on Power and Timing modeling, Optimization and simulation (PATMOS)

作者： Zheng, Jason Xin Xu, Teng Potkonjak, Miodrag Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA

ISBN: (纸本)9781509007332

In the near future, firmware security will be imperative for the large number of smart embedded devices that are tightly integrated into one's daily lives. In this paper, we present a security scheme for these embedded systems that can provide protection from tempered binaries and the thefts of hardware and software Intellectual Properties (IPs). the key idea is to incorporate digital Physical Unclonable Functions (PUFs) in an authentication mechanism at the machine-code level. Each copy of the binary is digitally locked by vendor using the signatures of the individual PUFs. At run time, the binaries are unlocked by the embedded digital PUFs at a low cost to performance and resource utilization. Each digital PUF is unique by initialization using analog PUFs, and at the same time it can be reconfigured with new seeds. the digital reconfigurable PUFs (drPUFs) have much lower risks of side-channel attacks and much more combinations of challenge-response pairs, while retaining the speed and ease of digital PUF implementation. We demonstrate how the digital PUF is implemented and incorporated into a processor design as well as a software production flow to generate unique firmware binaries that are paired with respective drPUF devices. As a proof of concept we will show the results of the implementation on a Xilinx Spartan-6 Field Programmable Gate Array (FPGA) device.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Dynamic modeling on the MIMO system with linear programming support vector regression and its application 6

Dynamic modeling on the MIMO system with linear programming ...

引用

2016 6th international workshop on computer Science and Engineering, WCSE 2016

作者： Yu, Yanfang Jiang, Li Shanghai Institute of Technology Shanghai201418 China

ISBN: (纸本)9789811100086

Few researches have been done for dynamic modeling on the multiple-input multiple-output system in actual industry so far. therefore, this paper proposed a novel dynamic model to solve the multiple-input multiple-output problem. It respectively mapped the delayed output and the primal input into different nonlinear space, associated the kernel trick with the support vector regression technique to estimate the nonlinear dynamic problem. simulation results of dynamic estimation of COOH content and degree of polymerization in the poly ethylene terephthalate production demonstrated that the present algorithm exactly approached the output of test set and reduced the error of test set respectively to the magnitude of 10-7 and 10-8.

关键词： MIMO systems

来源：评论

学校读者我要写书评

暂无评论

Architecture-oriented combat system effectiveness simulation modeling 6

Architecture-oriented combat system effectiveness simulation...

引用

6th international Defense and Homeland Security simulation workshop, DHSS 2016

作者： Lei, Yonglin Zhu, Ning Yao, Jian Zhu, Zhi Chen, Shuai School of Information Systems and Management National University of Defense Technology 109 Yanwachi Rd Changsha Hunan410073 China

ISBN: (纸本)9788897999713

Combat system effectiveness simulation (CESS) is a special type of complex system simulation. their models feature multiple disciplines and are rich in domain knowledge. To develop such simulation models, model composability must play a central role where legacy models can be systematically reused and efficiently developed. Domain-friendly modeling is also a requisite for facilitating model development. Traditional modeling methodologies for CESS are either domain-neutral (lack of domain related consideration) or domain-oriented (lack of openness and evolvability) and cannot well fulfill these requirements together. Inspired by the concept of architecture in systems and software engineering fields, we extend it into a concept of model architecture for complex simulation systems, and propose a model architectureoriented modeling methodology in which model architecture plays a central role. In this methodology, toward achieving model composability, domain-neutral M&S technologies are used to describe model architecture to improve model evolvability, and domain-specific modeling (DSM) is employed to aid domain experts. Two layers of model architecture, i.e. domain model architecture (DMA) and application model architecture (AMA), are differentiated and explicitly represented in a concrete model architecture-oriented CESS modeling framework.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

ACM international Conference Proceeding Series

ACM International Conference Proceeding Series

引用

7th workshop on Parallel Programming and Run-Time Management Techniques for Many-Core architectures and 5th workshop on Design Tools and architectures For Multicore embedded Computing Platforms, PARMA-DITAM 2016

ISBN: (纸本)9781450340526

the proceedings contain 6 papers. the topics discussed include: stack size estimation on machine-independent intermediate code for OpenCL kernels;predictive modeling methodology for compiler phase-ordering;flexible resource allocation and management for application graphs on ReN MPSoC;low communication overhead dynamic mapping of multiple HEVC Video stream decoding on NOCs;deploying and monitoring hadoop MapReduce analytics on single-chip cloud computer;and runtime resource management for embedded and HPC systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards multi-level-simulation using dynamic cloud environments 6

Towards multi-level-simulation using dynamic cloud environme...

引用

6th international Conference on simulation and modeling Methodologies, Technologies and Applications, SIMULTECH 2016

作者： Wittek, Stefan H.A. Göttsche, Michael Rausch, Andreas Grabowski, Jens Department of Informatics Clausthal University of Technology Clausthal-Zellerfeld Germany Institute of Computer Science Georg-August-University Göttingen Göttingen Germany

ISBN: (纸本)9789897581991

the engineering of cyber physical systems requires holistic simulation perspectives. To cope with the complexity of these systems, we aim to provide a simulation methodology that is efficient regarding model complexity. the required holistic perspective is reached on a coarse level, which is co-simulated with multiple detailed models of some areas of the system that are of particular interest to the investigated phenomena. Which areas are thus "zoomed in" is dynamic during a simulation run. To reflect this, the resulting Multi-Level-simulation is deployed in a dynamic cloud environment, using the provided hardware resources in a cost-efficient manner. © Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：