3rd Scandinavian Conference on System & Software Safety SÄKERHETSKRITISK PROGRAMVARA System & Software Safety 2015 System and software safety in electronic systems is becoming increasingly central in many industries. The systems become ever more complex and the software continues to grow. Some industries are quite mature in the handling of safety, whereas others have only recently started their safety journey. 24-25 March Stockholm TIME 24-25 March 2015 PLACE KTH, Stockholm ORGANIZERS Addalot Consulting AB KTH, ICES COST (excl. VAT): This year's conference on safety critical system and software is a central meeting place for Scandinavian safety experts from different industries. It is an opportunity to share experiences and make new contacts. There will be an overview day followed by a day of parallel sessions with in depth presentations and discussions about different challenges, techniques, standards and methods. At the end of the first day there is conference dinner with opportunities to establish further contacts among the participants. Warm Welcome! Early bird Late Two days* 2500:- 2800:Only Day 1* 1750:- 1600:Only Day 2 1250:- 1100:One Workshop 700:600:*Conference dinner is included. Early bird deadline: 16 February Final registration: 11 March Full program and registration http://safety.addalot.se/ A confirmation will be returned with payment instructions for participation in the conference. Nicolas Martin-Vivaldi [email protected] 0706 800 521 Martin Törngren, KTH/ICES [email protected] 08-790 63 07 www.addalot.se For any late changes, check the web Verrsion 141215 3rd Scandinavian Conference on System & Software Safety SÄKERHETSKRITISK PROGRAMVARA 24-25 March Stockholm TUESDAY 24 MARCH Registration from 08:30, Start 09:30, End 17:10 Introduction and welcome: Addalot, KTH and ICES Nicolas Martin-Vivaldi Martin Törngren Phil Koopman Reducing the cost of Defensive Code – the Ada 2012 appro- Quentin Ochem, AdaCore ach Working goal based with IEC 61508-3 Tor Stålhane , NTNU Coffee Is Open Source Safe and Secure? Pehr Burenius, BlackDuck On developing, sustaining and evolving a safety culture Örjan Askerdal , Knowit Lunch Short presentation of Swedsoft’s new mission and activities Jonas Wallberg, Teknikföretagen Key Note: A Case Study of Toyota Unintended Acceleration Prof. Phil Koopman, CMU Emerging methods for safety assessment of software Kristina Forsberg, SAAB An approach to a modern functional safety design Peter Hoogenboom, Green Hills Software Coffee How to increase efficiency with the certification of process Barbara Gallina, compliance MDH Safe Program Execution with Diversified Encoding Martin Süßkraut SIListra Systems GmbH Will your safety case pass an ISO 26262 assessment? Ola Örsmark, Comentor WEDNESDAY 25 MARCH Morning parallel workshops (08:30-12:00) Analysis methods Safety and Security Presentation and discussion around different analysis methods for safety, e.g. FMEA, Risk limitation and collaborating systems. Tor Stålhane, NTNU, Tord Wullt, Addalot and Michael Kieviet, innotec Secure cloud, Information security and safety, comparing safety and security standards and open source. Pierre Wettergren, CCG Europe AB, Rickard Svenningsson, SP, Nicolas MartinVivaldi, Addalot, Pehr Burenius, BlackDuck Education and culture Autonomous system safety PROMPT, Professional master training in software engineering. Continued: On developing, sustaining and evolving a safety culture. Kristina Forsberg, SAAB, Hans Hansson, MDH, Örjan Askerdal, Knowit Safety challenges when consumer products evolve towards autonomy. Best practices towards cost-effective, efficient and rapid methods to assure system safety. Phil Koopman, CMU, Martin Törngren, KTH Afternoon parallel workshops (13:00-17:00) Certification Design, code and test Agility and safety Reuse of certication artefacts, goals based certification, efficiency and how to pass 26262 assessment. Irfan Sljivo, MDH, Tor Stålhane, NTNU , Barbara Gallina, MDH, Ola Örsmark, Comentor Modern safety design, Architecture and traceability, Diversified encoding, Defensive code and sufficient testing. Mahnaz Malekzadeh, MDH, Martin Süßkraut, SIListra Systems GmbH , Björn Möller, Atlas Copco, Quentin Ochem, AdaCore Agile development and ISO 26262 - State-of-Practice in Automotive, Agile development of safety critical systems, Agility and Safety, Erwin Petry, KUGLER MAAG CIE GmbH, Jaana Nyfjord, SICS, EvenAndré Karlsson, Addalot Full Workshop program on the web; http://safety.addalot.se/ www.addalot.se For any late changes, check the web Verrsion 141215