inria-00289937, version 2
Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
Laure Gonnord
a, 1Jean-Philippe Babau a, 1
N° RR-6565 (2008)
Abstract: Designing embedded communicating systems such as PDAs, mobile phones, is getting more and more complex as the hardware performance grows. The component paradigm appears as promising mainly due to the reusability and flexibility of code, but new problems appear such as security, safety and quality of service managements, which have not been integrated in the component-based designs. In this context, a component-based software architecture, Qinna, has been designed to manage quality of service from the resource point of view. In this research report, we propose a complete formalization of resource constraints expression and management using Qinna, and illustrate on a classic case study.
- a – INSA - Institut National des Sciences Appliquées
- 1: Centre d'Innovation en Télécommunications et Intégration de services (EA 3720)
- INRIA – Institut National des Sciences Appliquées de Lyon
- Domain : Computer Science/Embedded Systems
Computer Science/Software EngineeringComputer Science/Performance and Reliability - Keywords : Component Based Systems – Resource management at runtime – Automatic generation of monitors – Evaluation
- Internal note : RR-6565
- Available versions : v1 (2008-06-24) v2 (2008-06-24)
- inria-00289937, version 2
- http://hal.inria.fr/inria-00289937
- oai:hal.inria.fr:inria-00289937
- From: Laure Gonnord
- Submitted on: Tuesday, 24 June 2008 16:20:56
- Updated on: Tuesday, 24 June 2008 22:20:12
Associated documents
Export