2523 search results - page 12 / 505 » Correct Development of Embedded Systems |
CSREAESA
2006
14 years 11 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
LCTRTS
2001
Springer
15 years 2 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
FORTE
1998
14 years 11 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
This paper describes the design and implementation of an embedded-type XML storage and retrieval system which is built on top of relational databases. The proposed system stores ea...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
