Computer Safety, Reliability, and Security

SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

AvFrank Ortmeier,Peter Daniel

Häftad, Engelska, 2012

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.

Produktinformation

Utgivningsdatum:2012-08-30
Mått:155 x 235 x 30 mm
Vikt:820 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:530
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642336744

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Nätverk och kommunikation inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

Introduction to Sassur 2012.- AdvoCATE: An Assurance Case Automation Toolset.- Towards a Case-Based Reasoning Approach for Safety Assurance Reuse.- Modeling for Safety in a Synthesis-Centric Systems Engineering Framework.- A Model Based Approach for Safety Analysis.- Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards.- A New Approach to Assessment of Confidence in Assurance Cases.- An Unified Meta-model for Trustworthy Systems Engineering.- A Preliminary Fault Injection Framework for Evaluating Multicore Systems.- Meeting Real-Time Requirements with Multi-core Processors.- Assessing Software Interference Management When Modifying Safety-Related Software.- Introduction to ASCoMS 2012.- Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults.- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems.- Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles.- From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering.- Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.- Introduction to DESEC4LCCI 2012.- Quantitative Security Evaluation of a Multi-biometric Authentication System.- Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology.- On Securing Communications among Federated Health Information Systems.- How Secure Is ERTMS.- International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead.- A Federated Simulation Framework with ATN Fault Injection Module for Reliability Analysis of UAVs in Non-controlled Airspace.- HSIENA: A Hybrid Publish/Subscribe System.- WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms.- Formal Verification of a Safety Argumentation and Application to a Complex UAV System.- Electronic Reliability Estimation: How Reliable Are the Results.- Model-Based Assessmentof Multi-region Electric Power Systems Showing Heterogeneous Characteristics.-Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012.- The Cyber-Physical Attacker.- Dependable and Secure Embedded Node Demonstrator.- Towards Secure Time-Triggered Systems.- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems.- Compiling for Time Predictability.- Towards the Automated Qualification of Tool Chain Design.- A Systematic Elaboration of Safety Requirements in the Avionic Domain.- Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.- Supporting Assurance by Evidence-Based Argument Services.- Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform.- Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment.- Introduction to IWDE 2012.- Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems.- Towards Artificial Perception.- A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes.- Visual Approach Facilitating the Importance Analysis of Component Fault Trees.- Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation.- From Discrete Event Simulation to Virtual Reality Environments.- Program Comprehension in Preprocessor-Based Software.