IEEE Design&Test Vol. 35, Issue 2
-
Speaker:
Special Issue on Time-Critical Systems Design
- Location:
- Date: March/April
Magazine
Volume 35, Issue 2 (March/April)
|
|
Highlights
|
March/April 2018 Content
From the EIC
| • | Time-Critical Systems Design |
| View full article (PDF). |
Time-Critical Systems Design
| • | Guest Editors’ Introduction: Special Issue on Time-Critical Systems Design |
| View full article (PDF). |
| • | Time-Critical Systems Design: A Survey |
| Time-critical computing systems are enablers for various important application domains, like avionics, automotive, spacecraft, IoT etc. read more View full article (PDF). |
| • | For Safety’s Sake: We Need a New Hardware-Software Contract! |
| This article argues that the hardware-software contract exposed through instruction-set architecture should be extended for time-critical systems design. read more View full article (PDF). |
| • | Mixed-Criticality Scheduling Theory: Scope, Promise, and Limitations |
| This article provides a brief introduction to the mixed-criticality scheduling theory clearly demarcating its scope and limitations. read more. View full article (PDF). |
| • | A Multicore Processor for Time-Critical Applications |
| This article presents T-CREST many-core architecture specially designed and optimized for time-critical systems. read more View full article (PDF). |
| • | Reconciling Time Predictability and Performance in Future Computing Systems |
| This article presents hardware design approaches to achieve predictability with measurement-based timing analysis. read more View full article (PDF). |
| • | Predictability Analysis of Interruptible Systems by Statistical Model Checking |
| This article proposes a model comprising of a network of stochastic timed automata for predictability analysis of interruptible systems via statistical model checking. read more View full article (PDF). |
Keynote Paper
| • | What Is Real Time Computing? A Personal View |
| This article makes the case for embracing temporal properties as an integral part of the modeling paradigm in cyber-physical systems design. read more View full article (PDF). |
Survey Paper
| • | Protection Against Hardware Trojans With Logic Testing: Proposed Solutions and Challenges Ahead |
| Hardware Trojans have emerged as an insidious problem in the global electronics supply chain. read more View full article (PDF). |
General Interest Papers
| • | Q-Learning-Based Voltage-Swing Tuning and Compensation for 2.5-D Memory-Logic Integration |
| In this paper, an efficient I/Q management with Q-learning-based transmitter swing adjustment and receiver compensation is developed for energy-efficient 2.5-D memory-logic integration. read more View full article (PDF). |
Departments
| • | Report on the 2017 International Conference on Computer-Aided Design (ICCAD) |
| View full article (PDF). |
| • | Report on 2017 IEEE Asian Test Symposium |
| View full article (PDF). |
| • | Real Time, Real People |
| View full article (PDF). |
