385 search results - page 23 / 77 » Verified Code Generation for Embedded Systems |
145
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
106
Voted
DASIP
2010
14 years 8 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
105
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
78
Voted
IAT
2005
IEEE
15 years 7 months ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
128
click to vote
SEUS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...