Tool support for high integrity Ada software

1994 ◽  
pp. 63-75
Author(s):  
A. D. Hutcheon ◽  
D. T. Jordan ◽  
J. A. McDermid ◽  
R. H. Pierce ◽  
I. C. Wand ◽  
...  
Keyword(s):  
Tool Support ◽  
High Integrity

Identification of Possible High Integrity Containers for Low-Level Nuclear Waste Disposal

1981 ◽  
Vol 6 ◽  
Author(s):  
Jeffrey D. Williams
Keyword(s):  
South Carolina ◽  
Structural Integrity ◽  
Exchange Resin ◽  
Ion Exchange Resin ◽  
Economic Factors ◽  
Burial Site ◽  
Low Level ◽  
High Integrity ◽  
Low Level Radioactive Waste ◽  
Selection Of

ABSTRACTIncreased concern by the State of South Carolina over the condition and capacity of the low-level radioactive waste burial site at Barnwell has prompted them to promulgate new regulations on waste burial containers. As of September 30, 1981, ion exchange resin and filter media waste with an activity of 1 μCi/cc or greater and with isotopes with halflives greater than five years disposed at Barnwell shall be solidified or confined in a “high integrity container”. The materials and designs of these containers are required to provide waste isolation from the environment for a period of 300 years and provide the structural integrity specified in 49 CFR 173.398(b). HITTMAN has been active in the design and development of containers suitable for this purpose with this paper detailing the analyses involved. Material selections were limited to stainless steel, fiberglass, and polyethylenes. Structural concerns focused on overpressure requirements, drop-testing requirements, and lifting capabilities. With a lifetime dose of up to 108 rads, the possibilities of radiation damage were considered. Preliminary selection of polyethylene was based on satisfactory resolution of these issues and economic factors.

Towards a Standard for a Reliable Execution Environment for Security Protocols

2016 ◽  
Vol 2 (1) ◽  
pp. 78
Author(s):  
Mahalingam Ramkumar
Keyword(s):  
Information Systems ◽  
Full Advantage ◽  
Real World ◽  
Security Protocols ◽  
Low Complexity ◽  
High Integrity ◽  
Execution Environment ◽  
World Information ◽  
Digital Assets ◽  
Attack Models

Approaches for securing digital assets of information systems can be classified as active approaches based on attack models, and passive approaches based on system-models. Passive approaches are inherently superior to active ones. However, taking full advantage of passive approaches calls for a rigorous standard for a low-complexity-high-integrity execution environment for security protocols. We sketch broad outlines of mirror network (MN) modules, as a candidate for such a standard. Their utility in assuring real-world information systems is illustrated with examples.

ELEKTRON ZE41A

Alloy Digest ◽  
1970 ◽  
Vol 19 (10) ◽  
Keyword(s):  
Corrosion Resistance ◽  
Shear Strength ◽  
Physical Properties ◽  
Surface Treatment ◽  
Heat Treating ◽  
Casting Alloy ◽  
Creep Properties ◽  
Magnesium Casting ◽  
Medium Strength ◽  
High Integrity

Abstract ELEKTRON ZE41A is a medium-strength, high-integrity magnesium casting alloy which is fully weldable and has good fatigue and creep properties. It has maximum freedom from microporosity and is applicable up to 320 F. This datasheet provides information on composition, physical properties, elasticity, tensile properties, and shear strength as well as creep and fatigue. It also includes information on corrosion resistance as well as casting, heat treating, machining, joining, and surface treatment. Filing Code: Mg-70. Producer or source: Magnesium Elektron Inc..

Sign in / Sign up

Export Citation Format

Share Document