By Topic

Embedded Systems Letters, IEEE

Issue 3 • Date Sept. 2013

Filter Results

Displaying Results 1 - 14 of 14
  • Table of contents

    Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (150 KB)  
    Freely Available from IEEE
  • IEEE Embedded Systems Letters publication information

    Page(s): C2
    Save to Project icon | Request Permissions | PDF file iconPDF (120 KB)  
    Freely Available from IEEE
  • Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software

    Page(s): 29
    Save to Project icon | Request Permissions | PDF file iconPDF (92 KB)  
    Freely Available from IEEE
  • A Flexible Architecture for Managing Vehicle Sharing Systems

    Page(s): 30 - 33
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (434 KB) |  | HTML iconHTML  

    Vehicle sharing systems are the key to sustainable mobility. They need to possess adaptation features to answer the different user needs, and must be automated to avoid intermediaries between users and system. Finally, they must be based on a wide variety of vehicles and on an open ownership model to become a viable alternative to private vehicles. This letter presents the solution devised in the Green Move project to tackle this challenge. In particular, it focuses on the Green Move vehicle on-board units, for which a dedicated middleware is being developed. The middleware allows developers to create applications that can be dynamically loaded/unloaded while preserving the needed safety levels of the vehicle motion functions. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Security Layer for Smartphone-to-Vehicle Communication Over Bluetooth

    Page(s): 34 - 37
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (528 KB) |  | HTML iconHTML  

    Modern vehicles are increasingly being interconnected with computer systems, which collect information both from vehicular sources and Internet services. Unfortunately, this creates a nonnegligible attack surface, which extends when vehicles are partly operated via smartphones. In this letter, a hierarchically distributed control system architecture which integrates a smartphone with classical embedded systems is presented, and an ad-hoc, end-to-end security layer is designed to demonstrate how a smartphone can interact securely with a modern vehicle without requiring modifications to the existing in-vehicle network. Experimental results demonstrate the effectiveness of the approach. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded Systems

    Page(s): 38 - 41
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (576 KB) |  | HTML iconHTML  

    This letter introduces a novel application of model-based runtime monitoring of deeply embedded systems. The proposed framework comprises of a minimally intrusive, generic, software-based, runtime monitoring methodology for visualizing the behavior of deeply embedded systems in real-time. The model-based runtime monitoring results are then reused for generating model-based test cases. A prototype implementation of the proposed framework is discussed along with examples. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Efficient FPGA IP Core for Automatic Modulation Classification

    Page(s): 42 - 45
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (618 KB) |  | HTML iconHTML  

    This letter presents a new algorithm for automatic modulation classification (AMC) and its implementation and validation as an intellectual property (IP) core. AMC aims at accurately identifying the modulation scheme of a given communication system in a short period of time. The proposed IP core consists of a multiclass classifier composed by linear support vector machines and a new parameter extraction (front end) based on histograms. Based on its VHDL implementation and validation using FPGAs, the performance of the proposed system is compared with respect to accuracy and computational complexity to recently proposed AMC algorithms. The new AMC system does not require multipliers and achieves equivalent accuracy with respect to a baseline, while reducing by 50% and 90% the use of logic elements and memory, respectively. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of ACO-Based Selection with Backward-Ant Mechanism for Adaptive Routing in Network-on-Chip Systems

    Page(s): 46 - 49
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (626 KB) |  | HTML iconHTML  

    The Networks-on-Chip (NoC) provides regular and scalable design architecture for the chip multiprocessor (CMP) systems. The routing efficiency dominates the overall system performance because of more complex applications and network scaling. The Ant Colony Optimization (ACO) is a distributed collective-intelligence algorithm. The ACO-based selection scheme with Backward-Ant mechanism (ACO-BANT) can provide extra feedback congestion information compared with forward-ant mechanism. However, the storing and computation cost of BANT is too high for the NoC systems. In this work, we implement the ACO-BANT selection scheme with feasible cost on NoC. The simulation results show that the proposed scheme yields improvements in saturation throughput by 16.26% compared to the OBL selection. We also implement the router architecture of the proposed scheme, which has the highest improvement-to-overhead ratio. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving the Trustworthiness of Medical Device Software with Formal Verification Methods

    Page(s): 50 - 53
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (635 KB) |  | HTML iconHTML  

    Wearable and implantable medical devices are commonly used for diagnosing, monitoring, and treating various medical conditions. Increasingly complex software and wireless connectivity have enabled great improvements in the quality of care and convenience for users of such devices. However, an unfortunate side-effect of these trends has been the emergence of security concerns. In this letter, we propose the use of formal verification techniques to verify temporal safety properties and improve the trustworthiness of medical device software. We demonstrate how to bridge the gap between traditional formal verification and the needs of medical device software. We apply the proposed approach to cardiac pacemaker software and demonstrate its ability to detect a range of software vulnerabilities that compromise security and safety. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Xplore Digital Library

    Page(s): 54
    Save to Project icon | Request Permissions | PDF file iconPDF (1793 KB)  
    Freely Available from IEEE
  • Open Access

    Page(s): 55
    Save to Project icon | Request Permissions | PDF file iconPDF (1156 KB)  
    Freely Available from IEEE
  • Together, we are advancing technology

    Page(s): 56
    Save to Project icon | Request Permissions | PDF file iconPDF (398 KB)  
    Freely Available from IEEE
  • IEEE Embedded Systems Letters information for authors

    Page(s): C3
    Save to Project icon | Request Permissions | PDF file iconPDF (118 KB)  
    Freely Available from IEEE
  • [Blank page - back cover]

    Page(s): C4
    Save to Project icon | Request Permissions | PDF file iconPDF (5 KB)  
    Freely Available from IEEE

Aims & Scope

The IEEE EMBEDDED SYSTEMS LETTERS (ESL), provides a forum for rapid dissemination of latest technical advances in embedded systems and related areas in embedded software.

Full Aims & Scope

Meet Our Editors

EDITOR-IN-CHIEF
Krithi Ramamritham
Department of Computer Science and Engineering
Indian Institute of Technology Bombay

DEPUTY EDITOR-IN-CHIEF
Catherine Gebotys
Department of Electrical and Computer Engineering
University of Waterloo