16 search results - page 1 / 4 » Software architecture using fine-grained event-driven reacti... |
FPGA
1999
ACM
13 years 9 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
ISORC
2005
IEEE
13 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ICDCSW
2002
IEEE
13 years 9 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
SAC
2003
ACM
13 years 10 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
DEBS
2007
ACM
13 years 8 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...