Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Herausgegeben:Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 10489
• Verlag: Springer / Springer International Publishing / Springer, Berlin
• Artikelnr. des Verlages: 978-3-319-66283-1
• 1st ed. 2017
• Seitenzahl: 492
• Erscheinungstermin: 29. September 2017
• Englisch
• Abmessung: 235mm x 155mm x 27mm
• Gewicht: 772g
• ISBN-13: 9783319662831
• ISBN-10: 331966283X
• Artikelnr.: 48710046

Inhaltsangabe

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.