IEEE Design & Test

Issue 5 • Oct. 2015

Filter Results

Displaying Results 1 - 25 of 29
  • Front Cover

    Publication Year: 2015, Page(s): C1
    Request permission for commercial reuse | |PDF file iconPDF (690 KB)
    Freely Available from IEEE
  • [Front inside cover]

    Publication Year: 2015, Page(s): C2
    Request permission for commercial reuse | |PDF file iconPDF (350 KB)
    Freely Available from IEEE
  • [Masthead]

    Publication Year: 2015, Page(s): 1
    Request permission for commercial reuse | |PDF file iconPDF (57 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2015, Page(s): 2
    Request permission for commercial reuse | |PDF file iconPDF (63 KB)
    Freely Available from IEEE
  • Departments [Table of Contents]

    Publication Year: 2015, Page(s): 3
    Request permission for commercial reuse | |PDF file iconPDF (170 KB)
    Freely Available from IEEE
  • Cyber–Physical Systems for Medical Applications

    Publication Year: 2015, Page(s):4 - 5
    Request permission for commercial reuse | |PDF file iconPDF (87 KB) | HTML iconHTML
    Freely Available from IEEE
  • Guest Editors' Introduction: Cyber–Physical Systems for Medical Applications

    Publication Year: 2015, Page(s):6 - 8
    Request permission for commercial reuse | |PDF file iconPDF (69 KB) | HTML iconHTML
    Freely Available from IEEE
  • Parameter-Invariant Design of Medical Alarms

    Publication Year: 2015, Page(s):9 - 16
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (464 KB) | HTML iconHTML

    In this tutorial, we present a design methodology for medical parameter-invariant monitors. We begin by providing a motivational review of currently employed medical alarm techniques, followed by the introduction of the parameter-invariant design approach. Finally, we present a case study example to demonstrate the design of a parameter-invariant alarm for critical shunt detection in infants durin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling the Effect of Intravenous Anesthetics: A Path Toward Individualization

    Publication Year: 2015, Page(s):17 - 26
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (732 KB) | HTML iconHTML

    The modeling of the effect of intravenous anesthetics in the human body that accounts for the interpatient and intrapatient variability is essential not only for therapy individualization, but also for enabling the construction of reduced complexity feedback controllers. This paper reviews the path from complex pharmacokinetic/pharmacodynamic (PK/PD) models to reduced models that allow for runtime... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

    Publication Year: 2015, Page(s):27 - 34
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (339 KB) | HTML iconHTML

    The testing of medical devices poses numerous challenges due to continuous interactions between the physical processes and the cyber components. This paper highlights the main challenges for the design and verification of pacemakers and describes a framework based on discrepancy functions for investigating and validating the time-bounded safety properties as well as determining the safe ranges for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Caring Analytics for Adults With Special Needs

    Publication Year: 2015, Page(s):35 - 44
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (609 KB) | HTML iconHTML

    We propose a novel caring analytics system for assisting with the long-term care of adults with special needs. Our proposed system combines sensor network-driven activity analysis and online learning algorithms to analyze each resident's care. The analysis should result in a variety of reports and alerts on activities of interest (is the resident eating regularly?) as well as recommendations (try ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

    Publication Year: 2015, Page(s):45 - 55
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (571 KB) | HTML iconHTML

    International standards are a key ingredient in the quality assurance of software-intensive medical devices. One problem with such standards is that they often describe a lifecycle process that should be used to develop the system, rather than describe acceptance criteria to be applied to the system itself, thus guaranteeing safety directly in terms of the artefact's attributes. In the past few ye... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Security Assurance Cases for Medical Cyber–Physical Systems

    Publication Year: 2015, Page(s):56 - 65
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (784 KB) | HTML iconHTML

    With cybersecurity increasingly becoming a focus of regulatory concern, both medical device manufacturers and regulators are facing another challenge: how to establish, and also demonstrate, that the devices are also secure. This paper outlines an approach to constructing assurance cases to capture assumptions about the attacker by 1) identifying the hazards of interest to attacker; 2) identifying... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design Considerations for Modeling Modes in Cyber–Physical Systems

    Publication Year: 2015, Page(s):66 - 73
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (883 KB) | HTML iconHTML

    Safety critical systems such as cruise control in automotive systems and variable rate bolus in medical device infusion pumps introduce complexity and reduce the flexibility of incremental code modifications. This paper proposes a generic pattern to structure the mode logic such that additions, modifications, and removal of behaviors could be done in a quick and localized fashion without losing mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enabling Safe Interoperation by Medical Device Virtual Integration

    Publication Year: 2015, Page(s):74 - 88
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1894 KB) | HTML iconHTML

    The safe compositionality and integration of heterogeneous components represents a major challenge in medical cyber-physical systems. The paradigm of medical application platforms allows the virtual integration of heterogeneous devices with various communication infrastructures, but does not fully address the safety properties of the overall system. This paper presents a medical device virtual int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer-Vision-Based Decision Support in Surgical Robotics

    Publication Year: 2015, Page(s):89 - 97
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (542 KB) | HTML iconHTML

    With the rapid adoption of laparoscopic robotic surgery, numerous unanticipated safety and reliability challenges have surfaced for teleoperated devices. A large fraction of the procedure failures are accounted due to the sensor depravation, limited field of view, and lack of planning during procedures. This article surveys the benefits of computer vision for preoperative, intraoperative, and post... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic Design of Medical Capsule Robots

    Publication Year: 2015, Page(s):98 - 108
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (794 KB) | HTML iconHTML

    Medical capsule robots that navigate inside the body as diagnostic and interventional tools are an emerging and challenging research area within medical CPSs. These robots must provide locomotion, sensing, actuation, and communication within severe size, power, and computational constraints. This paper presents the first effort for an open architecture, platform design, software infrastructure, an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Call for Nominations for EIC of IEEE D&T

    Publication Year: 2015, Page(s): 109
    Request permission for commercial reuse | |PDF file iconPDF (107 KB)
    Freely Available from IEEE
  • Can semantic technologies make the Web truly worldwide? [IEEE Xplore advertisement]

    Publication Year: 2015, Page(s): 110
    Request permission for commercial reuse | |PDF file iconPDF (1671 KB)
    Freely Available from IEEE
  • CEDA Currents

    Publication Year: 2015, Page(s):111 - 112
    Request permission for commercial reuse | |PDF file iconPDF (134 KB)
    Freely Available from IEEE
  • Open Access Publishing

    Publication Year: 2015, Page(s): 113
    Request permission for commercial reuse | |PDF file iconPDF (730 KB)
    Freely Available from IEEE
  • IEEE Proceedings

    Publication Year: 2015, Page(s): 114
    Request permission for commercial reuse | |PDF file iconPDF (584 KB)
    Freely Available from IEEE
  • Test Technology TC Newsletter

    Publication Year: 2015, Page(s):115 - 116
    Request permission for commercial reuse | |PDF file iconPDF (117 KB) | HTML iconHTML
    Freely Available from IEEE
  • IEEE Was Here

    Publication Year: 2015, Page(s): 117
    Request permission for commercial reuse | |PDF file iconPDF (1271 KB)
    Freely Available from IEEE
  • myIEEE

    Publication Year: 2015, Page(s): 118
    Request permission for commercial reuse | |PDF file iconPDF (528 KB)
    Freely Available from IEEE

Aims & Scope

IEEE Design & Test offers original works describing the models, methods and tools used to design and test microelectronic systems from devices and circuits to complete systems-on-chip and embedded software. The magazine focuses on current and near-future practice, and includes tutorials, how-to articles, and real-world case studies. The magazine seeks to bring to its readers not only important technology advances but also technology leaders, their perspectives through its columns, interviews and roundtable discussions. Topics include semiconductor IC design, semiconductor intellectual property blocks, design, verification and test technology, design for manufacturing and yield, embedded software and systems, low-power and energy efficient design, electronic design automation tools, practical technology, and standards.  

It was published as IEEE Design & Test of Computers between 1984 and 2012.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Joerg Henkel
Chair for Embedded Systems (CES)
Karlsruhe Institute of Technology (KIT)