Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11093)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SAFECOMP 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 papers)
-
Front Matter
-
Automotive Safety Standards and Cross-Domain Reuse Potential
-
Front Matter
-
-
Verification
-
Front Matter
-
-
Fault Tolerance
-
Front Matter
-
Other volumes
-
Computer Safety, Reliability, and Security
-
Computer Safety, Reliability, and Security
Keywords
- Artificial intelligence
- Cybersecurity
- Data security
- Dependability analysis
- Distributed and real-time monitoring and control
- Embedded systems
- Fault-tolerant system
- Formal methods for verification, validation, and fault tolerance
- Hardware
- Methods for qualification, assurance and certification
- Model-based analysis, design, and assessment
- Network security
- Safety and security cases
- Security and privacy protection mechanisms
- Semantics
- Software engineering
- Software evaluation
- Validation and verification methodologies
- Wireless telecommunication systems
About this book
This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018.
The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
Editors and Affiliations
Bibliographic Information
Book Title: Computer Safety, Reliability, and Security
Book Subtitle: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Editors: Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-99130-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99129-0Published: 17 August 2018
eBook ISBN: 978-3-319-99130-6Published: 03 September 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 312
Number of Illustrations: 92 b/w illustrations
Topics: Logics and Meanings of Programs, Special Purpose and Application-Based Systems, Computer Communication Networks, Software Engineering, Systems and Data Security, Control Structures and Microprogramming