1105 search results - page 9 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
131
click to vote
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
118
click to vote
HYBRID
1995
Springer
15 years 6 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
135
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
161
Voted
EUROMICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
114
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...