Real-Time Implementation of Broadcast Switching System Using Audio Watermark

2006 ◽  
pp. 322-331
Author(s):  
Jongweon Kim ◽  
Donghwan Shin ◽  
Jonguk Choi
Keyword(s):  
Real Time ◽  
Switching System ◽  
Audio Watermark

Real time test environment for TDX-10 switching system

2003 ◽  
Author(s):  
B.N. Yoon ◽  
J.W. Kim ◽  
M.H. Cho ◽  
W.S. Rhee ◽  
O.S. Lim ◽  
...  
Keyword(s):  
Real Time ◽  
Switching System ◽  
Test Environment ◽  
Time Test

The Formal Design Model of a Telephone Switching System (TSS)

2012 ◽  
pp. 302-326
Author(s):  
Yingxu Wang
Keyword(s):  
Real Time ◽  
Formal Model ◽  
Process Models ◽  
Switching System ◽  
Code Generator ◽  
Call Processing ◽  
Allocation Process ◽  
Design Paradigm ◽  
Process Deployment ◽  
Formal Design

A typical real-time system, the Telephone Switching System (TSS), is a highly complicated system in design and implementation. This paper presents the formal design, specification, and modeling of the TSS system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the TSS system is introduced as the initial requirements for the system. Then, the architectural model of the TSS system is created using the RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of the TSS system are specified and refined by a set of Unified Process Models (UPMs) such as call processing and support processes. The dynamic behaviors of the TSS system are specified and refined by process priority allocation, process deployment, and process dispatching models. Based on the formal design models of the TSS system, code can be automatically generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transformed into programs by programmers. The formal model of TSS may not only serve as a formal design paradigm of real-time software systems, but also a test bench of the expressive power and modeling capability of exiting formal methods in software engineering.

Implementation of a real-time audio watermark extractor on ARM940T

2003 ◽  
Author(s):  
M. Mathew ◽  
Yoonhark Oh Yoonhark Oh ◽  
Jaeyoung Lee Jaeyoung Lee ◽  
Changhoon Yim Changhoon Yim ◽  
Kilsu Eo Kilsu Eo
Keyword(s):  
Real Time ◽  
Audio Watermark

Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA

2012 ◽  
Vol 4 (2) ◽  
pp. 81-104 ◽  
Author(s):  
Yingxu Wang ◽  
Yousheng Tian
Keyword(s):  
Real Time ◽  
Interface Design ◽  
Process Algebra ◽  
System Modeling ◽  
Conceptual Modeling ◽  
Formal Specifications ◽  
Formal Models ◽  
Switching System ◽  
Time System ◽  
Real Time System

The Telephone Switching Systems (TSS) is a typical real-time system that is highly complicated in design and implementation. In order to deal with the extreme complexity in real-world settings, a suitable and efficient mathematical means is required beyond any programming language. To this purpose, an efficient and precise denotational mathematics known as the Real-Time Process Algebra (RTPA) and the RTPA methodology for system modeling are introduced. Empirical experimental results are reported in this paper on the implementation of TSS based on formal models of the system in RTPA. Three phases of experiments are designed on TSS conceptual modeling, system interface design, and programming implementation and testing. All groups in the experiments with 7 to 8 members have been able to efficiently understood, design, and implement the TSS system in a simplified version in four weeks, which has been estimated as a 10+ person-year project in the industry. The efficiency and expressiveness of RTPA are empirically demonstrated base on the case studies in the experiments.

Sign in / Sign up

Export Citation Format

Share Document