Computer Safety, Reliability, and Security

23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

Häftad, Engelska, 2004

AvMaritta Heisel,Peter Liggesmeyer,Stefan Wittmann

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004. The 24 revised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability , human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis.

Produktinformation

Utgivningsdatum2004-09-09
Mått155 x 235 x 20 mm
Vikt540 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor344
Upplaga2004
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540231769

Tillhör följande kategorier

Programmeringsböcker inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik
Affärsförhandlingar inom Ekonomi och Ledarskap
Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Invited Talk.- Why Safety and Security Should and Will Merge.- Safety Cases.- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.- Using Fuzzy Self-Organising Maps for Safety Critical Systems.- Using Formal Methods in a Retrospective Safety Case.- Reliability.- A Highly Fault Detectable Cache Architecture for Dependable Computing.- An Empirical Exploration of the Difficulty Function.- Towards the Integration of Fault, Resource, and Power Management.- Human Factors.- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems.- Analysing Mode Confusion: An Approach Using FDR2.- Invited Talk.- Handling Safety Critical Requirements in System Engineering Using the B Formal Method.- Transportation.- A Hybrid Testing Methodology for Railway Control Systems.- Actuator Based Hazard Analysis for Safety Critical Systems.- Performability Measures of the Public Mobile Network of a Tele Control System.- Software Development.- PLC-Based Safety Critical Software Development for Nuclear Power Plants.- Compositional Hazard Analysis of UML Component and Deployment Models.- Automatic Test Data Generation from Embedded C Code.- Fault Tree Analysis.- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems.- Safety Requirements and Fault Trees Using Retrenchment.- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics.- Invited Talk.- Automotive Telematics – Road Safety Versus IT Security?.- Formal Methods and Systems.- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.- Refinement of Fault Tolerant Control Systems in B.- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.- Security and Quality of Service.-An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.- Dependability Benchmarking of Web-Servers.- Hazard and Risk Analysis.- An Approach for Model-Based Risk Assessment.- How Explicit Are the Barriers to Failure in Safety Arguments?.

Du kanske också är intresserad av

Testen, Analysieren und Verifizieren von Software

Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner

Häftad

729 kr

Software Architecture for Big Data and the Cloud

Ivan Mistrik, Rami Bahsoon, Nour Ali, Maritta Heisel, Bruce Maxim, Germany) Mistrik, Ivan (Systems Engineering Researcher/Consultant, Heidelberg, UK) Bahsoon, Rami (University of Birmingham, UK) Ali, Nour (Senior Lecturer, University of Brighton, Germany) Heisel, Maritta (Professor for software engineering, University Duisburg-Essen, USA) Maxim, Bruce (Associate Professor of computer and information science, University of Michigan, Dearborn, MI

Häftad

1 489 kr