Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Safety, Reliability, and Security
  • Produktbild: Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2007

Abbildungen

XV, 548 p.

Herausgeber

Francesca Saglietti + weitere

Verlag

Springer Berlin

Seitenzahl

548

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

850 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75100-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2007

Abbildungen

XV, 548 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

548

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

850 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75100-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computer Safety, Reliability, and Security
  • Produktbild: Computer Safety, Reliability, and Security
  • Safety Cases.- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study.- Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges.- Impact of Security on Safety.- Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.- Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment.- Modelling Interdependencies Between the Electricity and Information Infrastructures.- Poster Session 1.- Handling Malicious Code on Control Systems.- Management of Groups and Group Keys in Multi-level Security Environments.- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems.- RAMSS Analysis for a Co-operative Integrated Traffic Management System.- Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks.- Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System.- Compositional Temporal Fault Tree Analysis.- Representing Parameterised Fault Trees Using Bayesian Networks.- Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model.- Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.- Specification of a Software Common Cause Analysis Method.- Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.- Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.- Survival by Deception.- How to Secure Bluetooth-Based Pico Networks.- Learning from Your Elders: A Shortcut to Information Security Management Success.- Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.- PosterSession 2.- Safety Process Improvement with POSE and Alloy.- Defense-in-Depth and Diverse Qualification of Safety-Critical Software.- Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.- Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches.- Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.- A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.- Safety Demonstration and Software Development.- Improving Test Coverage for UML State Machines Using Transition Instrumentation.- Verification of Distributed Applications.- Analysis of Combinations of CRC in Industrial Communication.- A Comparison of Partitioning Operating Systems for Integrated Systems.- Software Encoded Processing: Building Dependable Systems with Commodity Hardware.- Reliability Modeling for the Advanced Electric Power Grid.- Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay.- A Reliability Evaluation of a Group Membership Protocol.- Poster Session 3.- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.- A Tool for Network Reliability Analysis.- DFT and DRBD in Computing Systems Dependability Analysis.- Development of Model Based Tools to Support the Design of Railway Control Applications.- Formal Specification and Analysis of AFDX Redundancy Management Algorithms.- Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.- Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.- Experimental Assessment of Astrée on Safety-Critical Avionics Software.- Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.- A Taxonomy for Modelling Safety RelatedArchitectures in Compliance with Functional Safety Requirements.- Controller Architecture for Safe Cognitive Technical Systems.- Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.