ISBN: 9798181570689 - software reliability for safety-critical and mission-critical systems: functional safety, real-time systems, cyber resilience, and high-assurance software engineering (6 risultati)

Paperback. Condizione: new. Paperback. Software Reliability for Safety-Critical and Mission-Critical Systems When software fails, lives, missions, and critical operations can be at risk.From aircraft flight-control systems and autonomous vehicles to medical devices, railway networks, industrial automation platforms, defense systems, telecommunications infrastructure, and critical utilities, modern society depends on software that must operate safely, securely, and reliably under demanding conditions.Software Reliability for Safety-Critical and Mission-Critical Systems is a comprehensive engineering guide to designing, developing, testing, certifying, and maintaining dependable software for environments where failure is unacceptable.Combining proven reliability engineering principles with modern software practices, this book provides a practical framework for building fault-tolerant, resilient, real-time, high-assurance systems capable of meeting the rigorous demands of safety-critical and mission-critical applications.What You'll LearnSoftware reliability engineering fundamentals, dependability concepts, failure mechanisms, and reliability metricsReliability mathematics, probabilistic models, hazard rates, Bayesian analysis, Markov models, and reliability growth techniquesSafety engineering methods including HAZOP, FMEA, FMECA, Fault Tree Analysis (FTA), STPA, SIL, ASIL, and risk assessmentFault-tolerant architectures, redundancy strategies, high-availability systems, distributed reliability, and self-healing designsReal-time and RTOS reliability, deterministic scheduling, watchdog systems, fault recovery, and partitioned architecturesFault detection, diagnostics, health monitoring, checkpointing, rollback recovery, and Byzantine fault toleranceDefensive programming, secure coding, formal methods, static analysis, model-based development, and high-assurance software practicesReliability testing, fault injection, Hardware-in-the-Loop (HIL) testing, chaos engineering, coverage analysis, and qualification testingReliability engineering for cloud, distributed, telecom, edge, embedded, and Kubernetes-based systemsCybersecurity and reliability convergence, cyber resilience, secure boot, trusted execution environments, and attack-tolerant architecturesReliability challenges in AI-enabled and autonomous systems, including explainability, runtime monitoring, dataset assurance, and certification concernsIndustry Standards CoveredDO-178C, DO-254, IEC 61508, ISO 26262, IEC 62304, EN 50128, IEC 60880, ARINC 653, SOTIF, ECSS, NASA standards, carrier-grade telecom frameworks, and other internationally recognized reliability and functional safety standards.Real-World Case StudiesLearn from some of the most significant reliability failures in engineering history, including Therac-25, Ariane 5 Flight 501, Mars Climate Orbiter, large-scale infrastructure failures, and mission-critical software incidents. Understand the root causes behind these events and the engineering practices that help prevent similar failures.Who This Book Is ForSoftware Engineers - Systems Engineers - Reliability Engineers - Safety Engineers - Embedded Developers - RTOS Engineers - Software Architects - Cybersecurity Professionals - Technical Managers - Researchers - Graduate Students - Certification SpecialistsWhether you are developing avionics software, automotive systems, medical devices, industrial control platforms, defense applications, telecommunications infrastructure, robotics, space systems, or AI-driven autonomous technologies, this book provides the knowledge, methodologies, standards, and practical engineering techniques required to build software that remains dependable when reliability matters most.< Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: new. Paperback. Software Reliability for Safety-Critical and Mission-Critical Systems When software fails, lives, missions, and critical operations can be at risk.From aircraft flight-control systems and autonomous vehicles to medical devices, railway networks, industrial automation platforms, defense systems, telecommunications infrastructure, and critical utilities, modern society depends on software that must operate safely, securely, and reliably under demanding conditions.Software Reliability for Safety-Critical and Mission-Critical Systems is a comprehensive engineering guide to designing, developing, testing, certifying, and maintaining dependable software for environments where failure is unacceptable.Combining proven reliability engineering principles with modern software practices, this book provides a practical framework for building fault-tolerant, resilient, real-time, high-assurance systems capable of meeting the rigorous demands of safety-critical and mission-critical applications.What You'll LearnSoftware reliability engineering fundamentals, dependability concepts, failure mechanisms, and reliability metricsReliability mathematics, probabilistic models, hazard rates, Bayesian analysis, Markov models, and reliability growth techniquesSafety engineering methods including HAZOP, FMEA, FMECA, Fault Tree Analysis (FTA), STPA, SIL, ASIL, and risk assessmentFault-tolerant architectures, redundancy strategies, high-availability systems, distributed reliability, and self-healing designsReal-time and RTOS reliability, deterministic scheduling, watchdog systems, fault recovery, and partitioned architecturesFault detection, diagnostics, health monitoring, checkpointing, rollback recovery, and Byzantine fault toleranceDefensive programming, secure coding, formal methods, static analysis, model-based development, and high-assurance software practicesReliability testing, fault injection, Hardware-in-the-Loop (HIL) testing, chaos engineering, coverage analysis, and qualification testingReliability engineering for cloud, distributed, telecom, edge, embedded, and Kubernetes-based systemsCybersecurity and reliability convergence, cyber resilience, secure boot, trusted execution environments, and attack-tolerant architecturesReliability challenges in AI-enabled and autonomous systems, including explainability, runtime monitoring, dataset assurance, and certification concernsIndustry Standards CoveredDO-178C, DO-254, IEC 61508, ISO 26262, IEC 62304, EN 50128, IEC 60880, ARINC 653, SOTIF, ECSS, NASA standards, carrier-grade telecom frameworks, and other internationally recognized reliability and functional safety standards.Real-World Case StudiesLearn from some of the most significant reliability failures in engineering history, including Therac-25, Ariane 5 Flight 501, Mars Climate Orbiter, large-scale infrastructure failures, and mission-critical software incidents. Understand the root causes behind these events and the engineering practices that help prevent similar failures.Who This Book Is ForSoftware Engineers - Systems Engineers - Reliability Engineers - Safety Engineers - Embedded Developers - RTOS Engineers - Software Architects - Cybersecurity Professionals - Technical Managers - Researchers - Graduate Students - Certification SpecialistsWhether you are developing avionics software, automotive systems, medical devices, industrial control platforms, defense applications, telecommunications infrastructure, robotics, space systems, or AI-driven autonomous technologies, this book provides the knowledge, methodologies, standards, and practical engineering techniques required to build software that remains dependable when reliability matters Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Taschenbuch. Condizione: Neu. Neuware.

Condizione: New. Print on Demand.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.