Description

Book Synopsis

.- Safety Arguments/Cases.
.- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases.
.- Principled Safety Assurance Arguments.
.- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases.
.- Data Sets and Dependability Properties.
.- Creation and use of a representative dataset for Advanced Persistent Threats detection.
.- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies.
.- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation.
.- Testing and Complex Environments.
.- Alignment of SOTIF and Scenario-based Safety Evaluation Framework.
.- Managing capability in software dependability testing through generic test rigs.
.- Improving Out-of-Distribution Detection via Test-Time Augmentation.
.- Methodologies (1) – Safety Design and Risk Assessment.
.- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit.
.- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis.
.- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment.
.- Methodologies (2) – Machine Learning and Large Language Models.
.- Large Language Models in Code Co-generation for Safe Autonomous Vehicles.
.-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development.
.- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.

Computer Safety Reliability and Security

    Product form

    £53.99

    Includes FREE delivery

    RRP £59.99 – you save £6.00 (10%)

    Order before 4pm today for delivery by Wed 17 Jun 2026.

    A Paperback by Barbara Gallina

    1 in stock


      View other formats and editions of Computer Safety Reliability and Security by Barbara Gallina

      Publisher: Springer
      Publication Date: 9/4/2025
      ISBN13: 9783032012401, 978-3032012401
      ISBN10: 3032012406
      Also in:
      Network hardware

      Description

      Book Synopsis

      .- Safety Arguments/Cases.
      .- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases.
      .- Principled Safety Assurance Arguments.
      .- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases.
      .- Data Sets and Dependability Properties.
      .- Creation and use of a representative dataset for Advanced Persistent Threats detection.
      .- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies.
      .- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation.
      .- Testing and Complex Environments.
      .- Alignment of SOTIF and Scenario-based Safety Evaluation Framework.
      .- Managing capability in software dependability testing through generic test rigs.
      .- Improving Out-of-Distribution Detection via Test-Time Augmentation.
      .- Methodologies (1) – Safety Design and Risk Assessment.
      .- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit.
      .- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis.
      .- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment.
      .- Methodologies (2) – Machine Learning and Large Language Models.
      .- Large Language Models in Code Co-generation for Safe Autonomous Vehicles.
      .-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development.
      .- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account