115 search results - page 1 / 23 » Observability Analysis of Embedded Software for Coverage-Dir... |
ICCAD
2000
IEEE
13 years 9 months ago
2000
IEEE
CSMR
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
SEUS
2009
IEEE
13 years 11 months ago
2009
IEEE
IFIP
2000
Springer
13 years 8 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
EUROMICRO
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...