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-releva...

Full description

Saved in:
Bibliographic Details
Main Authors: Benac Earle, Clara, Fernandez-Soriano, Ana Maria, Fredlund, Lars-Ake, Gomez-Martinez, Elena
Format: Conference Proceeding
Language:English
Subjects:
Contract-based design
Contracts
Petri nets
Safety
Safety critical
Seminars
Software
Software engineering
UML
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1089-6503
2376-9505
DOI:10.1109/SEAA.2015.67