Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / [electronic resource] : edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch. - 1st ed. 2017. - XIV, 478 p. 138 illus. online resource. - Programming and Software Engineering, 10489 2945-9168 ; . - Programming and Software Engineering, 10489 .

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.

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.

9783319662848

10.1007/978-3-319-66284-8 doi


Computer science.
Compilers (Computer programs).
Software engineering.
Data protection.
Application software.
Computer engineering.
Computer networks .
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Software Engineering.
Data and Information Security.
Computer and Information Systems Applications.
Computer Engineering and Networks.

QA75.5-76.95

004.0151