Safety, analyses properties

One of the most Important thermophysical properties of reactor fuel In reactor safety analysis Is vapor pressure, for which data are needed for temperatures above 3000 K. We have recently completed an analysis of the vapor pressure and vapor composition In equilibrium with the hypostolchiometric uranium dioxide condensed phase (1 ), and we present here a similar analysis for the plutonium/oxygen (Pu/0) system. 

APCI is widely used nowadays in different application fields for low molecular weight analytes. Many of them can either be analyzed with ESI or APCI, and the choice of the method should take into account several aspects, such as the physical-chemical properties of the molecule, the mobile phase composition and the required flow rate, and possible matrix effects. Typical APCI applications are in pharmaceutical, environmental, and food safety analysis. 

Safety analysis is a process of preventing accidents which involve operation of system under development or it is a process of (a postdevelopment) demonstration of the system safety properties. Four major steps of the process are distinguished to identify (understand and model) (compare [N.G. Leveson, (1995)], [N.G. Leveson, (2004)], [J. Zalewski and all, (2003)]) ... 

When one draws a boundary around the system the general intention is to perform a safety analysis on the contents. Normally that would involve a deep investigation of the technology, its design, build and test and processes and procedures that have gone into its manufacture. However, in some cases, that information is simply not available to the party undertaking the analysis. There are a number of reasons for this but often it comes down to a lack of information sharing and the protection of intellectual property. 

A systematic safety analysis serves to identify events which lead to considerable hazards for the life and health of persons, endanger the environment ot valuable property... 

Jahanian, F, and Mok, A. K. (1986). Safety analysis of timing properties in real-time systems, IEEE Trans. Software Eng. 12(9), 890-904. 

Mechanical properties safety analysis, fabrication to minimize defeets, adequate codes (ASME and similar), control bodies requirements, additional requirements of the system designer. 

Though the fission in the reactor core is analyzed by the nuclear consideration, the heat generated by the reactor through fission and its use in the generation of power for a given reactor core is largely limited by thermal processes and material properties rather than by nuclear considerations. The safety analysis of the reactor during normal and abnormal operational conditions involves detailed thermal-hydraulics analysis. 

Distribution Functions and Statistical Characteristic Quantities. The occurrence probabilities of specific incidents involving components or subsystems of a complete system depend on properties with statistically distributed values and which can be described by distribution functions. In addition to the distribution function, a few types of characteristic data which are of particular interest in safety analysis will be discussed below. 

The requirements for safety properties analysis and analysis to be performed on the whole of the source code are in some sense inconsistent. Analysis, using the most rigorous techniques, of all of the source code is onerous and difficult to justify for parts of the software that may hav no impact on the system safety. Analysis of safety properties offers the potential for a more focussed analysis. But this potential is not realised within 00-55. 

Attempts to alter the GT-MHR fuel cycle to produce plutonium with an isotopic content suitable for weapons material would be difficult and readily detectible. This would require frequent refuelling and use of fuel loadings that differ substantially from normal fuel loadings, with corresponding differences in neutronic properties. The safety and operational requirements of the GT-MHR will require strict compliance with requirements for fuel handling and placement in the core to insure core power and temperature distributions are within the limiting conditions assumed in the safety analysis. The fuel accountability and inspection requirements would preclude the major alterations in the fuel cycle required to produce the desired plutonium isotopic content, and would preclude diversion of spent fuel for clandestine reprocessing. 

Safety analysis is an essential part in the development of medical devices. Safety is an essential property of the systems just like efficiency and reliability are. Some of the devices developed are life-supporting. This means that a failure of such a device may lead to the death of a patient if no adequate safety measures are applied. As complexity of the devices increases, the demand for automation in safety analysis grows. It is common sense that the traditional techniques are not necessarily complete. In addition, the results of such techniques largely depend on the experience of the analyst. Knowing that it is not sufficient to just replace the traditional manual techniques for automated counterparts, we follow a combined approach. The trend with new developments indicates a steady increase in the software portion of the systems. For some systems, the portion of total development time dedicated to hard-ware development is between 10 and 20%. This shift towards software is accompanied with an increase in the complexity of the systems. For this reason, the techniques used for safety analysis have to cope with the increased complexity. Automated tools can be effective in dealing with the inherent complexity of largely software-based systems. While for traditional techniques emphasis is placed on completeness, this changes to accuracy of the model for the automated techniques. 

Currently, LFR R D in ROK is focused on the further development of computer codes and corrosion-resistant materials as weU as the safety design criteria. System design codes for URANUS have been focused on neutronic models and safety analysis codes. It is planned that the developed codes will be verified by independent experts. Thermomechanical processing of corrosion-resistant materials developed for long-life core will be explored to achieve desirable combinarion of proven mechanical properties in fast neutron environment and innovalive corrosion resistance. The ROK LFR R D community has been participating in the GIF LFTi provisional Systems Steering Committee as an observer. It is planned that the safety design criteria for URANUS will be derived from the international collaboration. 

This work leads directly on to a more closely focused Safety Analysis related to national regulations, British Rail standard signalling principles, etc. This work permits a list of the properties of an individual signalling system needed to ensure safety to be derived from the track layout. 

There are many definitions of safety, and sometimes a distinction is made between systems being safety critical and safety related, dependent on the degree of harm they can cause. We take the view that safety is concerned with absolute harm, that is irremediable or irrecoverable damage. The damage can be to individuals, to property, or to the environment. Safety is a systems issue. Computer systems, and hence software, can only influence safety if they are used to control some physical process which can lead to harm. Thus, although we wish to build computer based tools to support safety analysis, our aim is to support safety cases about systems implemented in a mixture of technologies, and involving humans, not simply implemented as computer systems or in software. 

Abstract. In smart card domain, attacks and coimtermeasures are advancing at a fast rate. In order to have a generic view of all the attacks, we propose to use a Fault Tree Analysis. This method used in safety analysis helps to understand and implement aU the desirable and undesirable events existing in this domain. We apply this method to Java Card vulnerability analysis. We define the properties that must be ensured integrity and confidentiality of smart card data and code. By modehng the conditions, we discovered new attack paths to get access to the smart card contents. Then we introduce a new security API which is proposed to mitigate the undesirable events defined in the tree models. 

Reliability and safety analyses are different concepts that have a certain amount of overlapping between them. Reliability analysis of an item involves studying its characteristics expressed by the probability that it will perform a required function under stated conditions for a stated period of time. If such an analysis is extended to involve the study of the consequences of the failures in terms of possible damage to property and the environment or injuries/deaths of people, the study is referred to as safety analysis. 

---