Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ago were very difficult if not impossible. As they perform these tasks with increasing efficiency, more and more tasks are shifted from hardware to software, which means that the dependability of computer systems becomes crucial for the safety, security and reliability of technical systems. With the so-called “embedded systems” (becoming more and more intelligent, networked and co-operating with each other, with humans and the environment) computers have invaded all aspects of daily life. New paradigms have arisen, like ubiquitous computing, systems-of-systems, energy and resource awareness, enormous complexity issues and the like, requiring a more holistic systems view as well. th So, after 31 years of SAFECOMP, the emphasis of the 29 event is on critical - bedded systems, which are almost omnipresent. Their impact on our lives, risks and challenges are often not well understood (underestimated or exaggerated). The p- mary issue is to cope with complexity, new failure modes and resource management, due to shrinking feature size, multi-core systems and management of multiple variants, while maintaining dependability properties and robustness.

Author(s): Oliver Schulz, Jan Peleska (auth.), Erwin Schoitsch (eds.)
Series: Lecture Notes in Computer Science 6351 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 482
Tags: Systems and Data Security; Computer Communication Networks; Software Engineering; Algorithm Analysis and Problem Complexity; Computers and Society; Special Purpose and Application-Based Systems

Front Matter....Pages -
Reliability Analysis of Safety-Related Communication Architectures....Pages 1-14
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children....Pages 15-27
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees....Pages 28-40
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams....Pages 41-54
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain....Pages 55-67
Deriving Safety Cases for Hierarchical Structure in Model-Based Development....Pages 68-81
Assurance of Automotive Safety – A Safety Case Approach....Pages 82-96
How to “Survive” a Safety Case According to ISO 26262....Pages 97-111
Benchmarking Software Requirements Documentation for Space Application....Pages 112-125
Verifying Mode Consistency for On-Board Satellite Software....Pages 126-141
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace....Pages 142-154
Residual Error Probability of Embedded CRC by Stochastic Automata....Pages 155-168
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software....Pages 169-182
Field Test Methods for a Co-operative Integrated Traffic Management System....Pages 183-195
100% Coverage for Safety-Critical Software – Efficient Testing by Static Analysis....Pages 196-209
MODIFI: A MODel-Implemented Fault Injection Tool....Pages 210-222
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram....Pages 223-236
Overcoming Non-determinism in Testing Smart Devices: A Case Study....Pages 237-250
Software Testing by People with Autism....Pages 251-262
Information Flow Analysis of Energy Management in a Smart Grid....Pages 263-276
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid....Pages 277-290
A Metric for Measuring the Strength of Inter-dependencies....Pages 291-302
Security Analysis of Open Building Automation Systems....Pages 303-316
A UML Profile for Requirements Analysis of Dependable Software....Pages 317-331
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2....Pages 332-346
Experiences in Applying Formal Verification in Robotics....Pages 347-360
Evolving a Safe System Design Iteratively....Pages 361-374
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems....Pages 375-388
Development of High-Integrity Software Product Lines Using Model Transformation....Pages 389-401
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications....Pages 402-417
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs....Pages 418-430
INDEXYS, a Logical Step beyond GENESYS....Pages 431-451
Integrating System Modelling with Safety Activities....Pages 452-465
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead....Pages 466-479
System of Systems Challenges....Pages 480-480
Murphy Was an Optimist....Pages 481-482
Process Control Security: Go Dutch! (United, Shared, Lean and Mean)....Pages 483-483
Back Matter....Pages -