Safety-critical systems : the convergence of high tech and human factors : proceedings of the Fourth Safety-critical Systems Symposium, Leeds, UK, 6-8 February 1996
著者
書誌事項
Safety-critical systems : the convergence of high tech and human factors : proceedings of the Fourth Safety-critical Systems Symposium, Leeds, UK, 6-8 February 1996
Springer, c1996
- : pbk
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Safety-Critical Systems Club"--t.p.
Includes bibliographical references and index
内容説明・目次
内容説明
Safety-critical systems, in the sense of software-based systems used in safety critical applications, are 'high-tech'. They are products of modern technology. Their effective, efficient and safe functioning depends not only on the devel opment of the right technologies but also on the right use of them. The safety of a system may be compromised not only by faults in the system but also by the use in the first place of an unreliable, unsafe, or unproved technology in its development. The key to the development and use of both technologies and systems is the human being. Until recently, the importance of human involvement, other than at the direct operational level, was hardly admitted. But now the unreliability of humans is recognised, as is the potential for latent faults to be introduced into systems at any point in their life cycles, by all who are in volved with them, including designers and strategic decision makers.
目次
Meeting the Challenge of Changing Requirements.- LIFETRACK - Enhancing Team Knowledge and Corporate Memory in Petrochemical Operations Through Sharing Lessons Learnt.- Managing 'Risky' Projects.- Management of Dependability: A Railway Perspective.- Applying Bayesian Belief Networks to System Dependability Assessment.- Exploit (Technology) or Die.- Human Issues in the Software Development Process - Modelling Their Influence on Productivity and Integrity.- The Institution of Railway Signalling Engineers' Licensing Scheme - Promoting Competence in the Workplace.- Anticipate and Prevent - Managing the Legal Risks in Safety Critical Systems.- Organisational Learning Using Near-Miss and Accident Data Within and Outside your Organisation.- Understanding and Communicating Risk: A Psychological Overview.- Impact as a Human Factor in Interactive System Design.- Classifying and Managing Risk: The RATIFI Project.- Software Hazard and Safety Analysis: Opportunities and Challenges.- SADLI: Functional Programming in a Safety Critical Application.- System Safety Through Formal Domain-Specific Languages.- Effects of Technology on the Safety of Automotive Transport.- Author Index.
「Nielsen BookData」 より
