default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th SAFECOMP 2000: Rotterdam, The Netherlands
- Floor Koornneef, Meine van der Meulen:
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Lecture Notes in Computer Science 1943, Springer 2000, ISBN 3-540-41186-0
Invited Paper
- Thomas Gilb:
The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems. 1-13
Verification and Validation
- John Napier, John H. R. May, Gordon Hughes:
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. 14-26 - B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda
, Massimo Violante:
Speeding-Up Fault Injection Campaigns in VHDL Models. 27-36 - Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski:
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. 37-52 - Wenhui Zhang:
Validation of Control System Specifications with Abstract Plant Models. 53-62 - Luping Chen, John H. R. May, Gordon Hughes:
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. 63-73 - Denis Besnard:
Expert Error: The Case of Trouble-Shooting in Electronics. 74-85 - A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey:
The Safety Management of Data-Driven Safety-Related Systems. 86-95 - Chris W. Johnson:
Software Support for Incident Reporting Systems in Safety-Critical Applications. 96-106
Software Process Improvement
- Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart:
A Dependability-Explicit Model for the Development of Computing Systems. 107-116 - Peter A. Lindsay, John A. McDermid, David J. Tombs:
Deriving Quantified Safety Requirements in Complex Systems. 117-130 - Xavier Méhaut, Pierre Morère:
Improving Software Development by Using Safe Object Oriented Development: OTCD. 131-140 - Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric:
A Safety Licensable PES for SIL 4 Applications. 141-150 - Zdzislaw Zurakowski:
Safety and Security Issues in Electric Power Industry. 151-164 - Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun:
Dependability of Computer Control Systems in Power Plants. 165-175 - Jan Magott, Pawel Skrobanek:
A Method of Analysis of Fault Trees with Time Dependencies. 176-186
Formal Methods
- Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald:
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. 187-197 - Thierry Scheurer:
Formal Methods: The Problem Is Education. 198-210 - Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects. 211-226
Invited Paper
- Maarten Steinbuch:
Safe Tech: A Control Oriented Viewpoint. 227-239
Safety Guidelines, Standards and Certification
- Richard Evans, Jonathan D. Moffett:
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems. 240-249 - Derek Fowler, Phil Bennett:
IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems?? 250-263
Hardware Aspects
- D. Basu, R. Paramasivam:
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems. 264-274 - Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas:
Programmable Electronic System Design & Verification Utilizing DFM. 275-285 - Andreas Schenk:
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller. 286-293
Safety Assessment 1
- Bev Littlewood, Peter T. Popov, Lorenzo Strigini:
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. 294-308 - Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka, Britt J. Ystanes:
Estimating Dependability of Programmable Systems Using BBNs. 309-320
Design for Safety
- Ferdinand J. Dafelmair:
Improvements in Process Control Dependability through Internet Security Technology. 321-332 - James S. Pascoe, Roger J. Loader:
A Survey on Safety-Critical Multicast Networking. 333-343
Invited Paper
- Peter B. Ladkin:
Causal Reasoning about Aircraft Accidents. 344-360
Transport & Infrastructure
- Stuart Anderson, Massimo Felici:
Controlling Requirements Evolution: An Avionics Case Study. 361-370 - Andrew Hussey:
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. 371-381 - Tadeusz Cichocki, Janusz Górski:
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. 382-394
Safety Assessment 2
- Nimal Nissanke, Hamdan Dammag:
Risk Ordering of States in Safecharts. 395-405 - Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini:
Dependability Evaluation: Model and Method Based on Activity Theory. 406-419 - Chris Johnson:
Forensic Software Engineering and the Need for New Approaches to Accident Investigation. 420-429
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
