487 search results - page 82 / 98 » Schedulability analysis of AADL models |
ICW
2005
IEEE
14 years 3 months ago
2005
IEEE
A QoS provisioned CIOQ switch using crossbar structure with m parallel lines per output port is proposed in this paper. The packets at input buffers are transferred to the output ...
ECRTS
2003
IEEE
14 years 3 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
ADAEUROPE
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
TASE
2010
IEEE
13 years 4 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...