Computer safety, reliability and security : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

>> Google Books

所蔵情報QRコード

Computer safety, reliability and security : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings / Udo Voges (ed.)

資料種別:

図書

出版情報:

Berlin : Springer, c2001

形態:

xvi, 248 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2187 <BA00009279>

著者名:

ISBN:

9783540426073 [3540426078]

書誌ID:

BA54178972

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computer security--Congresses; Computer software--Reliability--Congresses; Computer system--Reliability--Congresses; Electronic digital computers--Reliability--Congresses; Industrial safety--Congresses

言語:

英語

目次情報:

Invited Paper

Designing Safety into Medical Decisions and Clinical Processes / John Fox

Reliability Assessment and Security

Security Assessments of Safety Critical Systems Using HAZOPs / Rune Winther ; Ole-Arnt Johnsen ; BjÃ¸rn Axel Gran

Network Security for Substation Automation Systems / Martin Naedele ; Dacfey Dzung ; Michael Stanimirov

A Bayesian Belief Network for Reliability Assessment / Atte Helminen

Safety Case and Safety Analysis

Checking General Safety Criteria on UML Statecharts / Zsigmond Pap ; IstvÃ¡n Majzik ; AndrÃ¡s Pataricza

Presenting a Safety Case - A Case Study / Odd Nordland

Safety Functions versus Control Functions / Hans R. Fankhauser

Medical Systems

A Fail-Safe Dual Channel Robot Control for Surgery Applications / Ulrich Laible ; Thomas BÃ¼rger ; GÃ¼nter Pritschow

Modelling the Human in Human Factors / John Rushby

HHuman-Machine Interfac

Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach / Oliver MÃ¤ckel ; Georg Hoever

Analysis of Incidents Involving Interactive Systems / Alberto Pasquini ; Antonio Rizzo ; Luca Save

COTS - Components off the Shelf

Experimental Evaluation of Fault Handling Mechanisms / Piotr Gawkowski ; Janusz Sosnowski

The COTS Debate in Perspective / Felix Redmill

Testing

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models / Mohamed KaÃ¢niche ; Yannick Le GuÃ©dart ; Jean Arlat ; Thierry Boyer

A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures / Ioannis Vakalis

The Effectiveness of Statistical Testing when Applied to Logic Systems / Silke Kuball ; Gordon Hughes ; John H.R. May ; Julio Gallardo ; Andrew D. John ; Roy B. Carter

Formal Methods

A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B / Gunther Zoffmann ; Manfred Gingerl ; Christian Reumann ; Gerald Sonneck

Safety Patterns - The Key to Formal Specification of Safety Requirements.. / Friedemann Bitsch

Formal Support for Fault Modeling and Analysis / Tadeusz Cichocki ; Janusz GÃ³rski

Project Experience with IEC 61508 and Its Consequences / Rainer Faller

Control Systems

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach / Paul Caspi ; Christine Mazuet ; Natacha Reynaud Paligot

Dependability Evaluation - From Functional to Structural Modeling / ClÃ¡udia Betous-Almeida ; Karama Kanoun

Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems / Stefano Porcarelli ; Felicita Di Giandomenico ; Amine Chohra ; Andrea Bondavalli

Author Index

Invited Paper

Designing Safety into Medical Decisions and Clinical Processes / John Fox

Reliability Assessment and Security

Security Assessments of Safety Critical Systems Using HAZOPs / Rune Winther ; Ole-Arnt Johnsen ; BjÃ¸rn Axel Gran

Network Security for Substation Automation Systems / Martin Naedele ; Dacfey Dzung ; Michael Stanimirov

A Bayesian Belief Network for Reliability Assessment / Atte Helminen

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings Safecomp, Anderson, Stuart, 1952-, Felici, Massimo, 1973-, Littlewood, Bev Springer	7 図書 Computer safety, reliability and security : 17th International Conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings Safecomp, Ehrenberger, W. D. Springer
2 図書 Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings Safecomp, Heisel, Maritta, Liggesmeyer, Peter, Wittmann, Stefan Springer	8 図書 Systems integrity, software safety, and process security : COMPASS '90 : proceedings of the Fifth Annual Conference on Computer Assurance, June 25-June 28, … COMPASS '90 (1990 : National Institute of Standards and Technology), Applied Ordnance Technology, Inc, Institute of … IEEE Washington Section
3 図書 Computer safety, reliability and security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings Safecomp, Anderson, Stuart, Bologna, Sandro, Felici, Massimo, 1973- Springer	9 図書 COMPASS '91 : proceedings of the Sixth Annual Conference on Computer Assurance, June 24-June 27, 1991, National Institute of Standards and Technology, … (: soft. ; : case. ; : micro.) COMPASS IEEE Service Center
4 図書 Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 : proceedings Safecomp, Koornneef, Floor, 1950-, Meulen, Meine van der, 1964- Springer	10 図書 COMPASS '92 : proceedings of the Seventh Annual Conference on Computer Assurance, June 15-18, 1992, National Institute of Standards and Technology, … (: soft. ; : case. ; : micro.) COMPASS IEEE Service Center
5 図書 Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings Safecomp, Winther, Rune, Gran, Bjorn Axel, Dahll, Gustav Springer	11 図書 Safety of computer control systems 1983 (Safecomp '83) : achieving safe real time computer systems : proceedings of the 3rd IFAC/IFIP Workshop, Cambridge, UK, … IFAC/IFIP Workshop, Baylis, J. A., International Federation of Automatic Control, International Federation of … Published for the International Federation of Automatic Control by Pergamon Press
6 図書 Computer safety, reliability and security : 18th International Conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings Safecomp, Felici, Massimo, 1973-, Kanoun, Karama, Pasquini, Alberto Springer	12 図書 Dependable computing EDCC-5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings EDCC, Dal Cin, Mario, 1940-, Kaâniche, Mohamed, Pataricza, András, 1954- Springer