Teaching Software Safety to Master Students

A growing amount of software is developed for safety-critical systems, for instance, in the automotive, construction equipment, avionic, and rail domains. The ARTEMIS JU nSafeCer project is targeting increased efficiency and reduced time-to-market by compos able safety certification of safety-relevant embedded systems in the aforementioned domains. Providing evidence of the correct functioning of such software systems, is not a trivial task, nor is the reuse of the software components that are part of these systems. Establishing stronger links between certification, design and development of such software is also desirable. To prepare our students for these challenges, at the Universidad Politécnica de Madrid, we are planning to offer a series of seminar son these topics integrated as part of a European Master in Software Engineering. In this article, we provide an outline of the seminars that are planned for the 2015/2016 academic year, in the hope that the given material can assist other universities and research centres in providing similar courses.