2523 search results - page 12 / 505 » Correct Development of Embedded Systems |
CSREAESA
2006
13 years 9 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
14 years 2 days 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
13 years 9 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
14 years 26 days 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
14 years 7 months ago
2008
IEEE-ACM
