close
1.

図書

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

図書

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

図書

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

図書

図書
Janusz Górski (ed.)
出版情報: Berlin : Springer, c2006  xiv, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4166
所蔵情報: loading…
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.

図書

図書
edited by W.J. Quirk
出版情報: Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986  viii, 193 p. ; 31 cm
所蔵情報: loading…
7.

図書

図書
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
8.

図書

図書
Wolfgang Ehrenberger (ed.)
出版情報: Berlin : Springer, c1998  xvi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1516
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods I - Analysis and Specification
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis / K. Hollingworth ; A. Saeed
An Agenda for Specifying Software Components with Complex Data Models / K. Winter ; T. Santen ; M. Heisel
Safety in Production Cell Components: An Approach Combining Formal Real-Time Specifications and Patterns / H. Rust
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems / V. David ; J. Delcoigne ; E. Leret ; A. Ourghanlian ; P. Hilsenkopf ; P. Paris
Linking Hazard Analysis to Formal Specification and Design in B / K. Lano ; P. Kan ; A. Sanchez
Management and Human Factors
Controlling Your Design through Your Software Process / N. Martín-Vivaldi ; P. Isacsson
Operator Errors and Their Causes / T. Grams
Security
A Performance Comparison of Group Security Mechanisms / A. Hutchison ; M. Wallbaum
Towards Secure Downloadable Executable Content: The Java Paradigm / J. Iliadis ; S. Gritzalis ; V. Oikonomou
Model and Implementation of a Secure SW-Development Process for
Mission Critical Software / F. Dafelmair
Impact of Object-Oriented Software Engineering Applied to the Development of
Security Systems / S. Jovalekic ; B. Rist
Medical Informatics
'Profit by Safety' or Quackery in Biomedical Information Technology? / B.A. de Mol ; F. Koornneef
Formal Methods II - Languages and Verification
Towards Automated Proof of Fail-safe Behaviour / P. Liggesmeyer ; M. Rothfelder
Verifying a Time-Triggered Protocol in a Multi-language Environment / A. Merceron ; M. Müllerburg ; G.M. Pinna
Methods and Languages for Safety-Related Real-Time Programming / W.A. Halang ; A.H. Frigeri
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation / A. Lindner
Applications
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools / P. Bertoli ; A. Cimatti ; F. Giunchiglia ; P. Traverso
Applying Formal Methods in Industry - The UseGat Project / S. Bologna ; R. Bove ; G. Dipoppa ; G. Biondi ; G. Mongardi ; C. Porzia ; B.G. Mortensen ; N. Kirkegaard
Increasing System Safety for by-wire Applications in Vehicles by Using a Time-Triggered Architecture / Th. Ringler ; J. Steiner ; R. Belschner ; B. Hedenetz
Fault-Tolerant Communication in Large-Scale Manipulators / H.-D. Kochs ; W. Geisselhardt ; H. Hilmer ; M. Lenord
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach / E. Dilger ; T. Fuehrer ; B. Müller
Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System / D. Romano ; F. Torielli
EURIS, a Specification Method for Distributed Interlockings / F.v.Dijk ; W. Fokkink ; G. Kolk ; P.v.d.Ven ; B.v.Vlijmen
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay / B. Nowicki ; J. Górski
Formal Methods III - Petri Nets
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets / F. Saglietti
Safety Verification of Software Using Structured Petri Nets / K. Sacha
Reliability
Refinement of Safety-Related Hazards into Verifiable Code Assertions / K. Wong ; J. Joyce
A Conceptual Comparison of Two Commonly Used Safeguarding Principles / B. Knegtering ; A. Brombacher
A Holistic View on the Dependability of Software-Intensive Systems / G. Sonneck ; E. Schoitsch ; L. Strigini
Verifying Integrity of Decision Diagrams / R. Drechsler
Author Index
Formal Methods I - Analysis and Specification
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis / K. Hollingworth ; A. Saeed
An Agenda for Specifying Software Components with Complex Data Models / K. Winter ; T. Santen ; M. Heisel
9.

図書

図書
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
10.

図書

図書
Massimo Felici, Karama Kanoun, Alberto Pasquini (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xviii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1698
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Software Reliability Engineering in Industry / J. D. Musa
Assessment and Certification
A Systematic Approach to Safety Case Maintenance / T. P. Kelly ; J. A. McDermid
SQUALE Dependability Assessment Criteria / Y. Deswarte ; M. Kaâniche ; P. Corneillie ; J. Goodson
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project / G. Sonneck ; E. Schoitsch
Safety Assessment and Human Factors (Poster Session)
Safety Evaluation of a Train Leader Telephone System / G. Dahll
Safety Analysis Techniques for Validating Formal Models During Verification / R. de Lemos ; A. Saeed
Evaluating the Contribution of DesktopVR for Safety-Critical Applications / C. Johnson
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces / L. V. L. Filgueiras
The Impact of Different Media on Safety and Usability of Interactive ATC Applications / F. Paternò ; C. Santoro ; S. Tahmassebi
Human Factors
Patterns for Safer Human-Computer Interfaces / A. Hussey
Impact of Communication on Systems Dependability: Human Factors Perspectives / L. Rognin ; J.-P. Blanquart
A Method for Operator Error Detection Based on Plan Recognition / J. Mo ; Y. Crouzet
Safety Assessment
Hierarchically Performed Hazard Origin and Propagation Studies / Y. Papadopoulos
Hardware Redundant Vital Computer - Demonstration of Safety on the Basis of Current Standards / H. Krebs ; S. Mitra
Design for Safety (Poster Session)
System and Software Safety Analysis for the ERA Control Computer / P.G. Beerthuizen ; W. Kruidhof
Safety Markup Language: Concept and Application / C.-F. Fan ; S. Yih
Extendable Ground-to-Air Communication Architecture for CoDySa / A. Pakstas ; I. Shagaev
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems / J. C. Campelo ; P. Yuste ; F. Rodríguez ; P. J. Gil ; J. J. Serrano
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTÖ Story / T. Clement ; I. Cottam ; P. Froome ; C. Jones
Verification and Testing
Safety Verification of Ada 95 Programs Using Software Fault Trees / S.-Y. Min ; Y.-K. Jang ; S.-D. Cha ; Y.-R. Kwon ; D.-H. Bae
Programming Rule Static Verification for Reliable Software / P. Robert
Automated Black-Box Testing with Abstract VDM Oracles / B. K. Aichernig
Towards Statistical Control of an Industrial Test Process / G. Lombardi ; E. Peciola ; R. Mirandola ; A. Bertolino ; E. Marchetti
Design for Safety
Choosing Effective Methods for Diversity - How to Progress from Intuition to Science / P. Popov ; L. Strigini ; A. Romanovsky
A First Step Towards the Integration of Accident Reports and Constructive Design Documents
A Holistic Design Concept to Improve Safety Related Control Systems / M. Wimmer ; A. Rizzo ; M. Sujan
Dependability Analysis and Evaluation
Comparing Fault Trees and Bayesian Networks for Dependability Analysis / A. Bobbio ; L. Portinale ; M. Minichino ; E. Ciancamerla
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems / A. Benso ; M. Rebaudengo ; M. Sonza Reorda
Structural Software Reliability Estimation / S. Kuball ; J. May ; G. Hughes
Formal Methods and Security (Poster Session)
Hazard Analysis in Formal Specification / K. Sere ; E. Troubitsyna
Modeling Safety-Critical Systems with Z and Petri Nets / M. Heiner ; M. Heisel
On Formal Languages for Sequences of Authorization Transformations / Y. Bai ; V. Varadharajan
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability / I. Czarnowski ; P. Jedrzejowicz ; E. Ratajczak
Formal Methods
Formal Design of Distributed Control Systems with Lustre / P. Caspi ; C. Mazuet ; R. Salem ; D. Weber
Formal Specification and Development of a Safety-Critical Train Management System / A. Chiappini ; A. Cimatti ; C. Porzia ; G. Rotondo ; R. Sebastaini ; P. Traverso ; A. Villafiorita
Formal Validation of the GUARDS Inter-Consistency Mechanism / C. Bernardeschi ; A. Fantechi ; S. Gnesi
A Graphical Environment for the Specification and Verification of Reactive Systems / A. K. Bhattacharjee ; S. D. Dhodapkar ; S. Seshia ; R. K. Shyamasundar
Security
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector / G. Trouessin
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature / S.-M. Lee ; T.-Y. Kim
The Integration of Safety and Security Requirements / D. P. Eames ; J. Moffett
Author Index
Invited Talk
Software Reliability Engineering in Industry / J. D. Musa
Assessment and Certification
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼