Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10489)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SAFECOMP 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (39 papers)
-
Front Matter
-
5th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2017)
-
Front Matter
-
-
12th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2017)
-
Front Matter
-
Other volumes
-
Computer Safety, Reliability, and Security
-
Computer Safety, Reliability, and Security
Keywords
- fault-tolerant hardware and software architectures
- fault detection and recovery
- mechanisms
- distributed and real-time monitoring and control
- security and privacy protection mechanisms
- safety/security risk assessment
- model-based analysis
- design and assessment
- formal methods
- probabilistic verification and validation
- in-the-loop and model-based testing
- validation and verification methodologies and tools
- methods for qualification, assurance and certification
- compositional verification and certification
- architecture-driven assurance of safety and security
- dependability analysis
- cyber-physical threats and vulnerability analysis
- safety and security cases
- multi-concern dependability assurance and standardization
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Computer Safety, Reliability, and Security
Book Subtitle: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Editors: Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-66284-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-66283-1Published: 29 September 2017
eBook ISBN: 978-3-319-66284-8Published: 01 September 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 478
Number of Illustrations: 138 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Systems and Data Security, Computer Applications, Computer Systems Organization and Communication Networks