Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
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
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