832 search results - page 128 / 167 » System-level development of embedded software |
DIAGRAMS
2004
Springer
14 years 4 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
FATES
2004
Springer
14 years 4 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 ...
GG
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
WORDS
2003
IEEE
14 years 3 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
EMSOFT
2003
Springer
14 years 3 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...