A formal model of user-defined resources in resource-restricted deployment scenarios

  • Authors:

  • Einar Broch Johnsen;Rudolf Schlatte;S. Lizeth Tapia Tarifa

  • Affiliations:

  • Department of Informatics, University of Oslo, Norway;Department of Informatics, University of Oslo, Norway;Department of Informatics, University of Oslo, Norway

  • Venue:
  • FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Software today is often developed for deployment on varying architectures. In order to model and analyze the consequences of such deployment choices at an early stage in software development, it seems desirable to capture aspects of low-level deployment concerns in high-level models. In this paper, we propose an integration of a generic cost model for resource consumption with deployment components in Timed ABS, an abstract behavioral specification language for executable object-oriented models. The actual cost model may be user-defined and specified by means of annotations in the executable Timed ABS model, and can be used to capture specific resource requirements such as processing capacity or memory usage. Architectural variations are specified by resource-restricted deployment scenarios with different capacities. For this purpose, the models have deployment components which are parametric in their assigned resources. The approach is demonstrated on an example of multimedia processing servers with a user-defined cost model for memory usage. We use our simulation tool to analyze deadline misses for given usage and deployment scenarios.