A model-based method to manage time properties in component based software systems

Viet Hoa Nguyen 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This thesis proposes an approach to integrate the use of time-related stochastic properties in a continuous design process based on models at runtime. Time-related specification of services are an important aspect of component-based architectures, for instance in distributed, volatile networks of computer nodes. The models at runtime approach eases the management of such architectures by maintaining abstract models of architectures synchronized with the physical, distributed execution platform. For self-adapting systems, prediction of delays and throughput of a component assembly is of utmost importance to take adaptation decision and accept evolutions that conform to the specifications. To this aim we define a metamodel extension based on stochastic Petri nets as an internal time model for prediction. We design a library of patterns to ease the specification and prediction of common time properties of models at runtime and make the synchronization of behaviors and structural changes easier. Furthermore, we apply the approach of Aspect-Oriented Modeling to weave the internal time models into timed behavior models of the component and the system. Our prediction engine is fast enough to perform prediction at runtime in a realistic setting and validate models at runtime.
Document type :
Theses
Complete list of metadatas

Cited literature [107 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00923305
Contributor : Noël Plouzeau <>
Submitted on : Thursday, January 2, 2014 - 12:14:33 PM
Last modification on : Friday, November 16, 2018 - 1:23:36 AM
Long-term archiving on: Saturday, April 8, 2017 - 9:55:31 AM

Identifiers

  • HAL Id : tel-00923305, version 1

Citation

Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems. Software Engineering [cs.SE]. Université Rennes 1, 2013. English. ⟨tel-00923305⟩

Share

Metrics

Record views

380

Files downloads

1428