Estamos realizando la búsqueda. Por favor, espere...


Compositional real-time models

Abstract: This paper proposes a methodology for modelling the timing behaviour of hard real-time systems oriented to compositionality and reusability. When a system is built according to a modular structure, the methodology provides the system designer with capacity to build the real-time model of the system as a composition of the reusable timing models of the modules that make up the system. The modularization is applied at all levels: software, hardware and middleware. The methodology relies on a reactive modelling approach, i.e. the timing behaviour of a system is modelled by identifying and describing the timing behaviour of the activities executed in the system in response to events, coming either from the environment or from the timer. The methodology is based on the complementary concepts of model descriptor and model instance. The reusable timing model of a software or hardware module is formulated as a parameterized descriptor, which contains all the information about the internal elements of the module that is required to evaluate the behaviour of any application in which the module may be used. The analysable real-time model of a system is built by composing the model instances of the modules that form it, which are generated from their corresponding descriptors by assigning concrete values to all their parameters according to the specific configuration of the system.

Otras publicaciones de la misma revista o congreso con autores/as de la Universidad de Cantabria

 Autoría: Martínez P.L., Cuevas C., Drake J.M.,

 Fuente: Journal of Systems Architecture, 2012, 58(6-7), 257-276

Editorial: Elsevier

 Fecha de publicación: 01/08/2012

Nº de páginas: 20

Tipo de publicación: Artículo de Revista

 DOI: 10.1016/j.sysarc.2012.04.001

ISSN: 1383-7621

Proyecto español: TIN2008-06766-C03-03

Url de la publicación: https://doi.org/10.1016/j.sysarc.2012.04.001