enter search term and/or author name
Editorial: Science of the Big and Small and Embedded Computing Systems
Sandeep K. Shukla
Article No.: 21e
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems
Sara Vinco, Christian Pilato
Article No.: 22e
Toward Smart Embedded Systems: A Self-aware System-on-Chip (SoC) Perspective
Nikil Dutt, Axel Jantsch, Santanu Sarma
Article No.: 22
Embedded systems must address a multitude of potentially conflicting design constraints such as resiliency, energy, heat, cost, performance, security, etc., all in the face of highly dynamic operational behaviors and environmental conditions. By...
Learning Hardware-Friendly Classifiers Through Algorithmic Stability
Luca Oneto, Sandro Ridella, Davide Anguita
Article No.: 23
Most state-of-the-art machine-learning (ML) algorithms do not consider the computational constraints of implementing the learned model on embedded devices. These constraints are, for example, the limited depth of the arithmetic unit, the memory...
Adaptive and Hierarchical Runtime Manager for Energy-Aware Thermal Management of Embedded Systems
Anup Das, Bashir M. Al-Hashimi, Geoff V. Merrett
Article No.: 24
Modern embedded systems execute applications, which interact with the operating system and hardware differently depending on the type of workload. These cross-layer interactions result in wide variations of the chip-wide thermal profile. In this...
A Real-Time FPGA-Based Accelerator for ECG Analysis and Diagnosis Using Association-Rule Mining
Xiaoqi Gu, Yongxin Zhu, Shengyan Zhou, Chaojun Wang, Meikang Qiu, Guoxing Wang
Article No.: 25
Telemedicine provides health care services at a distance using information and communication technologies, which intends to be a solution to the challenges faced by current health care systems with growing numbers of population, increased demands...
Real-Time Reachability for Verified Simplex Design
Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha
Article No.: 26
The Simplex architecture ensures the safe use of an unverifiable complex/smart controller by using it in conjunction with a verified safety controller and verified supervisory controller (switching logic). This architecture enables the safe use of...
Near-Static Shading Exploration for Smart Photovoltaic Module Topologies Based on Snake-like Configurations
Maria-Iro Baka, Francky Catthoor, Dimitrios Soudris
Article No.: 27
Variable shading due to clouds and nearby objects has a severe impact on the energy yield of photovoltaic installations. Due to the industry's standard of permanently series-connected cells in a photovoltaic (PV) module, partial shading creates...
In this article, we describe RQNoC, a service-oriented Network-on-Chip (NoC) resilient to permanent faults. We characterize the network resources based on the particular service that they support and, when faulty, bypass them, allowing the...
Guest Editorial: Special Issue on Models and Methodologies for System Design
Paolo Ienne, Jean-Pierre Talpin
Article No.: 29
On Memory Reuse Between Inputs and Outputs of Dataflow Actors
Karol Desnos, Maxime Pelcat, Jean-François Nezan, Slaheddine Aridhi
Article No.: 30
This article introduces a new technique to minimize the memory footprints of Digital Signal Processing (DSP) applications specified with Synchronous Dataflow (SDF) graphs and implemented on shared-memory Multiprocessor System-on-Chip (MPSoCs). In...
Building abstract system-level models that faithfully capture performance and functional behavior for embedded systems design is challenging. Unlike functional aspects, performance details are rarely available during the early design phases, and...
Designing Parameterizable Hardware IPs in a Model-Based Design Environment for High-Level Synthesis
Shahzad Ahmad Butt, Mehdi Roozmeh, Luciano Lavagno
Article No.: 32
Model-based hardware design allows one to map a single model to multiple hardware and/or software architectures, essentially eliminating one of the major limitations of manual coding in C or RTL. Model-based design for hardware implementation has...
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
Article No.: 33
In distributed development of modern systems, contracts play a vital role in ensuring interoperability of components and adherence to specifications. It is therefore often desirable to verify the satisfaction of an overall property represented as...
Guest Editorial: Challenges of Embedded Systems as They Evolve into M2M, Internet of Things
Seungmin Rho, Wenny Rahayu, Geyong Min
Article No.: 34
A System-Level Modeling and Design for Cyber-Physical-Social Systems
Jing Zeng, Laurence T. Yang, Jianhua Ma
Article No.: 35
The design of cyber-physical-social systems (CPSS) is a novel and challenging research field due that it emphasizes the deep fusion of cyberspace, physical space, and social space. In this article, we extend our previously proposed system-level...
With the urban development and enlargement, various regions such as residential zones and administrative districts now appear as parts of cities. People exhibit different mobility patterns in each region, which is closely relevant to region-wide...
In this article, we address the problem of how to make the wireless device-to-device (D2D) video multicast systems have better quality provision with consideration of internet-of-things (IoT) applications. We propose an opportunistic transmission...
A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks
Lu Liu, Nick Antonopoulos, Minghui Zheng, Yongzhao Zhan, Zhijun Ding
Article No.: 38
The new development of embedded systems has the potential to revolutionize our lives and will have a significant impact on future Internet of Thing (IoT) systems if required services can be automatically discovered and accessed at runtime in...
An Efficient Multidimensional Big Data Fusion Approach in Machine-to-Machine Communication
Awais Ahmad, Anand Paul, Mazhar Rathore, Hangbae Chang
Article No.: 39
Machine-to-Machine communication (M2M) is nowadays increasingly becoming a world-wide network of interconnected devices uniquely addressable, via standard communication protocols. The prevalence of M2M is bound to generate a massive volume of...
Unified Medium Access Control Architecture for Resource-Constrained Machine-to-Machine Devices
Eui-Jik Kim, Jung-Hyok Kwon, Ken Choi, Taeshik Shon
Article No.: 40
In capillary machine-to-machine (M2M) communications, which is being considered as a feasible network solution for M2M applications, because of physical resource constraints and deployment conditions, an energy-efficient and scalable medium access...