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

Please wait, while we are loading the content...

An empirical study on groupware support for software inspection meetings

Fault localization with nearest neighbor queries

DeCo: a declarative coordination framework for scientific model federations

Debugging overconstrained declarative models using unsatisfiable cores

Aspectizing server-side distribution

What test oracle should i use for effective GUI testing?

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

A model-driven approach to non-functional analysis of software architectures

Detecting requirements interactions: a three-level framework

Analysis of inconsistency in graph-based viewpoints: a category-theoretic approach

Tool-assisted unit test selection based on operational violations

A programmable client-server model: robust extensibility via DSLs

Parallel breadth-first search LTL model-checking

Automating component adaptation for reuse

A type system for statically detecting spreadsheet errors

Extending diagnosis to debug programs with exceptions

Automating relative debugging

Deriving user interface requirements from densely interleaved scientific computing applications

A new structural coverage criterion for dynamic detection of program invariants

Specification and synthesis of hybrid automata for physics-based animation

Automated environment generation for software model checking

Model-based verification of web service compositions

Testing database transaction concurrency

SPQR: flexible automated design pattern extraction from source code

Generating design pattern detectors from pattern specifications

Communicating requirements using end-user GUI constructions with argumentation

Automatically inferring concern code from program investigation activities

Predicting fault prone modules by the Dempster-Shafer belief networks

Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) bottleneck

Semi-automatic fault localization and behavior verification for physical system simulation models

Visual specification of concurrent systems

Automatic generation of content management systems from EER-based specifications

VUML: a viewpoint oriented UML extension

Automated requirements-based generation of test cases for product families

An infrastructure to support meta-differencing and refactoring of source code

Visual constraint diagrams: runtime conformance checking of UML object models versus implementations

A pragmatic study of binary class relationships

The feature signatures of evolving programs

Test suite design for code generation tools

Theoretical foundations of updating systems

An incremental approach to task-specific information delivery in SE processes

Architecture style-based calculi for non-functional properties

Certifying measurement unit safety policy

Automated software testing using a metaheuristic technique based on tabu search

Model checking software requirement specifications using domain reduction abstraction

An approach for tracing and understanding asynchronous architectures

Refactoring C with conditional compilation

A Java component model for evolving software systems

Depiction and playout of multi-threaded program executions

Applying autobayes to the analysis of planetary nebulae images

Automation for exception freedom proofs

Overview of openmodel-based validation with partial information

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

Content Provider	ACM Digital Library
Author	Aberg, Rickard A. Lawall, Julia L. Muller, Gilles Meur, Anne-Françoise Le Südholt, Mario
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 a large program, 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 allows 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.
Starting Page	196
Ending Page	204
Page Count	9
ISBN	0769520359
DOI	10.1109/ASE.2003.1240307
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2003-10-06
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in