Description |
1 online resource (xvi, 425 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 9338 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 9338. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Intro; Preface; Organizing Committee; ASSURE 2015; The 3rd International Workshop on AssuranceCases for Software-Intensive Systems; DECSoS 2015; Introduction ERCIM/EWICS/ARTEMISWorkshop on Dependable Embeddedand Cyber-Physical Systemsand Systems-of-Systems at SAFECOMP 2015; ISSE 2015; 2nd International Workshop on the Integrationof Safety and Security Engineering; ReSA4CI 2015; Introduction to the Safecomp 2015 Workshop:Reliability and Security Aspectsfor Critical Infrastructure Protection; SASSUR 2015 |
|
4th InternationalWorkshop on NextGenerationof System Assurance Approachesfor Safety-Critical SystemsSponsors; Conference Partners; Contents; Assurance Cases for Software-Intensive Systems (ASSURE 2015); Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic; 1 Introduction; 2 Formalization in Assurance Argumentation; 3 Fundamental GSN Elements and Notions; 4 Semantics; 5 Argument Consistency; 6 Conclusions; References; Representing Confidence in Assurance Case Evidence; 1 Introduction; 2 Background and Related Work; 3 Application to Assurance Cases; 3.1 Node Example |
|
3.2 Assurance Example4 Conclusions; References; Safe & Sec Case Patterns; 1 Introduction; 2 Safe & Sec Process Patterns; 2.1 Subordinate Process Pattern; 2.2 Uni-Directional Reference Process Pattern; 2.3 Interrelated (Independent) Process Pattern; 2.4 Interrelated (SafSec) Process Pattern; 3 Safe & Sec Case Patterns; 3.1 Independent Case Pattern; 3.2 Subordinate Case Pattern; 3.3 Uni-Directional Reference Case Pattern; 3.4 Interrelated (Independent) Case Pattern; 3.5 Interrelated (SafSec) Case Pattern; 4 Related Work; 5 Conclusion; References; A Comprehensive Safety Lifecycle; Abstract |
|
1 Introduction2 CLASS Principles; 3 The CLASS Meta Process; 3.1 Development Component; 3.2 Update Component; 4 The CLASS Instance Process; 4.1 InstanceCLASS Information Flow; 4.2 Safety Information Repository; 5 The CLASS Resource Repository; 6 The CLASS Analysis Framework; 7 The CLASS Approval Process; 8 Conclusion; Acknowledgments; References; An Approach to Assure Dependability Through ArchiMate; Abstract; 1 Introduction; 2 Related Work; 2.1 Assurance Case; 2.2 Open Dependability Through Assuredness; 2.3 Assured ADM; 2.4 ArchiMate; 3 Assurance Case Patterns for Architecture |
|
3.1 Dependability Argument and ArchiMate3.2 Assurance Case Derivation from ArchiMate Model; 4 Example Study; 4.1 Driving Diagnosis Service; 4.2 BA in ArchiMate; 5 Discussion; 5.1 Effectiveness; 5.2 Applicability; 5.3 Generality; 5.4 Limitations; 6 Conclusion; Acknowledgment; References; Tool Support for Assurance Case Building Blocks; Abstract; 1 Introduction; 2 CAE Building Blocks and the "Helping Hand"; 2.1 Building Blocks Concept; 2.2 "Helping Hand" for CAE Building Blocks; 3 Tool Description; 3.1 Tool Support for CAE Building Blocks; 3.2 Integration with ASCE |
Summary |
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year's workshop are: ASSURE 2015 - Assurance Cases for Software-intensive Systems; DECSoS'15 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; ISSE'15 - International workshop on the Integration of Safety and Security Engineering; ReSA4CI 2015 - International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection; SASSUR 2015 - International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems |
Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed September 17, 2015) |
Subject |
Computer security -- Congresses
|
|
Computer systems -- Reliability -- Congresses
|
|
Software Engineering.
|
|
Computer security.
|
|
Computer networking & communications.
|
|
Computer programming -- software development.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Security -- General.
|
|
Computers -- Hardware -- General.
|
|
Computers -- Programming -- General.
|
|
Computer security
|
|
Computer systems -- Reliability
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Koornneef, Floor, 1950- editor.
|
|
Gulijk, Coen van, editor
|
|
ASSURE (Workshop) (3rd : 2015 : Delft, Netherlands)
|
|
DECSoS (Workshop) (2nd : 2015 : Delft, Netherlands)
|
|
ISSE (Workshop) (2nd : 2015 : Delft, Netherlands)
|
|
ReSA4CI (Workshop) (2nd : 2015 : Delft, Netherlands)
|
|
SASSUR (Workshop) (3rd : 2015 : Delft, Netherlands)
|
ISBN |
9783319242491 |
|
3319242490 |
|
3319242482 |
|
9783319242484 |