close
1.

図書

図書
Stuart Anderson, Sandro Bologna, Massimo Felici (eds.)
出版情報: Berlin : Springer, c2002  xx, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2434
所蔵情報: loading…
2.

図書

図書
Udo Voges (ed.)
出版情報: Berlin : Springer, c2001  xvi, 248 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2187
所蔵情報: loading…
目次情報: 続きを見る
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
3.

図書

図書
Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xvi, 472 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3463
所蔵情報: loading…
4.

図書

図書
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)
出版情報: Berlin : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3219
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter
Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly
Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi
An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen
Towards the Integration of Fault, Resource, and Power Management / T. Saridakis
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla
Analysing Mode Confusion: An Approach Using FDR2 / B. Buth
Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame
Transportation
A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo
Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin
Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee
Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling
Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich
Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl
Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke
Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo
Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem
How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp
Author Index
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
5.

図書

図書
Rune Winther, BjØrn Axel Gran, Gustav Dahll (eds.)
出版情報: Berlin : Springer, c2005  xiii, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3688
所蔵情報: loading…
6.

図書

図書
Carlos Alberto Maziero ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xv, 266 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3747
所蔵情報: loading…
7.

図書

図書
Floor Koornneef, Meine van der Meulen (eds.)
出版情報: Berlin : Springer, c2000  x, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1943
所蔵情報: loading…
8.

図書

図書
Jan Hlavička, Erik Maehle, András Pataricza (eds.)
出版情報: Berlin : Springer, c1999  xviii, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1667
所蔵情報: loading…
9.

図書

図書
Stuart Anderson, Massimo Felici, Bev Littlewood (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xix, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2788
所蔵情報: loading…
10.

図書

図書
Rogério de Lemos, Taisy Silva Weber, João Batista Camargo, Jr. (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2847
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Dependability Benchmarking: How Far Are We? / Karama Kanoun
Safety-Critical Systems in Air Traffic Management / Eno Siewerdt
Managed Utility Computing: The Grid as Management Backplane / Vijay Machiraju ; Akhil Sahai ; Aad van Moorsel
Fault Injection
Plug and Play Fault Injector for Dependability Benchmarking / Pedro Costa ; Marco Vieira ; Henrique Madeira ; João Gabriel Silva
Non-intrusive Software Implemented Fault Injection in Embedded Systems / Pedro Yuste ; Juan Carlos Ruiz ; Lenin Lemus ; Pedro Gil
Constraints on the Use of Boundary-Scan for Fault Injection / Luís Santos ; Mário Zenha Rela
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool / Regina Lúcia de Oliveira Moraes ; Eliane Martins
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol / HÃ¥kan Sivencrona ; Per Johannessen ; Mattias Persson ; Jan Torin
Security
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures / Vishu Gupta ; Vinh Lam ; HariGovind V. Ramasamy ; William H. Sanders ; Sankalp Singh
Building Trust Chains between CORBA Objects / Emerson Ribeiro de Mello ; Joni da Silva Fraga ; Altair Olivo Santin ; Frank Siqueira
An Architecture for On-the-Fly File Integrity Checking / Mauro Borchardt ; Carlos Maziero ; Edgard Jamhour
Fault Injection Tool for Network Security Evaluation / Paulo César Herrmann Wanner ; Raul Fernando Weber
Adaptive Fault Tolerance
Emulation of Software Faults: Representativeness and Usefulness (Invited Paper) / João Durães
Managing Adaptive Fault Tolerant CORBA Applications / Marcos A.M. de Moura ; Markus Endler
Adaptable Objects for Dependability / Jose Lino Contreras ; Jean Louis Sourrouille
A Genetic Algorithm for Fault-Tolerant System Design / Klaus Echtle ; Irene Eusgeld
Distributed Algorithms
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage / Ricardo Marcelín-Jiménez ; Sergio Rajsbaum
DisCusS and FuSe: Considering Modularity / Genericness, and Adaptation in the Development of Consensus and Fault Detection Services ; Lásaro J. Camargos ; Edmundo R.M. Madeira
A Lightweight Interface to Predict Communication Delays Using Time Series / Raul Ceretta Nunes ; Ingrid Jansch-Pôrto
A New Diagnosis Algorithm for Regular Interconnected Structures / Antonio Caruso ; Luiz Albini ; Piero Maestrini
Components and Fault Tolerance
A Tool for Fault Injection and Conformance Testing of Distributed Systems (Invited Paper) / Maria de Fátima Mattiello-Francisco
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation / Andrea Bondavalli ; Silvano Chiaradonna ; Domenico Cotroneo ; Luigi Romano
An Architectural-Level Exception Handling System for Component-Based Applications / Fernando Castor Filho ; Paulo Asterio de C. Guerra ; Cecília Mary F. Rubira
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems / Fernando L. Dotti ; Osmar M. dos Santos ; Eduardo T. Rödel
Panel
Dependability Benchmarks - Can You Rely on Them?
Workshops
Workshop on Safety: Computer Systems in Critical Applications / João Batista Camargo Jr. ; Rogério de Lemos
Second Workshop on Theses and Dissertations in Dependable Computing / Avelino Zorzo ; Francisco Brasileiro
Tutorials
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML / Jan Jürjens ; Siv Hilde Houmb
On the Cost of Fault-Tolerant Consensus when There Are No Faults - A Tutorial / Idit Keidar
A Practical Approach to Quality Assurance in Critical Systems / Carlos Augusto Teixeira de Moura ; Carlos Henrique Netto Lahoz ; Martha Adriana Dias Abdala
Author Index
Invited Talks
Dependability Benchmarking: How Far Are We? / Karama Kanoun
Safety-Critical Systems in Air Traffic Management / Eno Siewerdt
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼