Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems

Laure Gonnord 1, 2 Jean-Philippe Babau 1, 3, 4
2 COMPSYS - Compilation and embedded computing systems
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 AMAZONES - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
4 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Abstract : Recent work on component-based software design has proved the need of resource-accurate development of embedded software. In the more specific cases of mobile systems, the developer also needs tools to facilitate the adaptation of functionalities to resources (lack of memory or bandwidth, \etc), and also to evaluate the performance w.r.t. the resource issues . As we want to design and develop at the same time the application and its resource controllers, we chose to use Qinna, which was designed to manage resource issues (specification, contractualization, management) during the development process of such an application. We propose a complete formalization of the resource constraints specification, through the use of a variant of the event-based logics, MEDL and PEDL introduced in \cite{lee99runtime}. Qinna then automatically performs the runtime resource assurance. We illustrate this work in a case study.
Type de document :
Communication dans un congrès
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco. IEEE, 2009
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00349918
Contributeur : Laure Gonnord <>
Soumis le : samedi 10 janvier 2009 - 14:20:35
Dernière modification le : samedi 21 avril 2018 - 01:27:19
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 11:36:13

Fichier

aiccsa2009_gonnord_babau_with_...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00349918, version 2

Citation

Laure Gonnord, Jean-Philippe Babau. Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems. AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco. IEEE, 2009. 〈inria-00349918v2〉

Partager

Métriques

Consultations de la notice

350

Téléchargements de fichiers

157