Sciweavers

277 search results - page 1 / 56
» Program Spectra Analysis in Embedded Software: A Case Study
Sort
View
CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 4 months ago
Program Spectra Analysis in Embedded Software: A Case Study
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
ECBS
2007
IEEE
119views Hardware» more  ECBS 2007»
13 years 11 months ago
Diagnosis of Embedded Software Using Program Spectra
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J...
CODES
2007
IEEE
13 years 11 months ago
Ensuring secure program execution in multiprocessor embedded systems: a case study
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
Krutartha Patel, Sridevan Parameswaran, Seng Lin S...
TSE
2011
214views more  TSE 2011»
12 years 11 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ISSS
2002
IEEE
124views Hardware» more  ISSS 2002»
13 years 9 months ago
Timing Analysis of Embedded Software for Speculative Processors
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
Abhik Roychoudhury, Xianfeng Li, Tulika Mitra