Computer Safety, Reliability, and Security: Safecomp 2017 Workshops, Assure, Decsos, Sassur, Telerise, and Tips, Trento, Italy, September 12, 2017, Pr

ISBN-13: 9783319662831 / Angielski / Miękka / 2017 / 478 str.

Stefano Tonetta; Erwin Schoitsch; Friedemann Bitsch

Opis

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 - Assurance Cases for Software-Intensive Systems; DECSoS 2017 - ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 - Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 - Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.

Spis treści

Assurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems and systems-of-systems.- Next generation of system assurance  approaches for safety-critical systems.- Timing performance in safety engineering.- Technical and legal aspects of data privacy and security.