Abstract.One of the main challenges of the design of object-based Distributed Multimedia Systems is to address the performance related issues such as the Quality of Service (QoS). The specification of QoS is a crucial part of architectural object-based methods such as Open Distributed Processing (ODP). In the ODP, a QoS property assigned to an object is modelled via two clauses of required and provided QoS statements, which specify the level of QoS required/provided by an object from/to its environment, respectively. An over-demanding QoS statement can be beyond the physical limitation of the system and might result in inconsistencies. In particular, to produce a correct design, it is crucial to study the effect of QoS statements of components on the overall behaviour of the system in earlier stages of the design. This paper develops a theory for the verification of Timeliness QoS properties such as Jitter, Throughput and Latency. The approach adopted is based on the idea of Test Automata. We shall present a formal definition of Timeliness QoS properties, which is used for the creation of Test Automata. Such Test Automata, which we shall refer to as QoS Timed Automata, can be used to verify the corresponding QoS Timeliness property. The method is illustrated by the verification of Throughput in a Video Player systems via the model checker UPPAAL.
S o m e methods f o r deriving protocol specifications f r o m given service specifications with time constraints have been proposed. However, existing methods cannot treat the class of service specifications with both parallel synchronization and data values. T h e y also assume that all clocks in the distributed system are synchronized. I n this paper, we propose a n algorithm to derive a correct protocol specification automatically f r o m a given service specification described in a n extended model of time Petri nets where the above restrictions are eliminated. Using our method, we will be free f r o m considering the details of communication delays o n the design of real-time distributed systems.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.