385 search results - page 2 / 77 » Verified Code Generation for Embedded Systems |
CL
2008
Springer
13 years 5 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
RTAS
2009
IEEE
13 years 12 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
FM
2003
Springer
13 years 10 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
SEUS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
SAC
2004
ACM
13 years 10 months ago
2004
ACM
This paper presents specialized code generation techniques and runtime optimizations for developing light-weight XML Web services for embedded devices. The optimizations are imple...