2523 search results - page 12 / 505 » Correct Development of Embedded Systems |
152
Voted
CSREAESA
2006
15 years 4 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...
122
Voted
LCTRTS
2001
Springer
15 years 7 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...
114
Voted
FORTE
1998
15 years 4 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...
130
Voted
CAISE
2003
Springer
15 years 8 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...
97
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
