Achieving Safety and Reliability with Computer Systems, B.K. Daniels

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 50680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

Автор: Floor Koornneef; Coen van Gulijk
Название: Computer Safety, Reliability, and Security
ISBN: 3319242547 ISBN-13(EAN): 9783319242545
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.

Автор: Friedemann Bitsch; J?r?mie Guiochet; Mohamed Ka?ni
Название: Computer Safety, Reliability, and Security
ISBN: 3642407927 ISBN-13(EAN): 9783642407925
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions.

Автор: Alessandro Fantechi; Thierry Lecomte; Alexander Ro
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319684981 ISBN-13(EAN): 9783319684987
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway systems;

Автор: Trivedi
Название: Probability and Statistics with Reliability, Queuing and Computer Science Applications 2e
ISBN: 1119285429 ISBN-13(EAN): 9781119285427
Издательство: Wiley
Рейтинг:
Цена: 111880.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book relates fundamental concepts in probability and statistics to the computer sciences. The author uses Markov chains and other statistical tools to illustrate processes such as reliability of computer systems and fault tolerance. This new, revised edition includes a new chapter on Stochastic Petri Nets.

Автор: Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmei
Название: Computer Safety, Reliability, and Security
ISBN: 3319105566 ISBN-13(EAN): 9783319105567
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014.

Автор: Andrea Bondavalli; Felicita Di Giandomenico
Название: Computer Safety, Reliability, and Security
ISBN: 3319105051 ISBN-13(EAN): 9783319105055
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.

Автор: Stefano Tonetta; Erwin Schoitsch; Friedemann Bitsc
Название: Computer Safety, Reliability, and Security
ISBN: 331966283X ISBN-13(EAN): 9783319662831
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Assurance cases for Software-Intensive Systems.- Dependable embedded and cyber-physical systems and systems-of-systems.- Next generation of system assurance approaches for safety-critical systems.- Timing performance in safety engineering.- Technical and legal aspects of data privacy and security.

Автор: Skavhaug
Название: Computer Safety, Reliability, and Security
ISBN: 3319454765 ISBN-13(EAN): 9783319454764
Издательство: Springer
Рейтинг:
Цена: 54040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.

Автор: Skavhaug
Название: Computer Safety, Reliability, and Security
ISBN: 331945479X ISBN-13(EAN): 9783319454795
Издательство: Springer
Рейтинг:
Цена: 61490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

Автор: Krzysztof Ko?owrocki; Joanna Soszy?ska-Budny
Название: Reliability and Safety of Complex Technical Systems and Processes
ISBN: 1447127129 ISBN-13(EAN): 9781447127123
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents integrated and analytical models for the reliability, availability and safety of complex non-repairable and repairable multistate technical systems, with reference to their operation processes and their practical applications.

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.