Sciweavers

74 search results - page 1 / 15
» Tracing interrupts in embedded software
Sort
View
LCTRTS
2009
Springer
13 years 10 months ago
Tracing interrupts in embedded software
Giovani Gracioli, Sebastian Fischmeister
EMSOFT
2005
Springer
13 years 9 months ago
Random testing of interrupt-driven software
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
John Regehr
TASE
2009
IEEE
13 years 10 months ago
Environmental Simulation of Real-Time Systems with Nested Interrupts
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
Guoqiang Li, Shoji Yuen, Masakazu Adachi
APSEC
2005
IEEE
13 years 9 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
VEE
2012
ACM
269views Virtualization» more  VEE 2012»
11 years 11 months ago
SimTester: a controllable and observable testing framework for embedded systems
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
Tingting Yu, Witawas Srisa-an, Gregg Rothermel