660 search results - page 2 / 132 » Timed automata based analysis of embedded system architectur... |
EMSOFT
2009
Springer
14 years 5 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
14 years 4 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
14 years 4 months ago
2006
IEEE
WCET
2008
14 years 9 days 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
14 years 4 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...