502 search results - page 64 / 101 » Model Checking Timed Systems with Priorities |
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
IEAAIE
2007
Springer
14 years 2 months ago
2007
Springer
The process scheduling aims to arrange CPU time to multiple processes for providing users with more efficient throughput. Except the class of process set by user, conventional oper...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
PRDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Supporting high availability by checkpointing and switching to a backup upon failure of a primary has a cost. Trade-off studies help system architects to decide whether higher ava...