Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems - Centre of Innovation in Telecommunications and Integration of services Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems

Résumé

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.
Fichier principal
Vignette du fichier
aiccsa2009_gonnord_babau_with_copyright.pdf (424.98 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

inria-00349918 , version 1 (05-01-2009)
inria-00349918 , version 2 (10-01-2009)

Identifiants

  • HAL Id : inria-00349918 , version 2

Citer

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. ⟨inria-00349918v2⟩
235 Consultations
306 Téléchargements

Partager

Gmail Facebook X LinkedIn More