Sciweavers

7766 search results - page 80 / 1554
» Testing Nondeterminate Systems
Sort
View
ICRA
1999
IEEE
90views Robotics» more  ICRA 1999»
14 years 1 months ago
Testing and Analysis of a Flexible Feeding System
Flexible parts feeding techniques have recently begun to gain industry acceptance. However, one barrier to effective flexible feeding solutions is a dearth of knowledge of the und...
Greg C. Causey, Roger D. Quinn, Michael S. Branick...
ET
2006
72views more  ET 2006»
13 years 9 months ago
Optimization of Test/Diagnosis/Rework Location(s) and Characteristics in Electronic System Assembly
In this paper, an optimization methodology is used to select the locations and characteristics of test, diagnosis and rework operations in electronic systems assembly processes. Re...
Zhen Shi, Peter Sandborn
DAC
2008
ACM
14 years 10 months ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
DATE
2010
IEEE
132views Hardware» more  DATE 2010»
14 years 2 months ago
A systematic approach to the test of combined HW/SW systems
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
Alexander Krupp, Wolfgang Müller 0003
ICST
2008
IEEE
14 years 3 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer