660 search results - page 2 / 132 » Timed automata based analysis of embedded system architectur... |
EMSOFT
2009
Springer
13 years 11 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...
VLSID
2003
IEEE
13 years 10 months ago
2003
IEEE
— This paper reports a cryptosystem designed for security of embedded systems. It is based on the theory of Cellular Automata(CA). The Cellular Automata based Cryptosystem(CAC) e...
RTAS
2006
IEEE
13 years 11 months ago
2006
IEEE
WCET
2008
13 years 6 months ago
2008
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...