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
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.