4930 search results - page 114 / 986 » Testing a Safety-Critical Application |
146
click to vote
DFT
2009
IEEE
15 years 12 months ago
2009
IEEE
This paper presents the first implementation of Built-In Self-Test (BIST) of Field Programmable Gate Arrays (FPGAs) using a soft core embedded processor for reconfiguration of the...
158
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
119
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
137
click to vote
SIGPRO
2002
15 years 4 months ago
2002
In this paper, we investigate applicability of statistical techniques for defect detection in radiographic images of welds. The defect detection procedure consists in a statistica...
162
click to vote
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...