EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
NAND flash-based storage is widely used in embedded systems due to its numerous benefits: low cost, high density, small form factor and so on. However, NAND flash-based storage is...
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...