Hardware software codesign of a safety-critical embedded computer system for an automatic endoscope

被引:0
|
作者
Khan, GN [1 ]
Jin, M [1 ]
机构
[1] Ryerson Univ, Toronto, ON M5B 2K3, Canada
关键词
hardware-software codesign; high performance embedded systems; automatic endoscope;
D O I
10.1109/CCECE.2002.1013019
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Hardware-software codesign is presented for a safety-critical embedded computer system. The system is applied for endoscope control and navigation. The embedded system architecture provides high performance computing for real-time implementation of machine vision algorithms and fault-tolerance for patient safety. It consists of five processor cores, local memory, I/O interface and multi-port shared memory. The hardware and software system architectures are codesigned. A virtual hardware is developed to execute the application and system software tasks. The system is designed and modeled sing VHDL and Eaglei toolset. We have limited system verification to co-verfication of system hardware architecture and fault-tolerance strategies. Co-verification results indicate that the system performance degrades gracefully under various fault scenarios.
引用
收藏
页码:657 / 662
页数:2
相关论文
共 50 条
  • [1] Software Qualification Approach for Safety-Critical Software of the Embedded System
    Kim, Jangyeol
    Kim, Soongohn
    [J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
  • [2] A software diversity model for embedded safety-critical system
    Wang, Haifeng
    Liang, Nan
    [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND INFORMATION SYSTEMS, 2009, : 106 - 109
  • [3] Hardware/software codesign for embedded systems
    Harrison, J
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1998, 145 (03): : 153 - 153
  • [4] The effect of hardware platform selection on safety-critical software in embedded systems: Empirical evaluations
    Salewski, Falk
    Kowalewski, Stefan
    [J]. 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2007, : 78 - 85
  • [5] Hardware/software codesign techniques for low power embedded system
    Chede, Santosh D.
    Kulat, Kishore D.
    [J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1716 - 1721
  • [6] Embedded software verification in hardware-software codesign
    Hsiung, PA
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2000, 46 (15) : 1435 - 1450
  • [7] Hardware and Software Framework for an Open Battery Management System in Safety-Critical Applications
    Akdere, M.
    Giegerich, M.
    Wenger, M.
    Schwarz, R.
    Koffel, S.
    Fuehner, T.
    Waldhoer, S.
    Wachtler, J.
    Lorentz, V. R. H.
    Maerz, M.
    [J]. PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 5507 - 5512
  • [8] Hardware-Software Codesign of Automatic Speech Recognition System for Embedded Real-Time Applications
    Cheng, Octavian
    Abdulla, Waleed
    Salcic, Zoran
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2011, 58 (03) : 850 - 859
  • [9] Formal methods for safety-critical embedded software - flight warning computer case study
    Courty, P
    Hodgson, I
    [J]. ELECTRONIC ENGINEERING DESIGN, 2002, 74 (904): : 28 - +
  • [10] Hardware-software codesign of embedded systems
    Coelho, CJN
    da Silva, DC
    Fernandes, AO
    [J]. XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS, 1998, : 2 - 8