Learn More
Timing analysis is a collection of mathematically based techniques that enable a system, together with its software, to be analysed off-line without the need for system execution. The result of applying the analysis, is a set of guarantees regarding the worst-case behaviour of the system – under normal system operation, these worst-case guarantees will be(More)
Over the past years, Mobile ad-hoc networks (MANETs) have attracted a considerable degree of research attention, with service discovery, selection and invocation being among the topics of interest of previous efforts. In this paper we introduce ADDER, a probabilistic, hybrid, directory-less service discovery mechanism. It has been designed for military(More)
The original 429 standard, defining a uni-directional broadcast databus (single transmitter, multiple receivers), has been used extensively in the civil aircraft field, notably by Boeing on the 757 and 767 and also by Airbus. Research and development work carried out by Boeing in the form of the DATAC (Digital Autonomous Terminal Access Communication)(More)
This paper presents a comprehensive system modeling and analysis approach for both predicting and controlling queuing delay at an expected value under multi-class traffic in a single buffer. This approach could effectively enhance QoS delivery for delay sensitive applications. Six major contributions are given in the paper: (1) a discrete-time analytical(More)
This paper proposes a timing analysis technique that gives practical support to the industrial systems engineering process for large-scale, distributed real-time systems. The technique, known as reservation-based timing analysis (RBA), gives support throughout the lifecycle of the system, from the early stages of system development through to implementation(More)
Delay is arguably one of the most vital Quality of Service (QoS) metrics in computer networks since it has many implications for real time multimedia applications. The congestion and queuing delay of Internet core routers is one of the most important fundamental research topics which plays a vital role in determination of the overall end-to-end delay. In(More)
This paper presents a comprehensive analytical approach to maintain queuing delay in a router at a required level through closed-loop feedback control under aggregated traffic flows from various traffic classes. The approach is able to bound average queuing delay but still achieve a high system utilization by regulating traffic arrival rate implicitly(More)
There is growing recognition within industry that for system growth to be sustainable, the way in which existing assets are used must be improved. Future systems are being developed with a desire for dynamic behaviour and a requirement for dependability at mission critical and safety critical levels. These levels of criticality require predictable(More)