ECBS 2009 Home

Call For Papers

Submission

Registration

Program

Organizers

Workshops

Hotel & Travel

ECBS 2009 Final Program

All ECBS Paper Sessions will be held in Embarcadero

Wednesday, April 15, 2009

[8:30 - 9:30] CPS Week Plenary Session (held in Cyril Magnin Ballroom)

[9:30 - 10:00] Break

[10:00 - 11:30]  Session 5: Safety Analysis                  Session Chair:   Allan McInnes

Abhishek Dubey and Ted Bapty. Algorithms for Synthesizing Safe Sets of Operation For Embedded Systems

Benjamin Hummel. A Semantic Model for Computer-Based Spatio-Temporal Systems

Philippa Conmy and Iain Bate. Semi-Automated Safety Analysis for Field Programmable Gate Arrays

Chuan Feng, Jerzy Rozenblit, Allan Hamilton and Andrzej Wytyczak-Partyka. Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training  

[11:30 - 12:30]  Lunch

[12:30 - 2:00]  Session 6:  Modeling II                     Session Chair: Aniruddha Gokhale

Tomasz Porzucek, Stephan Kluth, Flavius Copaciu and Werner Zorn. Modeling and Evaluation Framework
for FMC-QE

Mathias Fritzsche, Hugo Bruneliere, Bert Vanhooff, Frederic Jouault, Wasif Gilani and Yolande Berbers. Applying Megamodelling to Model Driven Performance Engineering   

Michael Thonhauser, Christian Kreiner and Martin Schmid. Interpreting Model-Based Components for Information Systems

Tamas Vajk, Tihamer Levendovszky and Akos Ledeczi. Raising the Abstraction of Domain-Specific Model Translator Development

[2:00 - 2:30] Break

[2:30 - 4:45]  Session 7: Software II                     Session Chair:  Miroslav Popovic

Shvetha Soundararajan and James Arthur. A Soft-Structured Agile Framework for Larger Scale Systems Development

Robert Brcina, Matthias Riebisch and Stephan Bode. Optimisation Process for Maintaining Evolvability during Software Evolution

Brian Dougherty, Jules White, Christopher Thompson and Douglas Schmidt. Automating Hardware and Software Evolution Analysis

Muhammad Rashid and Bernard Pottier. Application Capturing and Performance Estimation in an Holistic Design Environment

Thein Than Tun, Roderick Chapman, Charles Haley, Robin Laney and Bashar Nuseibeh. A Framework for Developing Feature-Rich Software Systems 

Nasreddine Aoumeur, Kamel Barkaoui and Claus Rautenstrauch. Validating, Composing and Dynamically Adapting Features in Concurrent Product-Lines Applications

[4:00 - ]  CPS Forum