3730 search results - page 134 / 746 » Robust design of embedded systems |
108
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
121
click to vote
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
102
Voted
ISI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Trusted software execution, prevention of code and data tampering, authentication, and providing a secure environment for software are some of the most important security...
132
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
109
click to vote
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...