Sciweavers

11172 search results - page 173 / 2235
» Testing Physical Systems
Sort
View
DATE
2010
IEEE
132views Hardware» more  DATE 2010»
15 years 11 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
16 years 27 days 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
DSD
2007
IEEE
119views Hardware» more  DSD 2007»
16 years 25 days ago
Online Protocol Testing for FPGA Based Fault Tolerant Systems
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
Jiri Tobola, Zdenek Kotásek, Jan Korenek, T...
IOLTS
2000
IEEE
84views Hardware» more  IOLTS 2000»
15 years 11 months ago
Self-Testing of FPGA Delay Faults in the System Environment
We propose a procedure for self-testing of an FPGA programmed to implement a user-defined function. The procedure is intended to improve the detectability of FPGA delay faults. Th...
Andrzej Krasniewski
ICFEM
2005
Springer
16 years 2 hour ago
Testing Real-Time Multi Input-Output Systems
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
Laura Brandán Briones, Ed Brinksma