SASSUR Program

International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)
Tuesday, September 9th
Firenze, Italy

The Workshop will be held at “Palazzo Coppini – Komech room”, Via del Giglio, 10 – Firenze

The registration will take place at Auditorium al Duomo Florence – Via de Cerretani 54/r – Firenze
9:00 – 9:15
WELCOME – Alejandra Ruiz
Keynote
9:15 – 10:00 Challenges of aafe adaptation architecture for vehicles Gereon Weiss
10:00 – 10:30 Rethinking of Strategy for Safety Argument Development Linling Sun, Nuno Silva and Tim Kelly
10:30 – 11:00 Metamodel Comparison and Model Comparison for Safety Assurance Yaping Luo, Luc Engelen and Mark Van Den Brand
11:00 – 11:30 COFFEE BREAK
11:30 – 12:00 Assuring Avionics – Updating the Approach for the 21st Century Tom Ferrell and Uma Ferrell
12:00 – 12:30 Does Visualization Speed up the Safety Analysis Process? Ragaad Altarawneh, Max Steiner, Davide Taibi and Shah Rukh Humayoun
12:30 – 13:00 A Software Safety Verification Method Based on System-Theoretic Process Analysis (Position Paper) Asim Abdulkhaleq and Stefan Wagner
13:00 – 14:30 LUNCH

14:30 – 15:00 Quantifying Uncertainty in Safety Cases Using Evidential Reasoning Sunil Nair, Neil Walkinshaw and Tim Kelly
15:00 – 15:30 Agile Change Impact Analysis of Safety Critical Software Tor Stålhane, Geir Kjetil Hanssen, Thor Myklebust and Børge Haugset
15:30 – 16:00 Towards a Cross-domain Software Safety Assurance Process for Embedded Systems Marc Zeller, Kai Hoefig and Martin Rothfelder
16:00 – 16:30 COFFEE BREAK
16:30 – 17:30 Industrial Panel
17:30 – 17:45 Wrap Up Alejandra Ruiz

Contact: Alejandra Ruiz – alejandra.ruiz@tecnalia.com

Share: Queste icone linkano i siti di social bookmarking sui quali i lettori possono condividere e trovare nuove pagine web.
  • Twitter
  • Facebook
  • Google Bookmarks
  • Digg
  • del.icio.us
  • StumbleUpon
  • Reddit