Sciweavers

4305 search results - page 53 / 861
» The Test of Time
Sort
View
SERA
2007
Springer
15 years 12 months ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
15 years 9 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
COMPSAC
2004
IEEE
15 years 9 months ago
Mutation-Based Testing Criteria for Timeliness
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
Robert Nilsson, Jeff Offutt, Sten F. Andler
ICCAD
2006
IEEE
95views Hardware» more  ICCAD 2006»
16 years 2 months ago
Timing model reduction for hierarchical timing analysis
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
Shuo Zhou, Yi Zhu, Yuanfang Hu, Ronald L. Graham, ...
ITC
2003
IEEE
93views Hardware» more  ITC 2003»
15 years 11 months ago
Hybrid Multisite Testing at Manufacturing
This paper deals with Hybrid multisite testing of VLSI chips by utilizing automatic test equipment (ATE) in connection with built-in self-test (BIST). The performance of a multisi...
Hamidreza Hashempour, Fred J. Meyer, Fabrizio Lomb...