Justifying the dependability of computer-based systems : with applications in nuclear engineering / Pierre-Jacques Courtois
(Springer series in reliability engineering)
データ種別 | 電子ブック |
---|---|
出版者 | London : Springer |
出版年 | ©2008 |
大きさ | 1 online resource (xviii, 323 pages) : illustrations |
所蔵情報を非表示
URL | 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 複写取寄 | 指定図書 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
URL | 電子ブック |
|
681/J08 | 1181000766 |
|
9781848003729 |
|
禁帯出 一般本 |
|
書誌詳細を非表示
一般注記 | Includes bibliographical references (pages 309-323) and index Print version record The Context -- Current Practices -- Axiomatic Justification and Uncertainty -- Justification and Dependability Case -- Prescriptions -- Requirements, Claims and Evidence -- Arguments, Syntax and Semantics -- Axiomatic Principles and Limits -- Descriptions -- Structures and Interpretations -- Embedded Computer System Structures -- Methodological Implications -- Pre-existing Systems and Components -- Construction Methods -- Postface What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependability of Computer-based Systems, which provides a framework for the justification of the dependability of a computer-based system. The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety. Pierre-Jacques Courtois is a Professor in the Department of Computer Science and Engineering at the Catholic University of Louvain-la-Neuve, with particular research interests in safety-critical software for the nuclear industry. He has more than fifteen years experience in the nuclear safety industry, having worked as a nuclear safety advisor in Finland and the UK, and as a consultant to the International Atomic Energy Agency (IAEA) and the Organisation for Economic Co-operation and Development (OECD) English Master record variable field(s) change: 050 HTTP:URL=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=255755 Information=EBSCOhost |
---|---|
著者標目 | *Courtois, Pierre Jacques 1937- |
件 名 | LCSH:Computer systems -- Reliability
全ての件名で検索
LCSH:Nuclear power plants -- Safety measures 全ての件名で検索 LCSH:Nuclear engineering -- Safety measures 全ての件名で検索 FREE:REFERENCE -- General 全ての件名で検索 FREE:Nuclear power plants -- Safety measures 全ての件名で検索 FREE:Nuclear engineering -- Safety measures 全ての件名で検索 FREE:Computer systems -- Reliability 全ての件名で検索 FREE:Ingénierie FREE:Computer systems -- Reliability 全ての件名で検索 FREE:Nuclear engineering -- Safety measures 全ての件名で検索 FREE:Nuclear power plants -- Safety measures 全ての件名で検索 FREE:Engineering FREE:Quality Control, Reliability, Safety and Risk FREE:Engineering, general FREE:Computational Intelligence FREE:Computer Systems Organization and Communication Networks FREE:Electronic books |
分 類 | LCC:QA76.76.R44 DC22:005 |
書誌ID | EB00004235 |
ISBN | 9781848003729 |