SAFECOMP 2007 26th International Conference on

Computer Safety, Reliability and Security

18th – 21st September 2007, Nuremberg, Germany

CONFERENCE PROGRAMME

The Leading Motto of SAFECOMP 2007 “Don’t claim it’s safe, show me!”

Organised by

www.safecomp.org

1 1TC7

E

WI C

S

TC7

E

WI C

S

European Workshop on Industrial Computer Systems

TC7

Gesellschaft für Informatik

e. V.

Dpt. of Software Engineering University of

Erlangen-Nuremberg

ABOUT NUREMBERG

The Conference takes place in the historical centre of Nuremberg near the medieval castle dominating the city.

The venue offers lots of opportunities for sightseeing to

delegates and accompanying persons interested in historical and artistic attractions, like renaissance works by Albrecht Dürer and Veit Stoss and the well known churches Frauenkirche and Lorenzkirche. We recommend to visit Albrecht Dürer‘s House and the “Fembo Haus”.

Among the technological highlights of the Franconian history are the oldest spherical world representation by the Behaim Globus and the first German railway dating 1835. Interested participants may like to visit the Germanisches Nationalmuseum and the Railway Museum.

TECHNICAL AND SOCIAL EVENTS

����Technical Visit at the Underground Railway Control Centre Wednesday, September 19th, 2007 ����17:00

����Visit of late Renaissance “Fembo Haus”

Wednesday, September 19th, 2007 �18:00 ����Welcome Reception at the Town Hall

Wednesday, September 19th, 2007 �20:00 ����Guided Tour through the City of Nuremberg

Thursday, September 20th, 2007 �19:00 ����SAFECOMP 2007 Conference Dinner

Thursday, September 20th, 2007 �20:00

ABOUT SAFECOMP

The SAFECOMP Conference series was established in 1979 by EWICS TC7: Since then, SAFECOMP regularly contributes to the progress of the state of the art in dependable applications of computer systems.

SAFECOMP Conferences took place in Austria (Vienna), France (Sarlat, Toulouse), Germany (Stuttgart, Fulda, Heidelberg, Potsdam), Hungary (Budapest), Italy (Como, Belgirate, Catania), the Netherlands (Rotterdam), Norway (Trondheim, Fredrikstad), Poland (Poznan, Gdansk), Switzerland (Zurich), UK (Cambridge, Manchester, Gatwick, York, Edinburgh), USA (Lafayette, Anaheim).

SAFECOMP covers the state of the art, experiences and trends in the areas of safety, reliability and security regarding critical computer applications.

SAFECOMP offers a platform for knowledge and technology transfer between academia, industry, research institutions and licensing bodies.

SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods and practical applications across the borders of different disciplines.

SAFECOMP is open to multidisciplinary work enhancing our understanding across diverse disciplines.

SAFECOMP welcomes delegates from the safety and security communities discussing together on converging towards common approaches intended to ensure dependable critical infrastructures.

Information on previous SAFECOMP events can be found at www.safecomp.org.

The SAFECOMP 2007 conference proceedings are published as volume 4680 in the series Lecture Notes in Computer Science (LNCS), by Springer-Verlag: www.springer.de/comp/lncs/

Extensions of the best papers will be considered for publication in a Special Issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier: www.elsevier.com/locate/ress

European Workshop on Industrial Computer Systems

Technical Committee 7 on Safety, Reliability and Security

www.ewics.org

CONFERENCE SCOPE SAFECOMP focuses on state-of-the-art and innovative approaches to risk assessment and management from the safety, security and reliability viewpoints. The scope includes IT systems and infrastructures considered critical within their present or emerging contexts. All aspects of dependability and survivability of critical computer-based systems and infrastructures are included. In particular, SAFECOMP emphasises multidisciplinary approaches to deal with the nature of complex critical IT systems and applications. Application and Industrial Sectors: ���� aerospace ���� avionics ���� railways and automotive ���� industrial process control and robotics ���� e-health ���� networking and telecommunication ���� banking and e-commerce ���� critical infrastructures ���� industrial safety and security guidelines and standards Research Areas: ���� safety and security risk assessment ���� design for dependability ���� component-based systems ���� commercial off-the-shelf equipment ���� dependability analysis and modelling ���� fault tolerance and software diversity ���� evolution and maintenance ���� verification & validation by testing and formal methods ���� human factors and human-machine interface ���� quantitative reliability assessment

INTERNATIONAL PROGRAMME COMMITTEE

Conference Chair: Francesca Saglietti (Germany)

EWICS Chair: Udo Voges (Germany)

Stuart Anderson (UK) Robin Bloomfield (UK) Sandro Bologna (IT) Jens Braband (DE) Inga Bratteby-Ribbing (SE) Bettina Buth (DE) Peter Daniel (UK) Christian Diedrich (DE) Jana Dittmann (DE) Wolfgang Ehrenberger (DE) Massimo Felici (UK) Robert Genser (AT) Bjørn Axel Gran (NO) Karl-Erwin Großpietsch (DE) Wolfgang Halang (DE) Monika Heiner (DE) Maritta Heisel (DE) Constance Heitmeyer (US) Janusz Gorski (PL) Karl-Heinz John (DE) Karama Kanoun (FR)

Floor Koornneef (NL) Peter B. Ladkin (DE) Søren Lindskov Hansen (DK) Bev Littlewood (UK) Vic Maggioli (US) Odd Nordland (NO) Gerd Rabe (DE) Felix Redmill (UK) Martin Rothfelder (DE) Krzysztof Sacha (PL) Erwin Schoitsch (AT) Werner Stephan (DE) Mark Sujan (UK) Pascal Traverse (FR) Jos Trienekens (NL) Meine Van der Meulen (NL) Udo Voges (DE) Albrecht Weinert (DE) Rune Winther (NO) Stefan Wittmann (BE) Zdzisław Žurakowski (PL)

ORGANISING COMMITTEE

Chairs: Francesca Saglietti, Wolfgang Ehrenberger

Norbert Oster Jutta Radke

Gerd Schober Sven Söhnlein

CONFERENCE VENUE The Conference will take place at the Faculty of Economics and Social Sciences of the University of Erlangen-Nuremberg (WiSo):

Lange Gasse 20 - 90403 Nuremberg

The Faculty is located in the historical centre of Nuremberg near the medieval castle dominating the city.

� SAFECOMP

� Main Station

� Lunchroom

� Town Hall

� Fembo Haus

� Central Market

� Castle

� Lorenzkirche

U Underground

P Parking

�

�

�

�

� �

P

U

�

U

U

U

U

�

PROGRAMME STRUCTURE

September Tuesday 18th

Tutorials/Workshops

September Wednesday 19th

Conference

September Thursday 20th Conference

September Friday 21st

Conference

Opening Session Keynote 1 Session 1

Session 5 Keynote 2 Session 9

Poster Session 3 Coffee Break Coffee Break Coffee Break

Session 2

Session 6 Session 10

Lunch Lunch Lunch

Session 3

Poster Session 1

Poster Session 2

Session 7

Session 11 Session 12

Announcement 2008 Closing Session

Coffee Break Coffee Break Coffee and Wrap up

Workshops

Tutorials

EWICS TC7 meeting

Session 4 Panel Discussion

Session 8

Technical Visit / Visit of Fembo Haus

Guided Tour

Welcome Reception at Town Hall

Conference Dinner

OVERVIEW OF WORKSHOPS AND TUTORIALS

Workshops

Tutorial

9:00 – 12:30

High-Level Modeling Environments for the Dependability Assessment

of Dynamic Fault-Tolerant Systems

14:00 – 17:30

Software Dependability

Dependable Embedded Systems

Workshops

���� Workshop on Software Dependability

Karl M. Göschka - Vienna University of Technology (Austria) Rui Oliveira - University of Minho (Portugal) Alexander Romanovsky - University of Newcastle upon Tyne (UK) Johannes Osrael - Vienna University of Technology (Austria)

���� DECOS / ERCIM Workshop 2007 on Dependable Embedded Systems Erwin Schoitsch - Austrian Research Centers (Austria) Amund Skavhaug - Trondheim University of Technology (Norway)

Tutorial

���� High-Level Modeling Environments for the Dependability Assessment of Dynamic Fault-Tolerant Systems

Antonio Puliafito - University of Messina (Italy) Salvatore Distefano - University of Messina (Italy) Arndt Bode - Technical University of Munich (Germany) Max Walter - Technical University of Munich (Germany) Marc Boissou - Électricité de France (France)

Wednesday - September 19th, 2007 8:00 – 9:00 Registration

9:00 – 9:15 Opening Session ���� Welcome Addresses

Francesca Saglietti - Conference Chair Thomas A. H. Schöck - Chancellor of the University of Erlangen-Nuremberg Udo Voges - EWICS TC7 Chair

9:15 – 10:00 Keynote Address 1 - Invited Talk

Session Chair: Francesca Saglietti - University of Erlangen-Nuremberg (Germany)

���� Rubin - The Driverless Metro System in Nuremberg Safety Aspects and Technical Solution

Invited Speaker: Wolfgang Groß - Siemens Transportation Systems (Germany) 10:00 – 10:50 Session 1: Safety Cases

Session Chair: Bev Littlewood - Centre for Software Reliability, City University (UK)

���� Establishing Evidence for Safety Cases in Automotive Systems - A Case Study

Willem Ridderhof - ISPS Medical Software (The Netherlands) Hans-Gerhard Gross - Delft University of Technology (The Netherlands) Heiko Doerr - CARMEQ (Germany)

���� Goal-Based Safety Cases for Medical Devices: Opportunities & Challenges

Mark A. Sujan - University of Warwick (United Kingdom) Floor Koornneef - Delft University of Technology (The Netherlands) Udo Voges - Forschungszentrum Karlsruhe (Germany)

10:50 – 11:10 Coffee Break

11:10 – 12:25 Session 2: Impact of Security on Safety

Session Chair: Inga-Lill Bratteby-Ribbing - FMV (Sweden)

���� Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety

Richard Robinson - Boeing Phantom Works (USA) Mingyan Li - Boeing Phantom Works (USA) Scott Lintelman - Boeing Phantom Works (USA) Krishna Sampigethaya - University of Washington (USA) Radha Poovendran - University of Washington (USA) David von Oheimb - Siemens Corporate Technology (Germany) Jens-Uwe Bußer - Siemens Corporate Technology (Germany) Jorge Cuellar - Siemens Corporate Technology (Germany)

Wednesday - September 19th, 2007 ���� Future Perspectives: The Car and its IP-Address - A Potential Safety and

Security Risk Assessment Andreas Lang - University of Magdeburg (Germany) Jana Dittmann - University of Magdeburg (Germany) Stefan Kiltz - University of Magdeburg (Germany) Tobias Hoppe - University of Magdeburg (Germany)

���� Modelling Interdependencies between the Electricity and Information

Infrastructures Jean-Claude Laprie - LAAS-CNRS (France) Karama Kanoun - LAAS-CNRS (France) Mohamed Kaâniche - LAAS-CNRS (France)

12:25 – 13:55 Lunch Break

13:55 – 14:25 Session 3: Presentation of EWICS Activities

Session Chair: Gerd Rabe - TÜV Nord (Germany)

���� Technical Subgroup on Safety of Medical Devices

Floor Koornneef - Delft University of Technology (The Netherlands) ���� Technical Subgroup on Security of Safety-Critical Computer Systems

Odd Nordland - SINTEF (Norway) ���� Technical Subgroup on Maintenance and Modification of Diverse Systems

Erwin Schoitsch - Austrian Research Centers (Austria) ���� Technical Subgroup on Education and Training in Dependable Systems

Engineering Udo Voges - Forschungszentrum Karlsruhe (Germany)

14:25 – 14:55 Poster Session 1

Session Chair: Bjørn Axel Gran - OECD Halden Reactor Project (Norway)

���� Handling Malicious Code on Control Systems Wan-Hui Tseng - Yuan-Ze University (Taiwan) Chin-Feng Fan - Yuan-Ze University (Taiwan)

���� Management of Groups and Group Keys in Multi-Level Security Environments

Mohammad Alhammouri - The George Washington University (USA) Sead Muftic - Stockholm Royal Institute of Technology (Sweden)

���� Application of the XTT Rule-Based Model for Formal Design and Verification of

Internet Security Systems Grzegorz J. Nalepa - University of Science and Technology of Cracow (Poland)

Wednesday - September 19th, 2007 ���� RAMSS Analysis for a Co-operative Integrated Traffic Management System

Armin Selhofer - Austrian Research Centers (Austria) Thomas Gruber - Austrian Research Centers (Austria) Michael Putz - Austrian Research Centers (Austria) Erwin Schoitsch - Austrian Research Centers (Austria) Gerald Sonneck - Tribun (Austria)

���� Combining Static / Dynamic Fault Trees and Event Tree using Bayesian

Networks S. M. Hadi Hosseini - Tohoku University (Japan) Makoto Takahashi - Tohoku University (Japan)

���� Component Fault Tree Analysis Resolves Complexity: Dependability

Confirmation for a Railway Brake System Reiner Heilmann - Siemens Corporate Technology (Germany) Stefan Rothbauer - Siemens Corporate Technology (Germany) Ariane Sutor - Siemens Corporate Technology (Germany)

14:55 – 15:15 Coffee Break

15:15 – 16:30 Session 4: Fault Tree Analysis

Session Chair: Max Walter - Technical University of Munich (Germany)

���� Compositional Temporal Fault Tree Analysis Martin Walker - University of Hull (United Kingdom) Leonardo Bottaci - University of Hull (United Kingdom) Yiannis Papadopoulos - University of Hull (United Kingdom)

���� Representing Parameterised Fault Trees Using Bayesian Networks

William Marsh - Queen Mary University of London (United Kingdom) George Bearfield - Queen Mary University / Rail Safety and Standards Board (UK)

���� Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

Andreas Lüdtke - OFFIS (Germany) Lothar Pfeifer - OFFIS (Germany)

17:00 - 19:30 Technical Visit at the Underground Railway Control Centre

18:00 - 20:00 Visit of Late Renaissance Fembo Haus

20:00 Welcome Reception at the Town Hall

Thursday - September 20th, 2007 8:00 – 8:30 Registration

8:30 – 10:10 Session 5: Safety Analysis

Session Chair: Peter B. Ladkin - University of Bielefeld (Germany)

���� Safety Analysis of Safety-Critical Software for Nuclear Digital Protection

System Gee-Yong Park - Korea Atomic Energy Research Institute (Korea) Jang-Soo Lee - Korea Atomic Energy Research Institute (Korea) Se-Woo Cheon - Korea Atomic Energy Research Institute (Korea) Kee-Choon Kwon - Korea Atomic Energy Research Institute (Korea) Eunkyoung Jee - Korea Advanced Institute of Science and Technology (Korea) Kwang Yong Koh - Korea Advanced Institute of Science and Technology (Korea)

���� Specification of a Software Common Cause Analysis Method

Rainer Faller - exida.com (Germany) ���� Combining Bayesian Belief Networks and the Goal Structuring Notation to

Support Architectural Reasoning about Safety Weihang Wu - University of York (United Kingdom) Tim Kelly - University of York (United Kingdom)

���� Application of Interactive Cause & Effect Diagrams to Safety-Related PES in

Industrial Automation Hans Russo - infoteam Software (Germany) Andreas Turk - infoteam Software (Germany)

10:10 – 10:30 Coffee Break

10:30 – 12:10 Session 6: Security Aspects

Chair: Floor Koornneef - Delft University of Technology (The Netherlands)

���� Survival by Deception

Martin Gilje Jaatun - SINTEF ICT (Norway) Åsmund Ahlmann Nyre - SINTEF ICT (Norway) Jan Tore Sørensen - Norwegian University of Science and Technology (Norway)

���� How to Secure Bluetooth-based Pico Networks

Dennis K. Nilsson - Chalmers University of Technology (Sweden) Phillip A. Porras - SRI International (USA) Erland Jonsson - Chalmers University of Technology (Sweden)

Thursday - September 20th, 2007 ���� Learning from your Elders: A Shortcut to Information Security Management

Success Finn Olav Sveen - University of Navarra (Spain) Jose Manuel Torres - University of Navarra (Spain) Jose Maria Sarriegi - University of Navarra (Spain)

���� Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees

Stylianos Basagiannis - Aristotle University of Thessaloniki (Greece) Panagiotis Katsaros - Aristotle University of Thessaloniki (Greece) Andrew Pombortsis - Aristotle University of Thessaloniki (Greece)

12:10 – 13:40 Lunch Break

13:40 – 14:10 Poster Session 2

Session Chair: Robert Genser - Ögart (Austria)

���� Safety Process Improvement with POSE & Alloy

Derek Mannering - General Dynamics UK (United Kingdom) Jon G. Hall - The Open University (United Kingdom) Lucia Rapanotti - The Open University (United Kingdom)

���� Defense-in-Depth and Diverse Qualification of Safety-Critical Software

Horst Miedl - Institute for Safety Technology (Germany) Jang-Soo Lee - Korea Atomic Energy Research Institute (Korea) Arndt Lindner - Institute for Safety Technology (Germany) Ernst Hoffman - Institute for Safety Technology (Germany) Josef Märtz - Institute for Safety Technology (Germany) Young-Jun Lee - Korea Atomic Energy Research Institute (Korea) Jong-Gyun Choi - Korea Atomic Energy Research Institute (Korea) Jang-Yeol Kim - Korea Atomic Energy Research Institute (Korea) Kyoung-Ho Cha - Korea Atomic Energy Research Institute (Korea) Se-Woo Cheon - Korea Atomic Energy Research Institute (Korea) Cheol-Kwon Lee - Korea Atomic Energy Research Institute (Korea) Gee-Yong Park - Korea Atomic Energy Research Institute (Korea) Kee-Choon Kwon - Korea Atomic Energy Research Institute (Korea)

���� Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer

Jonny Vinter - Technical Research Institute of Sweden (Sweden) Henrik Eriksson - Technical Research Institute of Sweden (Sweden) Astrit Ademaj - Vienna University of Technology (Austria) Bernhard Leiner - TTTech Computertechnik (Austria) Martin Schlager - TTTech Computertechnik (Austria)

Thursday - September 20th, 2007 ���� Achieving Highly Reliable Embedded Software: An Empirical Evaluation of

Different Approaches Falk Salewski - Technical University of Aachen (Germany) Stefan Kowalewski - Technical University of Aachen (Germany)

���� A Concept for a Safe Realization of a State Machine in Embedded Automotive

Applications Jürgen Mottok - Regensburg University of Applied Sciences (Germany) Frank Schiller - Technical University of Munich (Germany) Thomas Völkl - Siemens VDO Automotive (Germany) Thomas Zeitler - Siemens VDO Automotive (Germany)

14:10 – 15:25 Session 7: Verification & Validation

Session Chair: Martin Rothfelder - Siemens (Germany)

���� Safety Demonstration and Software Development Jean-Claude Laprie - LAAS-CNRS (France)

���� Improving Test Coverage for UML State Machines Using Transition

Instrumentation Mario Friske - Fraunhofer FIRST (Germany) Bernd-Holger Schlingloff - Fraunhofer FIRST (Germany)

���� Verification of Distributed Applications

Bruno Langenstein - DFKI (Germany) Andreas Nonnengart - DFKI (Germany) Georg Rock - DFKI (Germany) Werner Stephan - DFKI (Germany)

15:25 – 15:45 Coffee Break

15:45 – 16:45 Panel: Certifying Software Tools for Dependable Systems

���� Panel Members:

Peter Ladkin - University of Bielefeld (Germany) Bev Littlewood - City University of London (United Kingdom) Rainer Faller - exida.com (Germany) Ralf Pinger - Siemens Rail Automation (Germany) Stefan-Alexander Schneider - BMW (Germany)

Thursday - September 20th, 2007 16:45 – 18:00 Session 8: Platform Reliability

Session Chair: Odd Nordland - SINTEF (Norway)

���� Analysis of Combinations of CRC in Industrial Communication

Tina Mattes - Technical University of Munich (Germany) Jörg Pfahler - Technical University of Munich (Germany) Frank Schiller - Technical University of Munich (Germany) Thomas Honold - Technical University of Munich (Germany)

���� A Comparison of Partitioning Operating Systems for Integrated Systems

Bernhard Leiner - TTTech Computertechnik (Austria) Martin Schlager - TTTech Computertechnik (Austria) Roman Obermaisser - Vienna University of Technology (Austria) Bernhard Huber - Vienna University of Technology (Austria)

���� Software Encoded Processing: Building Dependable Systems with Commodity

Hardware Ute Wappler - Technical University of Dresden (Germany) Christof Fetzer - Technical University of Dresden (Germany)

19:00 – 20:00 Guided Tour through the City of Nuremberg

20:00 Conference Dinner

Friday - September 21st, 2007 8:00 – 8:30 Registration

8:30 – 9:10 Keynote Address 2 - Invited Talk

Session Chair: Udo Voges - Forschungszentrum Karlsruhe (Germany)

���� The 7th Framework Programme: ICT and Security Invited Speaker: Yves Paindaveine - European Commission, DG INFSO (Belgium)

9:10 – 10:25 Session 9: Reliability Evaluation

Session Chair: Wolfgang Ehrenberger - Fulda University Appl. Sciences (Germany)

���� Reliability Modeling for the Advanced Electric Power Grid

Ayman Z. Faza - University of Missouri-Rolla (USA) Sahra Sedigh - University of Missouri-Rolla (USA) Bruce M. McMillin - University of Missouri-Rolla (USA)

���� Case Study on Bayesian Reliability Estimation of Software Design of Motor

Protection Relay Atte Helminen - TVO (Finland)

���� A Reliability Evaluation of a Group Membership Protocol

Valério Rosset - University of Porto (Portugal) Pedro F. Souto - University of Porto (Portugal) Paulo Portugal - University of Porto (Portugal) Francisco Vasques - University of Porto (Portugal)

10:25 – 10:45 Poster Session 3

Session Chair: Werner Stephan - DFKI (Germany)

���� Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity Kizito Salako - City University of London (United Kingdom)

���� A Tool for Network Reliability Analysis

Andrea Bobbio - University of Piemonte Orientale (Italy) Roberta Terruggia - University of Torino (Italy) Andrea Boellis - ENEA (Italy) Ester Ciancamerla - ENEA (Italy) Michele Minichino - ENEA (Italy)

���� DFT and DRBD in Computing Systems Dependability Analysis

Salvatore Distefano - University of Messina (Italy) Antonio Puliafito - University of Messina (Italy)

Friday - September 21st, 2007 ���� Development of Model Based Tools to Support the Design of Railway Control

Applications István Majzik - Budapest University of Technology and Economics (Hungary) Zoltán Micskei - Budapest University of Technology and Economics (Hungary) Gergely Pintér - Budapest University of Technology and Economics (Hungary)

10:45 – 11:00 Coffee Break

11:00 – 12:15 Session 10: Formal Methods

Session Chair: Bettina Buth - Hamburg University of Applied Sciences (Germany)

���� Formal Specification and Analysis of AFDX Redundancy Management

Algorithms Jan Täubrich - Philips Medical Systems DMC (Germany) Reinhard von Hanxleden - University of Kiel (Germany)

���� Modeling and Automatic Failure Analysis of Safety-Critical Systems using

Extended Safecharts Yean-Ru Chen - National Taiwan University (Taiwan) Pao-Ann Hsiung - National Chung Cheng University (Taiwan) Sao-Jie Chen - National Taiwan University (Taiwan)

���� Using Deductive Cause-Consequence Analysis (DCCA) with SCADE

Matthias Güdemann - University of Augsburg (Germany) Frank Ortmeier - University of Augsburg (Germany) Wolfgang Reif - University of Augsburg (Germany)

12:15 – 13:35 Lunch Break

13:35 – 14:25 Session 11: Static Code Analysis

Session Chair: Albrecht Weinert - Bochum University of Applied Sciences (DE)

���� Experimental Assessment of Astrée on Safety-Critical Avionics Software

Jean Souyris - Airbus France (France) David Delmas - Airbus France (France)

���� Detection of Runtime Errors in MISRA C Programs: A Deductive Approach

Ajith K.J. - Bhabha Atomic Research Centre (India) Babita Sharma - Bhabha Atomic Research Centre (India) A.K. Bhattacharjee - Bhabha Atomic Research Centre (India) S.D. Dhodapkar - Bhabha Atomic Research Centre (India) S. Ramesh - Indian Institute of Technology (India)

Friday - September 21st, 2007 14:25 – 15:40 Session 12: Safety-related Architectures

Session Chair: Erwin Schoitsch - Austrian Research Centers (Austria)

���� A Taxonomy for Modelling Safety Related Architectures in Compliance with

Functional Safety Requirements Jesper Berthing - Danfoss Drives (Denmark) Thomas Maier - Danfoss Drives (Denmark)

���� Controller Architecture for Safe Cognitive Technical Systems

Sebastian Kain - Technical University of Munich (Germany) Hao Ding - Technical University of Munich (Germany) Frank Schiller - Technical University of Munich (Germany) Olaf Stursberg - Technical University of Munich (Germany)

���� Improved Availability and Reliability using Re-configuration Algorithm for Task

or Process in an Flight Critical Software Ananda Challaghatta Muniyappa - National Aerospace Laboratories (India)

15:40 – 16:10 Closing Session

���� Announcement of SAFECOMP 2008

Mark-Alexander Sujan - University of Warwick (United Kingdom) ���� Summary and Farewell

Udo Voges - EWICS TC7 Chair Francesca Saglietti - Conference Chair

16:10 Coffee & Wrap Up

TECHNICAL VISIT AT THE UNDERGROUND RAILWAY CONTROL CENTRE Wednesday - September 19th, 2007 In 2008 the fully automated underground railway system of Nuremberg (called Rubin for "Realisierung einer automatisierten U-Bahn in Nuremberg") is scheduled to start driverless service operation. Unlike similar systems operating in Paris, Vancouver or Singapore the Nuremberg automated trains will be integrated into the existing conventional underground network. This requires in particular a complex railtrack observation system which was especially designed for the identification of threats. The responsibility for the whole public underground transportation system, including both automated and conventional parts, lies with the Underground Railway Control Centre. An invited talk on this application will be given in the morning. In the afternoon conference attendants will be invited to visit the Underground Railway Control Centre.

passenger information passenger information displays (ZZA) platform loudspeakers info boxes interlocking system relay interlocking system (RSTW) electronic interlocking system (ESTW) signalling system ATC system ATC wayside computer (ATC-STR) ATC back channel computer (ATC-RK) track conductor loops (LL) platform safety system platform track monitoring (BGÜ) platform track observation (BGB) trespasser monitoring (EDÜ) long coupling area monitoring (LKÜ) platform end doors (BAT) emergency stop switch (NHS) platform safety controller (GPC)

SCIENTIFIC SPONSOR AND ORGANISERS

SCIENTIFIC AND INDUSTRIAL CO-SPONSORS

CONFERENCE SECRETARIAT

Secretariat SAFECOMP 2007 Department of Software Engineering (Informatik 11) University of Erlangen-Nuremberg Martensstrasse 3, 91058 Erlangen, Germany Phone: +49 (0) 9131 85 27877, Fax: +49 (0) 9131 85 28746 safecomp2007@informatik.uni-erlangen.de

1 1TC7

EW

I C

S

TC7

EW

I C

S

EEuropean

NNetwork of

CClubs for

RREEliability and

SSafety of

SSoftware

The Safety-Critical Systems Club

The Software Reliability & Metrics Club

International Federation for Information Processing

International Federation of Automatic Control

Dependable Embedded Components and Systems

Ingenieur Büro Wolfgang H. Baumann

European Workshop on Industrial Computer Systems

TC7

Gesellschaft für Informatik

e. V.

Dpt. of Software Engineering University of

Erlangen-Nuremberg

Informationstechnische Gesellschaft im VDE