3516 search results - page 74 / 704 » Integrating Security Modeling into Embedded System Design |
CSREAESA
2003
13 years 10 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
ATS
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
With the popularity of wireless communication devices a new important dimension of embedded systems design has arisen, that of security. This paper presents for the first time des...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
DSN
2003
IEEE
14 years 2 months ago
2003
IEEE
The DepAuDE architecture provides middleware to integrate fault tolerance support into distributed embedded automation applications. It allows error recovery to be expressed in te...