Development of Safety-Critical Systems: Architecture and Software - Image 1

£52.44

Springer Development of Safety-Critical Systems: Architecture and Software

Name: Development of Safety-Critical Systems: Architecture and Software
Brand: Springer
Price: 52.44 GBP
Availability: InStock

Security

This is the usual price. Wait for it to drop, or tell us your number.

£52 today · usual range £30–£54 · best ever £30

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 80 days · 80 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 80 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £53 (37 days, 46.3%)

Price range: £30 - £54

Price levels: 3 different prices over 80 days

Description

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 303127900X
Category: Books > Subjects > Computing & Internet > Networking & Security > Security
Domain: Amazon UK
Release Date: 11 October 2023
Listed Since: 01 February 2023

Barcode

No barcode data available

Springer Development of Safety-Critical Systems: Architecture and Software

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Safety Instrumented System A Complete Guide

Design for Safety (Quality and Reliability Engineering Series)

Functional Safety of Machinery: How to Apply ISO 13849-1 and IEC 62061

Applied Safety for Engineers: Systems and Products

Springer Cyber-Physical Systems: Design and Industry 4.0 342

Advances in Diagnostics of Processes and Systems: Selected Papers from the 14th International Conference on Diagnostics of Processes and Systems ... in Systems, Decision and Control, 313)

Safety Analysis of Critical Infrastructure: Impact of Operation Processes and Climate Change (Lecture Notes in Intelligent Transportation and Infrastructure)

Functional Safety and Proof of Compliance

Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Advances in Variable Structure Systems and Sliding Mode Control―Theory and Applications: 115 (Studies in Systems, Decision and Control, 115)

The Operational Excellence Library; Mastering IEC 62443

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

System Safety for the 21st Century

Industrial Control Systems Security and Resiliency: Practice and Theory: 75 (Advances in Information Security, 75)

Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security

Fault-Tolerant Design and Control of Automated Vehicles and Processes: Insights for the Synthesis of Intelligent Systems: 201 (Studies in Systems, Decision and Control, 201)

Reliability Assessment of Safety and Production Systems: Analysis, Modelling, Calculations and Case Studies (Springer Series in Reliability Engineering)

Cross-Layer Design for Secure and Resilient Cyber-Physical Systems: A Decision and Game Theoretic Approach: 81 (Advances in Information Security, 81)

Advances in Intelligent Control Systems and Computer Science: 187 (Advances in Intelligent Systems and Computing, 187)

AutoCAD Electrical 2024 Black Book: 9th Edition

Cross-Layer Design for Secure and Resilient Cyber-Physical Systems: A Decision and Game Theoretic Approach: 81 (Advances in Information Security, 81)

AETA 2016: Recent Advances in Electrical Engineering and Related Sciences: Theory and Application: 415 (Lecture Notes in Electrical Engineering, 415)

Autonomous Safety Control of Flight Vehicles

AutoCAD Electrical 2023 Black Book (Colored)