Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Tonetta, Stefano (Editor), Schoitsch, Erwin (Editor), Bitsch, Friedemann (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10489
• Subjects: Computer science.; Computer organization.; Software engineering.; Programming languages (Electronic computers).; Computer security.; Computer logic.; Application software.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Systems and Data Security.; Computer Applications.; Computer Systems Organization and Communication Networks.

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

Table of Contents:

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