4930 search results - page 350 / 986 » Testing a Safety-Critical Application |
176
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
134
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract - This paper addresses the issue of the stimulation of charge-pump phase-locked loops for built-in selftest applications. It is shown that three nodes of the PLL qualify f...
209
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
178
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
161
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...