| Registration 8:30 - 9:00 |
Registration Registration
|
| Session 1 9:00 - 10:30 |
Invited Talk, followed by Performance and
Predicability Welcome and introduction (the organizers)
Invited Talk
Jose Luiz Fiadeiro Inconsistency Management and View Updates
Catherine Menon, Michael Johnson and Charles Lakos |
| Coffee |
|
| Session 2 11:00 - 12:30 |
Performance and Predicability (continued) Modular Architectural Representation and
Analysis of
Fault Propagation and Transformation
Malcolm Wallace Parametric Performance Contracts for
QML-specified Software Components
Viktoria Firus Steffen Becker and Jens Happe A Formal Approach for Analysis and Testing of
Reliable Embedded Systems
A. Guerrouat and H. Richter |
| Lunch |
|
| Session 3 14:00 - 15:30 |
Component-based architectures: design,
analysis and execution issues
An event algebra extension of the
triggering mechanism in a component
model for embedded systems
Jan Carlson and Mikael Akerholm
Object-Oriented Connector-Component
Architectures
H. Ehrig, B. Braatz, M. Klein, F. Orejas, S. Perez and E. Pino
Towards formalising AADL in Proof Assistants
Jean-Paul Bodeveix, Mamoun Filali and Martin Strecker |
| Coffee |
|
| Session 4 16:00 - 18:00 |
Behavioural models Adaptive Verification using Forced Simulation
Roopak Sinha, Partha S. Roop and Bakhadyr Khoussainov
Modelling Component Behaviour with Concurrent Automata
Sotiris Moschoyiannis, Michael Shields and Paul Krause |
| Evening 19:30 |
Dinner
Dinner at the Royal Scots Club, Abercrombie Place
Situated in one of Edinburgh's finest Georgian streets the Royal Scots Club was founded in 1919 as a tribute to those who fell in The Great War. The building has an interesting architecture and houses a great variety of Scottish regimental memorabilia. |