1022 search results - page 105 / 205 » The Modelling of Embedded Systems Using HASoC |
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
RTAS
2008
IEEE
14 years 4 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
ICESS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
WORDS
2003
IEEE
14 years 3 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...