1105 search results - page 8 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
146
Voted
CBSE
2008
Springer
15 years 4 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...
107
Voted
IFM
2009
Springer
15 years 9 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, ...
119
Voted
SPIN
2004
Springer
15 years 8 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...
115
Voted
ISORC
2007
IEEE
15 years 8 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...