FORMAL SPECIFICATION AND PROTOTYPING OF MULTIMEDIA APPLICATIONS

2000 ◽  
Vol 10 (04) ◽  
pp. 377-409 ◽  
Author(s):  
TIMOTHY ARNDT ◽  
SHI-KUO CHANG ◽  
ANGELA GUERCIO
Keyword(s):  
Formal Specification ◽  
User Interaction ◽  
Knowledge Structure ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
System Specification ◽  
Validation And Verification ◽  
Multimedia Object ◽  
Efficient Communication ◽  
Specification Methodology

Multimedia systems incorporating hyperlinks and user interaction can be prototyped using TAOML, an extension of HTML. TAOML is used to define a Teleaction Object (TAO) which is a multimedia object with associated hypergraph structure and knowledge structure The hypergraph structure supports the effective presentation and efficient communication of multimedia information. In this paper, a formal specification methodology for TAOs using Symbol Relation (SR) grammars is described. An attributed SR grammar is then introduced in order to associate knowledge with the TAO. The limitations to achieve an efficient parser are given. The grammatical formalism allows for validation and verification of the system specification. This methodology provides a principled approach to specify, verify, validate and prototype multimedia applications.

End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software

2013 ◽  
Vol 7 (4) ◽  
pp. 632-641 ◽  
Author(s):  
Miriam C. Bergue Alves ◽  
Doron Drusinsky ◽  
James Bret Michael ◽  
Man-Tak Shing
Keyword(s):  
Space Flight ◽  
Formal Specification ◽  
Validation And Verification ◽  
End To End ◽  
Verification Process

Group Synchronization for Multimedia Systems

2019 ◽  
pp. 229-241
Author(s):  
Dimitris N. Kanellopoulos
Keyword(s):  
Multimedia Information ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
Future Research ◽  
Research Directions ◽  
Media Synchronization ◽  
Future Research Directions ◽  
Group Synchronization

Group or inter-destination media synchronization (IDMS) addresses the presentation of a stream at all the receivers of a group, simultaneously. To ensure synchronized delivery of multimedia information, intelligent synchronization protocols/techniques are required. This chapter illustrates various issues on intra- and inter-media synchronization and presents the basic schemes for inter-destination media synchronization (IDMS). It presents in short IDMS standardization efforts and novel solutions for new multimedia applications. Finally, it outlines future research directions for multimedia group synchronization.

Efficient Transport Bindings for Web Service Messages

2011 ◽  
pp. 83-109
Author(s):  
Christian Werner ◽  
Carsten Buschmann ◽  
Tobias Jäcker ◽  
Stefan Fischer
Keyword(s):  
Theoretical Analysis ◽  
Web Service ◽  
Mobile Communication ◽  
Experimental Measurement ◽  
User Interaction ◽  
Low Latency ◽  
Ip Multicast ◽  
Measurement Results ◽  
Efficient Communication ◽  
Latency Analysis

Although Web service technology is being used in more and more distributed systems, its areas of application are inherently limited by high latencies and high amounts of protocol overhead. For messaging in environments with user interaction, like Web platforms for business or multimedia applications, the response time of the whole system needs to be kept in tight boundaries. In other scenarios comprising mobile communication and battery-powered devices, bandwidth-efficient communication is imperative. In this chapter we address both of these issues. First we conduct a detailed latency analysis of different transport mechanisms for SOAP and then we thoroughly investigate their protocol overhead. For both aspects we present a theoretical analysis as well as experimental measurement results. We then will introduce a new transport binding called PURE that significantly reduces the protocol overhead while featuring low latency. Furthermore it enables interesting additional features such as point-to-multipoint communication via IP multicast and broadcast.

MODELING AND ANALYSIS OF EMBEDDED MULTIMEDIA APPLICATIONS USING COLORED PETRI NETS

2011 ◽  
Vol 02 (02) ◽  
pp. 169-193 ◽  
Author(s):  
SOUMYAJIT DEY ◽  
PRAVEEN ROKKAM ◽  
ANUPAM BASU
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
Modeling Technique ◽  
Multiprocessor System ◽  
Multiple Time ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
On Chip

Embedded multimedia systems often run multiple time-constrained applications simultaneously. To meet the throughput constraints given in the specification, each application must be provided with enough resources by the underlying architecture, which is generally a multiprocessor system-on-chip (MPSoC). For this purpose, a mechanism for task binding and scheduling is required to provide each application with a timing guarantee, keeping in mind the available resources like processor(s) and memory bandwidth. Commonly, synchronous dataflow graphs (SDFGs) are used to model time-constrained multimedia applications. There are resource allocation strategies for SDFGs that help in formulating efficient techniques for calculating the throughput of a bounded and scheduled SDFG. The strategies are effective in terms of run-time and allocated resources. However, there is no unified modeling technique to simultaneously represent the application and the underlying architecture with resource allocation. This paper discusses a novel modeling technique using Colored Timed Petri Nets (CTPNs), which can be used to model the application as well as the architecture and the resource allocation. Such a representation helps in checking properties like liveness and boundedness for the application, taking into account the resource allocation and thus helping in defining satisfactory schedules for the executable tasks.

ANN Based Approach to Integrate Smell Sense in Multimedia Systems

2011 ◽  
Vol 2 (3) ◽  
pp. 14-23
Author(s):  
Yousif Al-Bastaki ◽  
Khalid A. Al-Mutawah
Keyword(s):  
Neural Network ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
Classification Method ◽  
Sensing System ◽  
On Line ◽  
Consistent Method ◽  
Line Classification ◽  
Wide Usage

Despite the wide usage of multimedia in several applications, research in the field of olfaction is immature in helping humans work and communicate through multi-sensory interfaces, including smell. There is no consistent method of testing user capability of smell. Therefore, smell detection and generation systems are not well integrated into today’s multimedia systems. In this paper, the authors propose an odor sensing system with the capability of the discrimination among closely similar 20 different odor patterns and propose an on-line classification method using a handheld odor meter (OMX-GR sensor) and neural network that can be used in different multimedia applications. The proposed system is integrated to enhance the functionality of an online multimedia shopping system that is capable of selling products with visual and auditory senses.

SCI Lamp for Multimedia Applications

1994 ◽  
Author(s):  
Qiang Li
Keyword(s):  
Fundamental Problem ◽  
Cache Coherence ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
Multimedia Application ◽  
Multimedia Technology ◽  
Interprocessor Communication ◽  
Coherent Interface ◽  
Scalable Coherent Interface

Abstract Multimedia technology has become widely available and it has tremendous potential. As computers getting faster every day, multimedia applications are reaching new ground constantly. However, a fundamental problem of multimedia systems is the interprocessor/intermachine communication speed. In this paper, we introduce a platform based on the Scalable Coherent Interface (SCI, ANSI/IEEE std 1596). The system can be physically distributed but logically closely coupled. All processors/machines in an SCI system shared physical memory and cache coherence is maintained even among remote processors. The interprocessor communication bandwidth can be as high as 1 Gbyte/sec. We will discuss the features of SCI-based systems when multimedia application is considered.

Sign in / Sign up

Export Citation Format

Share Document