| Description |
1 online resource (xiv, 482 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 6894 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6894. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Machine generated contents note: Session 1 Ram Evaluation -- Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software / Gabriele Manno -- Model-Driven Availability Evaluation of Railway Control Systems / Valeria Vittorini -- Session 2 Complex Systems Dependability 1 -- Vertical Safety Interfaces -- Improving the Efficiency of Modular Certification / Mario Trapp -- DALculus -- Theory and Tool for Development Assurance Level Allocation / Christel Seguin -- Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach / Tormod Wien -- Session 3 Formal Verification 1 -- From Probabilistic Counterexamples via Causality to Fault Trees / Stefan Leue -- Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software / Samuel Mimram -- Session 4 Risk and Hazard Analysis -- Evolutionary Risk Analysis: Expert Judgement / Alessandra Tedeschi -- Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems / Reinhold Weiß -- Session 5 Cybersecurity -- Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems / Andrea Bondavalli -- Security Analysis of Smart Grid Data Collection Technologies / Luigi Romano -- Session 6 RAM Evaluation 2 -- Modeling Aircraft Operational Reliability / Chris Papadopoulos -- Integrated Approach for Availability and QoS Evaluation in Railway Systems / Pietro Marmo -- Session 7 Case Studies -- Using a Software Safety Argument Pattern Catalogue: Two Case Studies / Tim Kelly -- Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A Dam Case Study / Luigi Romano -- Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain / Roberto Pietrantuono -- Session 8 Formal Verification 2 |
|
Note continued: Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems / Mike Jump -- Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT / Paul Pettersson -- Poster Session -- Establishing Confidence in the Usage of Software Tools in Context of ISO 26262 / Christian Peer -- Fault-Based Generation of Test Cases from UML-Models -- Approach and Some Experiences / Elisabeth Jobstl -- ISO/IEC 15504-10: Motivations for Another Safety Standard / Mario Fusani -- Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis / Yoshiharu Maeno -- Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks / Roberto Baldoni -- Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors / Hamid Reza Zarandi -- ̂ FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment / William H. Sanders -- Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System / Enrico Vicario -- Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems / Alessio Venticinque -- Session 9 Formal Verification 3 -- On the Adoption of Model Checking in Safety-Related Software Industry / Stefania Gnesi -- Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC / Jang-Soo Lee -- Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models / Enrico Vicario -- Session 10 Optimization Methods -- Model-Based Multi-objective Safety Optimization / Frank Ortmeier -- Tradeoff Exploration between Reliability, Power Consumption, and Execution Time / Hamoudi Kalla -- Session 11 Complex Systems Dependability 2 -- ̂ Criticality-Driven Component Integration in Complex Software Systems / Stefano Russo |
|
Note continued: On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems / Francesco Flammini |
| Summary |
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Computers -- Reliability -- Congresses
|
|
Computer security -- Congresses
|
|
Informatique.
|
|
Computer security
|
|
Computers -- Reliability
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Flammini, Francesco.
|
|
Bologna, Sandro.
|
|
Vittorini, Valeria.
|
| ISBN |
9783642242700 |
|
3642242707 |
|
3642242693 |
|
9783642242694 |
|
