An experimental study for transmitting MPEG-2 streams over ATM networks

This paper presents a comparative study of different techniques aiming at transmitting MPEG-2 streams over ATM networks, with emphasis on the presentation of practical results achieved on an experimental platform available at LSI, a laboratory of the University of São Paulo, Brazil. This study has the purpose to determine some tuning parameters for optimizing the implementation of distributed multimedia applications on different network technologies. The focus of this experimental study has been on non-native ATM techniques like “Classical IP over ATM” and “LAN Emulation”, as well as native ATM techniques based on direct access service primitives to AAL5. The influence of different parameters, like packet length, buffer size, CPU speed, on the resulting throughput has been studied. Furthermore, a testing tool is being developed for assessing the transmission of MPEG-2 streams based on the practical experience achieved so far. These results will permit the evaluation of different network technologies and also help in the development of distributed multimedia applications like video-on-demand, videoconferencing and telemedicine.     

A user — oriented synchronisation system for a hybrid problem

The purpose of the paper is to present a hybrid software, as well the associated special function of the logical interface, wich accounts for the part of parallel interaction between the analog and digital computers in a hybrid problem.     

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

This paper presents two modeling approaches that can be used as a formal basis for designing distributed multimedia and hypermedia systems. Using these approaches, users and designers are able to express formally their multimedia and hypermedia synchronization and time requirements. The two different models considered are Hierarchical Time Stream Petri Nets and RT-LOTOS. It will be shown that both models, starting from a different formal basis, are of interest as they possess complementary advantages and can then be used at different stages of the system life cycle. For instance, HTSPN provides an user-friendly graphical specification framework, whereas RT-LOTOS offers an extensive simulation and validation framework applicable to specifications derived from HTSPN.     

TURTLE: a real-time UML profile supported by a formal validation toolkit

We present a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment) endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's extensibility mechanisms to enhance class and activity diagrams. Class diagrams are extended with specialized classes named Tclasses, which communicate and synchronize through gates. Also, associations between Tclasses are attributed by a composition operator (Parallel, Synchro, Invocation, Sequence, or Preemption) which provides them with a formal semantics. TURTLE extends UML activity diagrams with synchronization actions and temporal operators (deterministic delay, nondeterministic delay, time-limited offer, and time-capture). The real-time dimension of TURTLE has been further improved by the addition of two composition operators, periodic and suspend, as well as suspendable delay, latency, and time-limited offer operators at the activity diagram level. Core characteristics of TURLE are supported by TTool - the TURTLE toolkit - which includes a diagram editor, a RT-LOTOS code generator and a result analyzer. The toolkit reuses RTL, a RT-LOTOS validation tool offering debug-oriented simulation and exhaustive analysis. TTool hides RT-LOTOS to the end-user and allows him/her to directly check TURTLE modeling against logical errors and timing inconsistencies. Besides the foundations of the TURTLE profile, this paper also discusses its application in the context of space-based embedded software.     

CoLab: A New Paradigm and Tool for Collaboratively Browsing the Web

Widespread adoption of Web technologies, particularly in professional and educational areas, has motivated new research efforts with the objective of designing new interaction mechanisms based on Web technologies. Within this framework, collaborative Web browsing (cobrowsing) aims at extending currently available Web browsing capabilities in order to allow several users to "browse together" on the Web. Such a browsing paradigm can have many useful applications, for instance, in e-learning, for collaboratively searching and retrieving documents, and for online assistance (helpdesk). A cobrowsing system should provide all the facilities required for allowing users to establish and release, in a very simple and flexible way, browsing synchronization relations as well as interactions with continuous media presentations embedded within Web pages. This paper presents the design, modeling, and implementation of the cobrowsing system called CoLab. CoLab provides all the functionalities required for allowing users to collaboratively browse the Web, and a first experimental version of the tool has been implemented and is fully operational