|
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
