2523 search results - page 168 / 505 » Correct Development of Embedded Systems |
117
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
126
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
126
Voted
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
107
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
137
Voted
ICONS
2009
IEEE
15 years 11 days ago
2009
IEEE
The aim of this paper is to address the problem of correctly dimensioning real-time embedded systems. It is well known that computers which control systems are greatly affected by...