Progress Report Meeting September 2009

10:00 - 10:30 - Introduction

Mario Couture, Michel Dagenais and Dominique Toupin (slides)

Welcome and introduce the participants.

Review the target conferences. Targeted Conferences

Present the project Wiki. Project Wiki

10:30 - 11:30 - Adaptative Fault Probing

Michel Dagenais and Mathieu Desnoyers (slides)

Describe the latest developments in kernel and user-space tracing, including the Linux kernel mainline tracing components, the non mainline tracing components yet to merge, GDB Tracepoints, SystemTap, DTrace, Kprobe and Utrace. Present in more details the developments and performance comparisons conducted within the project.

11:30 - 12:30 - Multi-level Multi-core Distributed Traces Synchronization

Michel Dagenais, Benjamin Poirier (slides) and Masoume Jabbarifar (slides)

Present the State of the Art in distributed traces synchronization, including the time synchronization of traces from multiple cores and virtual machines within a single system, as well as of traces from several interconnected systems. Describe the results obtained thus far in the project for this topic.

12:30 - 13:30 - Lunch Break

Lunch will be provided at Polytechnique, on the first floor of the Lassonde building, under the mechanical stairs.

13:30 - 14:30 - Trace abstraction, analysis and correlation

Abdelwahab Hamou-Lhadj and Waseem Fadel (slides)

Present a study of the existing trace abstraction techniques used to help software engineers understand the main content of large traces. Describe the cases studied and the early results obtained.

14:30 - 15:15 - Automated fault identification

Béchir Ktari and Hashem Mohamed-Waly (slides)

Present the state of the art for the various languages that may be suitable to describe different fault patterns. Compare their expressiveness, potential for performance, and applicability to detect a wide range of problems. Describe the inventory of problem patterns assembled thus far, in order to assess the expressiveness and performance of algorithms and representations to be proposed in the project.

15:15 - 15:30 - Break

In room M-4515.

15:30 - 16:00 - Trace directed modeling

Tim Lethbridge and Hamoud Aljamaan (slides)

Present state of the art in model-directed tracing. Describe tools and languages for modeling UML state machines (including UML Action Language, Executable UML and various IBM tools), and for capturing reverse-engineered state machines. Describe current commercial and open-source tools for code generation for state diagrams, into which tracepoints may be inserted. Present initial analysis models of Ericsson and DoD systems.. Present the student who will be working on this track. Present a revised schedule. Brainstorm about the future work in this track.

16:00 - 16:30 - System health monitoring and corrective measure activation

Michel Dagenais and Alireza Shameli

Present the student who will work on system health monitoring. Discuss the early work. Brainstorm about this research thread.

16:30 - 17:00 - Conclusion

Mario Couture, Michel Dagenais and Dominique Toupin

Interact with the participants to obtain feedback on the results so far and on the plans for further work.