Home // SIMUL 2012, The Fourth International Conference on Advances in System Simulation // View article

Model-based Prediction of Complex Multimedia/Hypermedia Systems

Authors:
Franco Cicirelli
Libero Nigro
Francesco Pupo

Keywords: Model-based prediction; multimedia/hypermedia systems; time stream Petri nets; synchronization consistency; model checking; UPPAAL.

Abstract:
This work develops a model-based approach to the specification and analysis of the functional/temporal behavior of complex multimedia/ hypermedia systems. The approach is centered on Time Stream Petri Nets (TSPN) as the authoring formal language and on UPPAAL as the target tool for model checking activities. A structural translation from TSPN to UPPAAL timed automata (TA) was recently defined in the form of a reusable TA library. The library was proven to be timed bisimilar to TSPN. This paper focuses on the practical aspects of the approach by showing its application to a non trivial modeling example related to a hypermedia system whose properties are predicted by exhaustive verification. Finally, conclusions are drawn with an indication of on-going and future work.

Pages: 145 to 151

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4537

ISBN: 978-1-61208-234-9

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012