385 search results - page 39 / 77 » Verified Code Generation for Embedded Systems |
136
click to vote
COMSWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
223
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
137
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
103
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
135
click to vote
CODES
2010
IEEE
14 years 12 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...