[ecoop-info] Call for Participation: Workshop on Software Dependability at SAFECOMP'07

[Johannes Osrael]

Workshop on Software Dependability

at the 26th Int. Conf. on Computer Safety, Reliability, and

Security

 

Tuesday, September 18, 2007, 9h - 17h30

 

Call for Participation:

 

 

Motivation:

 

While computing is becoming a utility and software services 

increasingly pervade our daily lives, dependability is no 

longer restricted to safety-critical applications, but 

rather becomes a cornerstone of the information society. 

Dependability clearly is a holistic concept: Software and 

product-line engineering methods, tools, and techniques 

contribute to dependability, as defects in software 

products and services may lead to failure and also provide 

typical access for malicious attacks. In addition, there 

is a wide variety of fault tolerance techniques available, 

ranging from persistence provided by databases, replication, 

transaction monitors to reliable middleware with explicit 

control of quality of service properties. Adaptiveness, 

self-properties, and autonomous computing are envisaged in 

order to respond to short-term changes of the system itself, 

the context, or the users expectations. Furthermore, to 

cover the long-term evolution of systems becoming larger, 

more heterogeneous, and long-lived their emerging behaviour 

will have to be controlled and regulated in order to avoid 

"software utility degradation" which can also result in 

"dependability degradation".

 

 

Workshop Structure:

 

Three international research projects (DeDiSys, GORDA, RODIN) 

funded by the European Commission during the Framework 6 

Programme, approach the concept of dependability from 

different viewpoints (see below). Together, these projects 

represent 22 partners, 12 from academia and 10 from industry, 

with an overall effort of 120 person years. The overall cost 

of 9,2M-Euro have been funded by the European Commission with 

6,1M-Euro. After three years of research, these projects are 

now ready to present and mutually exchange their research 

achievements in an interdisciplinary way, to share their 

experience with a wider audience, as well as to show 

demonstrations of new technologies and provide hands-on 

experience on the prototype implementations.

 

The morning session will comprise a key note by Prof. Andre

Schiper (EPFL, Switzerland) and short talks of the research 

achievements of each project. The afternoon session will 

comprise practical demonstrations and hands-on experience 

for the audience.

 

The workshop will provide a forum for all scientists and 

engineers from academia and industry to discuss the latest 

research and technological findings as well as related work, 

and to share the projects' experience from the prototype 

implementations. The workshop will provide a strong focus 

on the applicability of all proposed concepts for the wider 

audience.

 

 

Workshop Co-Chairs: 

 

Karl M. Goeschka (Vienna Univ. of Technology, Austria)

Alexander Romanovsky (Univ. of Newcastle upon Tyne, UK)

Rui Oliveira (Universidade do Minho, Portugal)

 

 

Program:

 

09:00 - 10:30, Session 1

 

Opening Words: Karl M. Goeschka 

               (Vienna Univ. of Technology, Austria)

 

Key Note: Communication predicates vs. failure detectors 

          for solving agreement problems

          (Andre Schiper, EPFL, Switzerland)

 

Talk 1: DeDiSys: Tightly Coupled Dependable 

        Distributed Systems

        (Lorenz Froihofer, Vienna Univ. of Techn., 

         Austria)

 

Talk 2: DeDiSys: Loosely Coupled Dependable 

        Distributed Systems

        (Piotr Karwaczynski, Wroclaw Univ. of Techn., 

        Poland)

 

10:30 - 11:00, Coffee Break

 

11:00 - 12:30, Session 2

 

Talk 1: RODIN: Rigorous Open Development Environment 

        for Complex Systems

        (Thierry Lecomte, ClearSy System Engineering,

         France)

 

Talk 2: GORDA: Open Replication of Databases

        (Rui Oliveira, Univ. do Minho, Portugal)

 

12:30 - 14:00, Lunch Break

 

14:00 - 15:30, Session 3

 

The following Demos will be held in parallel:

Demo 1: DeDiSys - tightly coupled

Demo 2: DeDiSys - loosely coupled

Demo 3: GORDA

Demo 4: RODIN

 

15:30 - 16:00, Coffee Break

 

16:00 - 17:30, Session 4

 

The demos from session 3 will be repeated and 

again held in parallel:

Demo 1: DeDiSys - tightly coupled

Demo 2: DeDiSys - loosely coupled

Demo 3: GORDA

Demo 4: RODIN

 

 

More information can be found at 

http://www11.informatik.uni-erlangen.de/

safecomp2007/dependability.html

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070828/b3d7ac82/attachment-0001.htm