Conference Program
Registration: 8:00 a.m. - 4:00 p.m.
Conference program for download (pdf)
Preconference - Monday 13th - Tuesday 14th
EWICS TC 7 Meeting
- for details see http://www.ewics.org.
Workshops
Workshop 1
S&D4RCES – International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Contact: Brahim HAMID, IRIT- University of Toulouse, France
Registration will be available in August!
Workshop 2
ERCIM/DECOS/MOGENTES Workshop on Dependable Embedded Systems
Contact: Erwin Schoitsch , AIT Austrian Institute of Technology, Austria
Tutorials
Tutorial 1
Integration and Complexity of Flight Systems - The Role of Data Buses
CANCELLED
Tutorial 2
Goal directed Specification, Measurement and Certification of Functionality, Integrity, Privacy, Safety and Security
CANCELLED
Main Conference - Wednesday 15th - Friday 17th
Wednesday 15th
9:00 - 9:30 Welcome Addresses
- Francesca Saglietti, EWICS Chair, University of Erlangen-Nuremberg, Germany
- Gerald Futschek, Technical University of Vienna, President of the Austrian Computer Society, Austria
- Erwin Schoitsch, Conference Chair, AIT Austrian Institute of Technology, Austria
- Lisbeth Mosnik, Federal Ministry for Transport, Innovation and Technology
9:30 - 10:15 Keynote I
System of Systems Challenges
Hermann Kopetz, Vienna University of Technology, Austria
10:15 - 10:45 Coffee Break
10:45 - 12:45 Session 1: System Analysis
Reliability Analysis of Safety-Related Communication Architectures
Oliver Schulz, Jan Peleska, University of Bremen, Germany
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children
Thomas Gruber, Petr Böhm, AIT Austrian Institute of Technology, Austria
Variability Management of Safety and Reliability Models: An Intermediate Model towards systematic Reuse of Component Fault Trees
Carolina Gomez, Peter Liggesmeyer, TU Kaiserslautern, Germany; Ariane Sutor, Siemens Corp. Research, Munich, Germany
QoS Analysis of Weighted Multistate Probabilistic Networks via Decision Diagrams
Roberta Terruggia, Andrea Bobbio, University Piemonte Orientale, Italy
12:45 - 14:00 Lunch
14:00 - 16:00 Session 2: Safety Cases and Certification
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain
Jussi Lahtinen, Jukka Ranta, Hannu Harju, VTT, Finland; Mika Johansson, Risto Nevalainen, Tampere University of Technology, Finland
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Nurlida Basir, Bernd Fischer, University of Southampton, UK; Ewen Denney, NASA Ames Research Center, USA
Assurance of Automotive Safety - A Safety Case Approach
Robert Palin, Jaguar Land Rover, Coventry, UK; Ibrahim Habli, University of York, UK
How to "Survive" a Safety Case According to ISO 26262
Torsten Dittel, Ford, Cologne, Germany; Hans-Jörg Aryus, SystemA Engineering, Immenstaad, Germany
16:00 - 16:30 Coffee Break
16:30 - 18:00 Session 3: Aerospace
Benchmarking Software Requirements Documentation for Space Application
Paulo Veras, Rodrigo P. Pontes, Emilia Villani, Aeronautical Institute, São José dos Campos-SP, Brazil; Ana Maria Ambrosio, National Institute for Space Research, São José dos Campos-SP, Brazil; Henrique Madeira, Marco Vieira, Aeronautical University of Coimbra, Portugal
Verifying Mode Consistency for On-Board Satellite Software
Alexei Iliasov, Alexander Romanovsky, University of Newcastle, UK; Elena Troubitsyna, Linas Laibinis, Abo University, Finland; Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala, Space Systems Finland, Finland
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace
Christopher Johnson, University of Glasgow, Scotland, UK
20:00 Welcome Reception
City Hall, Restaurant Wiener Rathauskeller
Thursday 16th
8:30 - 9:30 Session 4: Error Detection
Residual Error Probability of Embedded CRC by Stochastic Automata
Frank Schiller, Tina Mattes, TU Munich, Germany
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software
Ute Schiffel, Andre Schmitt, Martin Süßkraut, Christof Fetzer, TU Dresden, Germany
9:30 - 10:15 Keynote II
Murphy Was An Optimist
Kevin Driscoll - Honeywell Laboratories, USA
10:15 - 10:45 Coffee Break
10:45 - 12:45 Session 5: Validation and Verification
Field Test Methods for a Co-operative Integrated Traffic Management System
Thomas Gruber, Egbert Althammer, Erwin Schoitsch, AIT Austrian Institute of Technology, Austria
100% Coverage for Safety-Critical Software - Effcient Testing by Static Analysis
Daniel Kästner, Reinhold Heckmann, Christian Ferdinand, AbsInt GmbH, Saarbrücken, Germany
MODIFI: A MODel-Implemented Fault Injection Tool
Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, SP Technical Research Inst. of Sweden, Sweden; Martin Törngren, KTH Stockholm, Sweden
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram
Eunkyoung Jee, Insup Lee, University of Pennsylvania, USA; Suin Kim, KAIST, Daejeon, Rep. of Korea;Sungdeok Cha, Korea University, Seoul, Rep. of Korea
12:45 - 14:00 Lunch
14:00 - 15:00 Session 6: Testing
Overcoming Non-determinism in Testing Smart Devices: a Case Study
Peter Bishop, CSR City University and Adelard, London, UK; Lukasz Cyra, Adelard, London, UK
Software Testing by People with Autism
Sjaak Brinkkemper, Suzanne Haanappel, Utrecht University, The Netherlands
14:00 - 15:00 EWICS TC7 presentation
EWICS TC7 Subgroup Presentations
16:00 - 16:30 Coffee Break
16:30 - 18:00 Session 7: Critical Infrastructure - Smart Grid
Information Flow Analysis of Energy Management in a Smart Grid
Ravi Akella, Bruce McMillin, Missouri University of Science and Technology, USA
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid
Sahra Sedigh, Bruce McMillin, Ayman Faza, Missouri University of Science and Technology, USA
A Metric for Measuring the Strength of Inter-dependencies
Silvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti, ENEA, Roma, Italy
18:30 - 19:30 Guided Tour
The guided tour through Schoenbrunn Castle will take you through the rooms of the palace showing you the apartments of Emperor Franz Joseph and Empress Elisabeth, as well as the magnificent ceremonial rooms in the central part of the palace. Afterwards a panorama train will take you to Gloriette, the belvedere of Schoenbrunn Castle, where the conference dinner will be held.
19:30 Conference Dinner
Schoenbrunn Palace, Gloriette
Friday 17th
8:30 - 9:30 Session 8: Security and Safety
Security Analysis of Open Building Automation Systems
Wolfgang Granzer, Wolfgang Kastner, Vienna University of Technology, Austria
A UML Profile for Requirements Analysis of Dependable Software
Denis Hatebur, ITESYS GmbH and University Duisburg-Essen, Germany; Maritta Heisel, University Duisburg-Essen, Germany
9:30 - 10:15 Keynote III
Process Control Security: go Dutch! (united, shared, lean and mean)
Eric Luiijf, TNO, The Hague, The Netherlands
10:15 - 10:45 Coffee Break
10:45 - 12:45 Session 9: Safety Engineering I
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2
Anders Sandberg, Mecel AB, Gothenburg, Sweden; Martin Törngren, DeJiu Chen KTH Stockholm, Sweden; Henrik Lönn, Lei Feng, Ramin Tavakoli-Kolagari, Volvo Technology, Gothenburg, Sweden; Rolf Johansson, Mentor Graphics, Gothenburg, Sweden; Sandra Torchiaro, CRF, Orbassano, Italy; Andreas Abele, Continental Automotive, Regensburg, Germany
Experiences in Applying Formal Verification in Robotics
Dennis Walter, Holger Täubig, Christoph Lüth, German Research Institute for AI, Bremen, Germany
Evolving a Safe System Design Iteratively
Alexandre Mota, Adriano Gomes, Joabe Jesus, University of Pernambuco, Brazil; Edson Watanabe, Felipe Ferri, Embraer, Brazil
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems
Peter Bishop, CSR City University and Adelard, London, UK; Kostas Tourlas, Nick Chozos, Adelard, London, UK
12:45 - 14:00 Lunch
14:00 - 16:00 Session 10: Safety Engineering II
Development of High-Integrity Software Product Lines Using Model Transformation
Stuart Hutchesson, John McDermid, Aero Engine Controls, Derby & University of York, UK
On the Safety Implications for e-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications
Christopher Johnson, Stefan Raue, University of Glasgow, Scotland, UK
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs
Thomas Novak, Christoph Stoegerer, SWARCO FUTURIT, Perchtoldsdorf, Austria
INDEXYS, A Logical Step Beyond GENESYS - INDustrial EXploitation of the genesYS cross-domain architecture
Andreas Eckel, Christian Fidi, TTTech, Vienna, Austria; Roman Obermaisser TU Vienna, Austria; Paul Milbredt, Audi AG, Germany; Zaid Al-Ars, Delft University of Technology, The Netherlands; Stefan Schneele, EADS Germany GmbH, Germany; Bart Vermeulen, NXP Semiconductors Netherlands B.V., The Netherlands; György Csertan, OptXware Research and Development Ltd., Hungary; Christoph Scheerer, Thales Rail Signalling Solutions GesmbH, Austria; Neerai Suri, Abdelmajid Khelil, Technical University of Darmstadt, Germany; Gerhard Fohler, Technical University of Kaiserslautern, Germany
16:00 - 16:30 Closing Session
Announcement of SAFECOMP 2011
Best Paper Award
Closing Remarks and Farewell
16:30 - 17:00 Coffee and Wrap Up