2523 search results - page 2 / 505 » Correct Development of Embedded Systems |
ECBS
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
ECBS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
CEJCS
2011
12 years 4 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...