332 search results - page 4 / 67 » Protocol Modelling Semantics for Embedded Systems |
SEUS
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
MEMOCODE
2003
IEEE
15 years 2 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
ICCAD
1998
IEEE
15 years 1 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
EUROMICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...