1105 search results - page 8 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
CBSE
2008
Springer
14 years 11 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...
69
Voted
IFM
2009
Springer
15 years 4 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, ...
83
Voted
SPIN
2004
Springer
15 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
15 years 3 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...