enter search term and/or author name
Editorial: Languages, compilers, and tools for embedded systems
Zhiyuan Li, Santosh Pande
Article No.: 25
Publisher Note: This Guest Editorial by Li and Pande describes a number of related articles originally intended as a special issue but which were published in earlier issues as follows:
The demand for flexible embedded solutions and short time-to-market has led to the development of extensible processors that allow for customization through user-defined instruction set extensions (ISEs). These are usually identified from plain C...
Compiler-assisted soft error detection under performance and energy constraints in embedded systems
Jie Hu, Feihui Li, Vijay Degalahal, Mahmut Kandemir, N. Vijaykrishnan, Mary J. Irwin
Article No.: 27
Soft errors induced by terrestrial radiation are becoming a significant concern in architectures designed in newer technologies. If left undetected, these errors can result in catastrophic consequences or costly maintenance problems in different...
An efficient placement and routing technique for fault-tolerant distributed embedded computing
Roozbeh Jafari, Hassan Ghasemzadeh, Foad Dabiri, Ani Nahapetian, Majid Sarrafzadeh
Article No.: 28
This article presents an efficient technique for placement and routing of sensors/actuators and processing units in a grid network. The driver application that we present is a medical jacket, which requires an extremely high level of robustness...
Actor-oriented components emphasize concurrency and temporal semantics and are used for modeling and designing embedded software and hardware. Actors interact with one another through ports via a messaging schema that can follow any of several...
SystemC/C-based model-driven design for embedded systems
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
Article No.: 30
This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming...
Minimizing CPU energy in real-time systems with discrete speed management
Enrico Bini, Giorgio Buttazzo, Giuseppe Lipari
Article No.: 31
This article presents a general framework to analyze and design embedded systems minimizing the energy consumption without violating timing requirements. A set of realistic assumptions is considered in the model in order to apply the results in...
Functional test generation using design and property decomposition techniques
Heon-Mo Koo, Prabhat Mishra
Article No.: 32
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design methodology. Simulation using functional test vectors is the most widely used form of processor validation. A...