On the automatic evolution of an OS kernel using temporal logic and AOP

Rickard A. Åberg 1 Julia Lawall 2, 3 Mario Südholt 1, 2 Gilles Muller 1, 2 Anne Françoise Le Meur 4, 5
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
3 Department of Computer Science
4 LaBRI - Laboratoire Bordelais de Recherche en Informatique
5 ENSEIRB - Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
Abstract : Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly complicated when considering large pieces of software, even when the modifications appear to be systematic. We illustrate this situation in the context of evolving the Linux kernel to support Bossa, an event-based framework for process-scheduler development. To support Bossa, events must be added at points scattered throughout the kernel. In each case, the choice of event depends on properties of one or a sequence of instructions. To describe precisely the choice of event, we propose to guide the event insertion by using a set of rules, amounting to an aspect, that describes the control-flow contexts in which each event should be generated. In this paper, we present our approach and describe the set of rules that allow proper event insertion. These rules use temporal logic to describe sequences of instructions that require events to be inserted. We also give an overview of an implementation that we have developed to automatically perform this evolution.
Type de document :
Communication dans un congrès
18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003, Montréal, Canada, Canada. pp.196-204, 2003
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00457197
Contributeur : Mario Südholt <>
Soumis le : mardi 16 février 2010 - 17:17:44
Dernière modification le : mercredi 5 décembre 2018 - 01:22:13

Identifiants

  • HAL Id : hal-00457197, version 1

Collections

INRIA | LINA | UNIV-NANTES | LABRI | UNIV-BORDEAUX | MINES-NANTES | INFO | IMT-ATLANTIQUE

Citation

Rickard A. Åberg, Julia Lawall, Mario Südholt, Gilles Muller, Anne Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003, Montréal, Canada, Canada. pp.196-204, 2003. 〈hal-00457197〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

443

Contact


archive-ouverte@inria.fr