Workshop on Dependable Software Systems
Friday Workshop of the DATE Conference. Find the main workshop page here
Workshop Program
|
08:45 |
Welcome and Introduction Iain Bate, University of York, UK Stefan M. Petters, NICTA, AU |
| 09:00 | Session 1 |
|
Keynote: Methodology and Functional Safety of Autosar Simon Fürst - BMW AG, DE Applying LTTA to guarantee flow of data requirements in distributed systems using Controller Area Networks Marco Di Natale - Scuola Superiore S. Anna, Pisa, Italy Albert Benveniste - IRISA/INRIA, FR Paul Caspi - VERIMAG/CNRS, FR Claudio Pinello - Cadence Research Labs, CA Alberto Sangiovanni Vincentelli - University of California, CA Stavros Tripakis - Cadence Research Labs, CA Distributed Performance Control in Organic Embedded Systems Steffen Stein, Rolf Ernst, TU Braunschweig, DE |
|
| 10:30 | BREAK |
| 11:00 | Session 2 |
|
Keynote: Ensuring System Dependability in Automotive Software Manfred Broy - Technische Universität M¨nchen, DE Invited talk: Comprehensive Safety Analysis: Improving and Integrating Techniques Peter Liggesmeyer - Fraunhofer IESE, DE Formal Verification of a Big Integer Library Sabine Fischer - Saarland University, DE |
|
| 1230 | LUNCH |
| 14:00 | Session 3 |
|
Keynote: Fighting industrial embedded software complexity with
component-based software engineering Hans Hansson - Mälardalen University, SE Invited Talk: Model-based development of embedded control systems Paul Caspi - VERIMAG/CNRS, FR Towards an Error Modeling Framework for Dependable Component Based Systems Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat - Mälardalen University, SE |
|
| 15:15 | BREAK |
| 15:45 | Session 4 |
|
Panel Discussion: "Design Automation for Dependable Software - Is it
Truly Efficient?" Felice Balarin - Cadence Design Systems, CA Manfred Broy - Technische Universität München, DE Simon Fürst - BMW AG, DE Hans Hansson - Mälardalen University, SE |
|
| 16:30 | CLOSE |