Specifying and analysing multimedia systems
Formal methods for distributed processing
General distributions in process algebra
Lectures on formal methods and performance analysis
Modeling Reactive Multimedia: Events and Behaviors
Multimedia Tools and Applications
Adaptive Multimedia Presentation Strategies
Multimedia Tools and Applications
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
MPGS: An Interactive Tool for the Specification and Generation of Multimedia Presentations
IEEE Transactions on Knowledge and Data Engineering
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Specification and verification of multimedia synchronization in duration calculus
Journal of Computer Science and Technology
Research: Specification, validation, and verification of time-critical systems
Computer Communications
An approach to communicating process modeling of MARTE
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
| Hi-index | 0.07 |
Timed communicating sequential processes (TCSP) language is used to specify fine-grain and coarse-grain multimedia synchronization. A lip synchronization system is an example of fine-grain synchronization. Several groupware scenarios are examples of coarse-grain synchronization. The formal specifications are used as the basis of verification and simulation. Safety and liveness timing requirements of the synchronization system are stated in terms of temporal logic formulas. Correctness analysis of the specification is shown using the temporal formulas and TCSP proof theory. It is shown that TCSP is powerful enough to be used in multimedia system design and verification. Next, simulation of multimedia synchronization is discussed. Various simulation models are developed for fine- and coarse-grain synchronization systems. It is shown that simulation modeling can lead to early detection of possible synchronization violations. The buffering requirements of a given synchronization mechanism can be effectively studied using simulation