Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Real-time object-oriented modeling
Real-time object-oriented modeling
Software—Practice & Experience
Multimedia: computing, communications and applications
Multimedia: computing, communications and applications
Formalizing multimedia QoS constraints using actors
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Internetworking Multimedia
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
DIS-RT '99 Proceedings of the 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications
SS '00 Proceedings of the 33rd Annual Simulation Symposium
Specification of Real-Time Interaction Constraints
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Towards a UML extension for hypermedia design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
An EFSM-based multimedia synchronization model and the authoring system
IEEE Journal on Selected Areas in Communications
A time-efficient architecture for multimedia applications
IEEE Journal on Selected Areas in Communications
| Hi-index | 0.00 |
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia systems. The methodology is centered on Communicating Real-Time State Machines as the modeling language and is supported by jCRSM, a Java2-based toolset. The latter provides a graphical environment for editing, testing, debugging and Java code generation of a prototyped system. Multimedia systems are particular real-time systems which normally do not have hard deadlines to fulfill but only soft deadlines concerning the achievement of a user-defined level of quality of service. For instance, timing QoS parameters refer to jitter, skew and end-to-end delay, which are to be kept bounded throughout a multimedia session. QoS constraints are monitored by assertions on the recorded timestamped event histories. The paper reports some experimental results of a modeled remote multimedia presentation system.