Safety of Computer Architectures Safety of Computer Architectures

Safety of Computer Architectures

    • ¥21,800
    • ¥21,800

発行者による作品情報

It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation.

The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).

ジャンル
コンピュータ/インターネット
発売日
2013年
1月9日
言語
EN
英語
ページ数
512
ページ
発行者
Wiley
販売元
John Wiley & Sons, Inc.
サイズ
15.1
MB
Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
2014年
Fault-Tolerance Techniques for Spacecraft Control Computers Fault-Tolerance Techniques for Spacecraft Control Computers
2017年
Fundamentals of Dependable Computing for Software Engineers Fundamentals of Dependable Computing for Software Engineers
2012年
Embedded Systems Embedded Systems
2019年
The MANTIS Book The MANTIS Book
2022年
Computational Intelligence Applications In Smart Grids: Enabling Methodologies For Proactive And Self-organizing Power Systems Computational Intelligence Applications In Smart Grids: Enabling Methodologies For Proactive And Self-organizing Power Systems
2014年
CENELEC 50128 and IEC 62279 Standards CENELEC 50128 and IEC 62279 Standards
2015年
Formal Methods Applied to Complex Systems Formal Methods Applied to Complex Systems
2014年
Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
2014年
Ingénierie des exigences Ingénierie des exigences
2014年
Formal Methods Formal Methods
2013年
Static Analysis of Software Static Analysis of Software
2013年