The 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS)

The workshop will be structured to encourage fruitful discussions and build connections between workshop participants. To this end, approximately half of the workshop time will be devoted to short presentations of accepted papers, with the remaining half devoted to semi-structured discussion groups. To help ensure focused discussions, participants will be expected to read accepted papers and submit written comments on some of those papers prior to the workshop. Participants will work with the workshop organizers prior to the workshop to establish topics for discussion groups.

09:00 —
09:10
Welcome and Overview
09:10 —
10:30
Paper Presentations I(a): Operating Systems 09:30
09:10 On the Configuration of Non-Functional Properties in Operating System Product Lines
Daniel Lohmann, Olaf Spinczyk, and Wolfgang Schröder-Preikschat
Tarantula: Killing Driver Bugs Before They Hatch
Julia L. Lawall, Gilles Muller, and Richard Urunuela
Paper Presentations I(b): Embedded and Real-Time Systems 11:10
09:50 Evaluating an Aspect-Oriented Approach for Production-Testing Software
Jani Pesonen, Mika Katara, and Tommi Mikkonen
Development Environment for Configuration and Analysis of Embedded and Real-Time Systems
Aleksandra Tesanovic, Peng Mu, and Jörgen Hansson
10:30 —
11:00
Break
11:00 —
12:20
Paper Presentations II(a): Service-Oriented Architectures 11:20
11:00 Weaving Aspects to Support High Reliable Systems: Developping a Blood Plasma Analysis Automaton
Valérie Monfort, Muhammad Usman Bhatti, and Assia ait ali Slimane
Two Party Aspect Agreement using a COTS Solver
Eric Wohlstadter, Stefan Tai, and Prem Devanbu
Paper Presentations II(b): Dynamic Reconfiguration 12:00
11:40 Software Security Patches: Audit, Deployment and Hot Update
Nicolas Loriant, Marc Ségura-Devillechaise, and Jean-Marc Menaud
Using a Low-Level Virtual Machine to Improve Dynamic Aspect Support in Operating System Kernels
Michael Engel and Bernd Freisleben
12:20 —
12:30
Paper Presentations Wrap-Up
Organization of Discussion Groups
12:30 —
14:00
Lunch
14:00 —
15:30
Introduction to Group Work

Discussion Groups
The workshop attendees participate in semi-structured discussion groups on ACP4IS topics, according to their interests. Refer to the discussion groups page for pre-workshop information and planning of the discussion groups.
15:30 —
16:00
Break
16:00 —
16:30
Discussion Groups Wrap-Up
Each group concludes by preparing a "mini-report" or "outbrief" that summarizes the discussion: achievements, positions, opinions, common themes, closed issues, open issues, solved problems, challenge problems, ideas for future activities and collaborations, ....
16:30 —
17:30
Discussion Group Reports
Representatives of the discussion groups present their outbriefs to all the workshop attendees. The workshop concludes with planning of post-workshop activities.

Conclude