14360 search results - page 34 / 2872 » Time Modeling in MARTE |
TIME
2007
IEEE
14 years 3 months ago
2007
IEEE
ENTCS
2006
13 years 8 months ago
2006
models and full abstraction Gavin Lowe and Jo
RTAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
ACSD
2006
IEEE
14 years 2 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
FORTE
2010
13 years 10 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...