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

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2012

Abbildungen

XVI, 530 p. 198 illus.

Herausgeber

Frank Ortmeier + weitere

Verlag

Springer Berlin

Seitenzahl

530

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

820 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33674-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2012

Abbildungen

XVI, 530 p. 198 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

530

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

820 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33674-4

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

  • 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.