Dependability metrics : advanced lectures
著者
書誌事項
Dependability metrics : advanced lectures
(Lecture notes in computer science, 4909)
Springer, c2008
大学図書館所蔵 全2件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references (p. [267]-300) and indexes
内容説明・目次
内容説明
With the growingubiquity of computing systems it is essentialthat we canplace reliance on the services they deliver. This is particularly obvious and important in areas like aircraft avionics, global ?nancial transaction processing, or nuclear power plant control where human lives or large ?nancial values are at stake. But also the worldwide daily nuisances of computer viruses or data corruptions caused by crashing operating systems collectively impose high costs on society, which are beginning to become economically relevant. Within computer science, the termdependability has been introduced as a general term to cover all critical quality aspects of computing systems. Foll- ing the terminology of Laprie [26, 293], a system is dependable if trust can justi?ably be placed in the service it delivers (we will de?ne dependability and related terms more precisely later in this book). In the early days of computer science, researchers thought thatprogram correctness was the key to depe- ability meaning that a programalways terminates and satis?es its postcondition if it is started in a state where its precondition holds. Today we knowthat many other factors in?uence the well-functioning of a computer system.
Examples of these factors are: - Hardware reliability: The occurrence of hardware faults, which cannot be neglected in critical systems. - Non-functional properties: The growingimportance of properties which c- not be expressed so easily as pre- and postconditions. As an example, c- sider the performance requirement that the averageresponse time should be below some value.
目次
to Dependability Metrics.- to Dependability Metrics.- I Foundations.- On Metrics and Measurements.- Validation of Predictions with Measurements.- Consistent Metric Usage: From Design to Deployment.- Basic and Dependent Metrics.- Goal, Question, Metric.- Quality of Service Modeling Language.- Markov Models.- II Reliability Metrics.- Hardware Reliability.- Software Reliability.- III Security Metrics.- to Security Metrics.- Cryptographic Attack Metrics.- Security Measurements and Metrics for Networks.- Industrial Approaches and Standards for Security Assessment.- Economic Security Metrics.- Human Factors.- IV Performance Metrics.- to Performance Metrics.- Performance-Related Metrics in the ISO 9126 Standard.- Analytical Performance Metrics.- Performance Metrics in Software Design Models.- Measuring Performance Metrics: Techniques and Tools.- Performance Metrics for Specific Domains.- V Overlapping Metrics.- to Overlapping Attributes.- Performability.- Reliability vs. Security: A Subjective Overview.
「Nielsen BookData」 より