Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings /

Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical plants, or medical systems their relation to safety is obvious, we often do not re?ect that others are as directly related...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Buth, Bettina (Editor ), Rabe, Gerd (Editor ), Seyfarth, Till (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Programming and Software Engineering, 5775
Temas:
Data protection.
Computer networks .
Software engineering.
Computers, Special purpose.
Data and Information Security.
Computer Communication Networks.
Software Engineering.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talks
  • A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems
  • Medical Systems
  • Model-Based Development of Medical Devices
  • Why Are People's Decisions Sometimes Worse with Computer Support?
  • Industrial Experience
  • Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications
  • Probability of Failure on Demand - The Why and the How
  • Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems
  • Security Risk Analysis
  • Exploring Network Security in PROFIsafe
  • Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms
  • Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security
  • Safety Guidelines
  • Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508
  • Analysing Dependability Case Arguments Using Quality Models
  • Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB
  • Automotive
  • Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats
  • Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective
  • Aerospace
  • The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
  • Formal Verification of a Microkernel Used in Dependable Software Systems
  • Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do
  • Verification, Validation, Test
  • Probabilistic Failure Propagation and Transformation Analysis
  • Towards Model-Based Automatic Testing of Attack Scenarios
  • CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting
  • Fault Tolerance
  • Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure
  • Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel
  • AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
  • Dependability
  • Component-Based Abstraction in Fault Tree Analysis
  • A Foundation for Requirements Analysis of Dependable Software
  • Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.

Ejemplares similares