Sciweavers

SCS
2003
13 years 10 months ago
Security as a Safety Issue in Rail Communications
Systems whose failure can lead to the damage of property or the environment, or loss of human life are regarded as safety-critical systems. It is no longer adequate to build safet...
Jason Smith, Selwyn Russell, Mark Looi
SCS
2003
13 years 10 months ago
SIL Rating Fire Protection Equipment
SIL's (Safety Integrity Levels) are used by IEC 61508:1998 [1] to characterise the required functional safety of computer control systems. For example, SIL 4, the highest rat...
Richard M. Robinson, Kevin J. Anderson
SCS
2003
13 years 10 months ago
Measuring Safety: Applying PSM to the System Safety Domain
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
John Murdoch, Graham Clark, Antony Powell, Paul Ca...
SCS
2003
13 years 10 months ago
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort
We perform a Why-Because Analysis (WBA) starting from the information in the Executive Summary of the U.S. DoD Aircraft Accident Investigation Board report on the shootdown of two ...
Peter B. Ladkin, Jörn Stuphorn
SCS
2003
13 years 10 months ago
A New Component Concept for Fault Trees
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
Bernhard Kaiser, Peter Liggesmeyer, Oliver Mä...
SCS
2003
13 years 10 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid
SCS
2003
13 years 10 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
SCM
2003
13 years 10 months ago
Merging Collection Data Structures in a Content Management System
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
Axel Wienberg
SCM
2003
13 years 10 months ago
Uniform Comparison of Configuration Management Data Models
The data models of a series of 11 configuration management systems—of varying type and complexity—are represented using containment data models. Containment data models are a s...
E. James Whitehead Jr., Dorrit Gordon
SCM
2003
13 years 10 months ago
Compatibility of XML Language Versions
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
Daniel Dui, Wolfgang Emmerich