enter search term and/or author name
Editorial: Diversity Galore & A Call for Resilient, Sustainable and Secure System Design
Sandeep K. Shukla
Article No.: 118
Editorial: Special issue on real-time and embedded technology and applications
Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam
Article No.: 119
Explicit reservation of cache memory in a predictable, preemptive multitasking real-time system
Jack Whitham, Neil C. Audsley, Robert I. Davis
Article No.: 120
We describe and evaluate explicit reservation of cache memory to reduce the cache-related preemption delay (CRPD) observed when tasks share a cache in a preemptive multitasking hard real-time system. We demonstrate the approach using measurements...
MultiNets: A system for real-time switching between multiple network interfaces on mobile devices
Shahriar Nirjon, Angela Nicoara, Cheng-Hsin Hsu, Jatinder Pal Singh, John A. Stankovic
Article No.: 121
MultiNets is a system supporting seamless switch-over between wireless interfaces on mobile devices in real-time. MultiNets is configurable to run in three different modes: (i) Energy Saving mode--for choosing the interface that saves the...
Worst-case guarantees on a processor with temperature-based feedback control of speed
Pratyush Kumar, Lothar Thiele
Article No.: 122
On-chip temperatures continue to rise, in spite of design efforts towards more efficient cooling and novel low-power technologies. Run-time thermal management techniques, such as speed scaling and system throttling, constitute a standard component...
WCET analysis with MRU cache: Challenging LRU for predictability
Nan Guan, Mingsong Lv, Wang Yi, Ge Yu
Article No.: 123
Most previous work on cache analysis for WCET estimation assumes a particular replacement policy called LRU. In contrast, much less work has been done for non-LRU policies, since they are generally considered to be very unpredictable. However,...
With the advent of multicore architectures, worst-case execution time (WCET) analysis has become an increasingly difficult problem. In this article, we propose a unified WCET analysis framework for multicore processors featuring both shared cache...
Localization in wireless sensor networks is an important functionality that is required for tracking personnel and assets in industrial environments, especially for emergency response. Current commercial localization systems such as GPS suffer...
Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks
Huang-Ming Huang, Christopher Gill, Chenyang Lu
Article No.: 126
Traditional fixed-priority scheduling analysis for periodic and sporadic task sets is based on the assumption that all tasks are equally critical to the correct operation of the system. Therefore, every task has to be schedulable under the chosen...
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which...
With the advent of industrial standards such as WirelessHART, process industries are now gravitating towards wireless control systems. Due to limited bandwidth in a wireless network shared by multiple control loops, it is critical to optimize the...
Introduction to the Special Issue on Domain-Specific Multicore Computing
Vijaykrishnan Narayanan, Jürgen Teich
Article No.: 129
Exploring Energy Scalability in Coprocessor-Dominated Architectures for Dark Silicon
Qiaoshi Zheng, Nathan Goulding-Hotta, Scott Ricketts, Steven Swanson, Michael Bedford Taylor, Jack Sampson
Article No.: 130
As chip designers face the prospect of increasingly dark silicon, there is increased interest in incorporating energy-efficient specialized coprocessors into general-purpose designs. For specialization to be a viable means of leveraging dark...
This work discusses hardware architectural support for domain-specific accelerator-rich CMPs. First, we present a hardware resource management scheme for sharing of loosely coupled accelerators and arbitration of multiple requesting cores. Second,...
Hardware Acceleration for an Accurate Stereo Vision System Using Mini-Census Adaptive Support Region
Yi Shan, Yuchen Hao, Wenqiang Wang, Yu Wang, Xu Chen, Huazhong Yang, Wayne Luk
Article No.: 132
Domain of stereo vision is highly important in the fields of autonomous cars, video tolling, robotics, and aerial surveys. The specific feature of this domain is that we should handle not only the pixel-by-pixel 2D processing in one image but also...
Invasive Tightly-Coupled Processor Arrays: A Domain-Specific Architecture/Compiler Co-Design Approach
Frank Hannig, Vahid Lari, Srinivas Boppu, Alexandru Tanase, Oliver Reiche
Article No.: 133
We introduce a novel class of massively parallel processor architectures called invasive Tightly-Coupled Processor Arrays (TCPAs). The presented processor class is a highly parameterizable template which can be tailored before runtime to fulfill...
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages
Arvind K. Sujeeth, Kevin J. Brown, Hyoukjoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
Article No.: 134
Developing high-performance software is a difficult task that requires the use of low-level, architecture-specific programming models (e.g., OpenMP for CMPs, CUDA for GPUs, MPI for clusters). It is typically not possible to write a single...
Dynamic Behavior Specification and Dynamic Mapping for Real-Time Embedded Systems: HOPES Approach
Hanwoong Jung, Chanhee Lee, Shin-Haeng Kang, Sungchan Kim, Hyunok Oh, Soonhoi Ha
Article No.: 135
As the number of processors in a chip increases and more functions are integrated, the system status will change dynamically due to various factors such as the workload variation, QoS requirement, and unexpected component failure. A typical method...
Introduction to Special Issue on Cross-layer Dependable Embedded Systems
Nikil Dutt, Mehdi Tahoori
Article No.: 136
A Cross-Layer Reliability Design Methodology for Efficient, Dependable Wireless Receivers
Christina Gimmler-Dumont, Norbert Wehn
Article No.: 137
Continued progressive downscaling of CMOS technologies threatens the reliability of chips for future embedded systems. We developed a novel design methodology for dependable wireless communication systems which exploits the mutual trade-offs of...
OCEAN: An Optimized HW/SW Reliability Mitigation Approach for Scratchpad Memories in Real-Time SoCs
Mohamed M. Sabry, David Atienza, Francky Catthoor
Article No.: 138
Recent process technology advances trigger reliability issues that degrade the Quality-of-Service (QoS) required by embedded Systems-on-Chip (SoCs). To maintain the required QoS with acceptable overheads, we propose OCEAN, a novel cross-layer...
Thermal Optimization in Network-on-Chip-Based 3D Chip Multiprocessors Using Dynamic Programming Networks
Nizar Dahir, Ra'ed Al-Dujaily, Terrence Mak, Alex Yakovlev
Article No.: 139
The substantial silicon density in 3D VLSI, albeit its numerous advantages, introduces serious thermal threats that would lead to faults and system failures. This article introduces a new strategy to effectively diffuse heat from NoC-based 3D...
Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13)
Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-koutny
Article No.: 140
Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets
Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon
Article No.: 141
Join-Free Petri nets, whose transitions have at most one input place, model systems without synchronizations, while Choice-Free Petri nets, whose places have at most one output transition, model systems without conflicts. These classes...
Abstraction refinement techniques in probabilistic model checking are prominent approaches for verification of very large or infinite-state probabilistic concurrent systems. At the core of the refinement step lies the implicit or explicit analysis...
One of the difficulties in designing modern hardware systems is the necessity for comprehending and dealing with a very large number of system configurations, operational modes, and behavioural scenarios. It is often infeasible to consider and...
Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation
Reinhard Von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'brien, Partha Roop
Article No.: 144
Synchronous languages ensure determinate concurrency but at the price of restrictions on what programs are considered valid, or constructive. Meanwhile, sequential languages such as C and Java offer an intuitive, familiar programming...