Issue Downloads
Variability-tolerant workload allocation for MPSoC energy minimization under real-time constraints
Sub-50nm CMOS technologies are affected by significant variability, which causes power and performance variations among nominally similar cores in MPSoC platforms. This undesired heterogeneity threatens execution predictability and energy efficiency. We ...
A high-throughput pipelined parallel architecture for JPEG XR encoding
JPEG XR is an emerging image coding standard, based on HD Photo developed by Microsoft Corporation. It supports high compression performance twice as high as the de facto image coding system, namely, JPEG, and also has an advantage over JPEG 2000 in ...
xTune: A formal methodology for cross-layer tuning of mobile embedded systems
Resource-limited mobile embedded systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative tuning using lightweight formal verification at runtime with feedback for dynamic adaptation. ...
A passivity approach for model-based compositional design of networked control systems
- Xenofon Koutsoukos,
- Nicholas Kottenstette,
- Joseph Hall,
- Emeka Eyisi,
- Heath Leblanc,
- Joseph Porter,
- Janos Sztipanovits
The integration of physical systems through computing and networking has become pervasive, a trend now known as cyber-physical systems (CPS). Functionality in CPS emerges from the interaction of networked computational and physical objects. System ...
Control-theoretic cyber-physical system modeling and synthesis: A case study of an active direct methanol fuel cell
A joint optimization of the physical system and the cyber world is one of the key problems in the design of a cyber-physical system (CPS). The major mechanical forces and/or chemical reactions in a plant are commonly modified by actuators in the balance-...
System-level approach to the design of a smart distributed surveillance system using systemj
Distributed surveillance systems represent a class of sensor networks used for object location and tracking, road traffic monitoring, security, and other purposes. They are very complex to describe, design, and run. Because of their sensitivity, they ...
Implementing constrained cyber-physical systems with IEC 61499
Cyber-physical systems (CPS) are integrations of computation and control with sensing and actuation of the physical environment. Typically, such systems consist of embedded computers that monitor and control physical processes in a feedback loop. While ...
A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes
Cyber-physical systems (CPS) are large, distributed embedded systems integrated with various sensors and actuators. CPS are rapidly emerging as an important computing paradigm in many modern applications. Developing CPS applications is currently ...
Adaptive calibration for fusion-based cyber-physical systems
Many Cyber-Physical Systems (CPS) are composed of low-cost devices that are deeply integrated with physical environments. As a result, the performance of a CPS system is inevitably undermined by various physical uncertainties, which include stochastic ...
Modeling towards incremental early analyzability of networked avionics systems using virtual integration
With the advance of hardware technology, more features are incrementally added to already existing networked systems. Avionics has a stronger tendency to use preexisting applications due to its complexity and scale. As resource sharing becomes intense ...
Robust architectures for embedded wireless network control and actuation
Networked cyber-physical systems are fundamentally constrained by the tight coupling and closed-loop control of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to rethink the communication ...
Overload provisioning in mixed-criticality cyber-physical systems
Cyber-physical systems are an emerging class of applications that require tightly coupled interaction between the computational and physical worlds. These systems are typically realized using sensor/actuator interfaces connected with processing ...
Conformance testing for cyber-physical systems
Cyber-Physical Systems (CPS) require a high degree of reliability and robustness. Hence it is important to assert their correctness with respect to extra-functional properties, like power consumption, temperature, etc. In turn the physical quantities ...
Optimization of task allocation and priority assignment in hard real-time distributed systems
The complexity and physical distribution of modern active safety, chassis, and powertrain automotive applications requires the use of distributed architectures. Complex functions designed as networks of function blocks exchanging signal information are ...
Adaptive real-time scheduling for legacy multimedia applications
Multimedia applications are often executed on standard personal computers. The absence of established standards has hindered the adoption of real-time scheduling solutions in this class of applications. Developers have adopted a wide range of heuristic ...
Robust image processing for an omnidirectional camera-based smart car door
Over the last decade, there has been an increasing emphasis on driver-assistance systems for the automotive domain. In this article, we report our work on designing a camera-based surveillance system embedded in a “smart” car door. Such a camera is used ...
Combining code reordering and cache configuration
The instruction cache is a popular optimization target due to the cache's high impact on system performance and power and because of the cache's predictable temporal and spatial locality. This article is an in depth study on the interaction of code ...
Enabling dynamic binary translation in embedded systems with scratchpad memory
Important challenges for embedded systems can be addressed by dynamic binary translation. A dynamic binary translator stores translated instructions in a software-managed code cache, which is usually large to minimize overhead. This article shows how to ...