23 search results - page 2 / 5 » Analytic real-time analysis and timed automata: a hybrid met... |
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
ENTCS
2007
13 years 8 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
HASE
1999
IEEE
14 years 25 days ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
FORMATS
2007
Springer
14 years 12 days ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...