332 search results - page 8 / 67 » Protocol Modelling Semantics for Embedded Systems |
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
SRDS
2000
IEEE
15 years 1 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
SOCIALCOM
2010
14 years 7 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...