1105 search results - page 8 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
CBSE
2008
Springer
13 years 10 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
IFM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...