A Domain-Specific Language for Railway Interlocking Systems

DEFF Research Database (Denmark)

Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan

2014-01-01

). Furthermore, the paper describes an interlocking table generator (ITG) that generates automatically a well-formed interlocking table from a well-formed railway network layout. Experiments with the DSL and ITG using the RAISE tools and the C++ implementation show that the use of the DSL and ITG can increase...... the productivity and significantly reduce errors in the specifications of railway interlocking systems....

Design lessons from using programmable controllers in the MFTF-B personnel safety and interlocks system

International Nuclear Information System (INIS)

Branum, J.D.

1983-01-01

Applying programmable controllers in critical applications such as personnel safety and interlocks systems requires special considerations in the design of both hardware and software. All modern programmable controller systems feature extensive internal diagnostic capabilities to protect against problems such as program memory errors; however most, if not all present designs lack an intrinsic capability for detecting and countering failures on the field-side of their I/O modules. Many of the most common styles of I/O modules can also introduce potentially dangerous sneak circuits, even without component failure. This paper presents the most significant lessons learned to date in the design of the MFTF-B Personnel Safety and Interlocks System, which utilizes two non-redundant programmable controllers with over 800 I/O points each. Specific problems recognized during the design process as well as those discovered during initial testing and operation are discussed along with their specific solutions in hardware and software

PLC-based interlock system for superconducting magnets

International Nuclear Information System (INIS)

Agostini, R.C.; Barker, L.; Hodgers, J.; Reagan, D.; Walz, H.V.

1989-01-01

Conventional interlock systems rely heavily on hard-wired electromagnetic relays. Although this approach is well understood and has proven to be reliable, several drawbacks plague the designer as well as the repairman. If larger systems have to be implemented in relay logic, the complexity limit is soon reached; the systems become too bulky, and wiring expenses sky-rocket; moreover, the intelligence of those designs is limited in such a way that desirable features such as self-tests have to be left out. Additionally, relay interlocks are inherently inflexible: if the configuration of the system they protect has to change, a disproportional amount of time, work and money has to be invested in order to adapt the hard-wiring of the interlock system to the new requirements. Repair work is often unnecessarily delayed due to the lack of adequate documentation

A new interlock design for the TESLA RF system

International Nuclear Information System (INIS)

Leich, H.; Kahl, J.; Choroba, S.; Grevsmuehl, T.; Heidbrook, N.

2001-01-01

The RF system for TESLA requires a comprehensive interlock system. Usually interlock systems are organized in a hierarchical way. In order to react to different fault conditions in a fast and flexible manner a nonhierarchical organization seems to be the better solution. At the TESLA Test Facility (TTF) at DESY the authors will install a nonhierarchical interlock system that is based on user designed reprogrammable gate-arrays (FPGA's) which incorporate an embedded microcontroller system. This system could be used later for the TESLA linear collider replacing a strictly hierarchical design

Machine interlock and protection system based on PLC for the SSRF linac

International Nuclear Information System (INIS)

Chou Wenjun; Zhou Dayong; Chen Jianfeng; Shen Liren; Liu Yajuan

2008-01-01

This paper describes a machine interlock and protection system used for accelerators based on EPICS (Experimental physics and industrial control system). The system is composed of a front-end computer and an FM-3R logic controller PLC. The alarm signal is passed by the hardware directly, and would be deal with PLC. The reporting, recording and analyst of the event are accomplished by EPICS control software. And PLC is linked to the EPICS by Internet. (authors)

Applied Bounded Model Checking for Interlocking System Designs

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Peleska, Jan; Pinger, Ralf

2014-01-01

In this paper the verification and validation of interlocking systems is investigated. Reviewing both geographical and route-related interlocking, the verification objectives can be structured from a perspective of computer science into (1) verification of static semantics, and (2) verification o...

Applied Bounded Model Checking for Interlocking System Designs

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Peleska, Jan; Pinger, Ralf

2013-01-01

In this article the verification and validation of interlocking systems is investigated. Reviewing both geographical and route-related interlocking, the verification objectives can be structured from a perspective of computer science into (1) verification of static semantics, and (2) verification...

Formal Verification of the Danish Railway Interlocking Systems

DEFF Research Database (Denmark)

Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan

2014-01-01

in the new Danish interlocking systems. Instantiating the generic model with interlocking configuration data results in a concrete model and high-level safety properties. Using bounded model checking and inductive reasoning, we are able to verify safety properties for model instances corresponding to railway...

Hardwired interlock system with fault latchability and annunciation panel for electron accelerators

International Nuclear Information System (INIS)

Mukesh Kumar; Roychoudhury, P.; Nimje, V.T.

2011-01-01

A hard-wired interlock system is designed, developed, installed and tested to ensure healthy status for interlock signals, coming from the various sub-systems of electron accelerators as digital inputs. Each electron accelerator has approximately ninety-six interlock signals. Hardwired Interlock system consists of twelve-channel 19 inches rack mountable hard-wired interlock module of 4U height. Digital inputs are fed to the hard-wired interlock module in the form of 24V dc for logic 'TRUE' and 0V for logic 'FALSE'. These signals are flow signals to ensure cooling of the various sub-systems, signals from the klystron modulator system in RF Linac to ensure its healthy state to start, signals from high voltage system of DC accelerator, vacuum signals from vacuum system to ensure proper vacuum in the electron accelerator, door interlock signals, air flow signals, and area search and secure signals. This hard-wired interlock system ensures the safe start-up, fault annunciation and alarm, fault latchablity, and fail-safe operation of the electron accelerators. Safe start-up feature ensures that beam generation system can be made ON only when cooling of all the electron accelerator sub-systems are confirmed, all the fault signals of high voltage generation system are attended, proper vacuum is achieved inside the beam transport system, all the doors are closed and various areas have been searched and secured manually. Fault annunciation and alarm feature ensures that during the start up and operation of the electron accelerators, if any fault is there, that fault signal window keeps on flashing with red colour and alarm is sounded till the operator acknowledges the fault. Once acknowledged, flashing and alarm stops but display of the window in red colour remains till the operator clears the fault. Fault latchability feature ensures that if any fault has happened, accelerator cannot be started again till the operator resets that interlock signal. Fail-safe feature ensures

Design of the interlock and protection system for the SPIDER experiment

International Nuclear Information System (INIS)

Pomaro, N.; Grando, L.; Luchetta, A.; Paolucci, F.; Sartori, F.

2013-01-01

Highlights: •A custom designed interlock and protection system for SPIDER experiment is described. •It includes two subsystems implementing slow and fast protection functions. •High reliability PLCs are adopted for slow protection. •Fiber-optic based, custom designed fast logic circuitry is proposed for fast protection. •Accelerators breakdown events are also managed by the fast subsystem. -- Abstract: Unprecedented levels of beam energy and power are required for ITER Neutral Beam Heating systems. SPIDER experiment is an experimental device aimed to test and optimize a full size beam source satisfying ITER requirements. SPIDER experiment operation involves high power, voltage, temperature, and gas pressure. All these critical conditions are present simultaneously, so that any failure if not properly detected and managed is likely to cause severe damage. The Interlock and Protection System is a high-reliability system devoted to the investment protection of SPIDER. Its main purpose is to manage abnormal events occurring in one or more plants in order to minimize adverse consequences. The Interlock System also manages the SPIDER Operating Modes, defining the set and status of the Plants used in the various possible experimental configurations. In addition, the Interlock and Protection System takes care of particular events occurring during normal SPIDER operation, i.e. electrical arcs between accelerator grids, named breakdowns. Their treatment is committed to the Interlock and Protection System, as they need to be managed timely and with absolute reliability like actual faults. To perform the required functions, the Interlock and Protection System is interfaced with most SPIDER plants and with the SPIDER Control and Data Acquisition System. The paper describes the rationale of the protection functions, their implementation in the design and the technical specifications of the system

Modelling and Verification of Relay Interlocking Systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Bliguet, Marie Le; Kjær, Andreas

2010-01-01

This paper describes how relay interlocking systems as used by the Danish railways can be formally modelled and verified. Such systems are documented by circuit diagrams describing their static layout. It is explained how to derive a state transition system model for the dynamic behaviour...

Control interlock and monitoring system for 80 KW IOT based RF power amplifier system at 505.812 MHz for Indus-2

International Nuclear Information System (INIS)

Kumar, Gautam; Deo, R.K.; Jain, M.K.; Bagre, Sunil; Hannurkar, P.R.

2013-01-01

For 80 kW inductive output tube (IOT) based RF power amplifier system at 505.812 MHz for Indus-2, a control, interlock and monitoring system is realized. This is to facilitate proper start-up and shutdown of the amplifier system, monitor various parameters to detect any malfunction during its operation and to bring the system in a safe stage, thereby assuring reliable operation of the amplifier system. This high power amplifier system incorporates interlocks such as cooling interlocks, various voltage and current interlocks and time critical RF interlocks. Processing of operation sequence, cooling interlocks and various voltage and current interlocks have been realized by using Siemens make S7-CPU-315-2DP (CPU) based programmable logic controller (PLC) system. While time critical or fast interlocks have been realized by using Siemens make FPGA based Boolean Co-processor FM-352-5 which operates in standalone mode. Siemens make operating panel OP277 6'' is being used as a human machine interface (HMI) device for command, data, alarm generation and process parameter monitoring. (author)

NSTX Protection And Interlock Systems For Coil And Powers Supply Systems

International Nuclear Information System (INIS)

Zhao, X.; Ramakrishnan, S.; Lawson, J.; Neumeyer, C.; Marsala, R.; Schneider, H.

2009-01-01

NSTX at Princeton Plasma Physics Laboratory (PPPL) requires sophisticated plasma positioning control system for stable plasma operation. TF magnetic coils and PF magnetic coils provide electromagnetic fields to position and shape the plasma vertically and horizontally respectively. NSTX utilizes twenty six coil power supplies to establish and initiate electromagnetic fields through the coil system for plasma control. A power protection and interlock system is utilized to detect power system faults and protect the TF coils and PF coils against excessive electromechanical forces, overheating, and over current. Upon detecting any fault condition the power system is restricted, and it is either prevented from initializing or suppressed to de-energize coil power during pulsing. Power fault status is immediately reported to the computer system. This paper describes the design and operation of NSTX's protection and interlocking system and possible future expansion.

The vacuum interlock system for the CELSIUS ring

International Nuclear Information System (INIS)

Gajewski, K.

1990-01-01

A vacuum interlock system has been designed and built for the CELSIUS storage ring. The ultrahigh-vacuum system of CELSIUS has a design pressure of 10 -11 mbar. This is achieved by using vacuum-fired stainless-steel chambers, baking the whole ring to 300degC and running some 50 sputter ion and titanium sublimation pumps. The turbopumps, combined with roughing pumps, are used during the pump-down and the bake-out. The pressure is monitored by Penning vacuum gauges. There is a number of programmable pressure thresholds set to trigger various events (like closing the sector valves, disabling the bake-out, etc.). The interlock system is based on the Mitsubishi programmable logic controller (PLC). An IBM PC is used as an operator's console. The operation and performance of the system is described. On the basis of present experience an upgrading of the system is suggested. (orig.)

The Radiation Safety Interlock System for Top-Up Mode Operation at NSRRC

CERN Document Server

Chen Chien Rong; Kao, Sheau-Ping; Liu, Joseph; Sheu, Rong-Jiun; Wang, Jau-Ping

2005-01-01

The radiation safety interlock systems of NSRRC have been operated for more than a decade. Some modification actions have been implemented in the past to perfect the safe operation. The machine and its interlock system were originally designed to operate at the decay mode. Recently some improvement programs to make the machine injection from original decay mode to top-up mode at NSRRC has initiated. For users at experimental area the radiation dose resulted from top-up re-fill injections where safety shutters of beam-lines are opened will dominate. In addition to radiation safety action plans such as upgrading the shielding, enlarging the exclusion zones and improving the injection efficiency, the interlock system for top-up operation is the most important to make sure that injection efficiency is acceptable. To ensure the personnel radiation safety during the top-up mode, the safety interlock upgrade and action plans will be implemented. This paper will summarize the original design logic of the safety inter...

A Retrospective View to the Magnet Interlock Systems at CERN

CERN Document Server

Romera, I; Mompo, R; Puccio, B; Zerlauth, M

2014-01-01

Several thousands of both, superconducting and normal conducting magnets are in charge of guiding the particle beams in CERN’s accelerator complex. In order to protect the magnet and powering equipment from damage, dedicated magnet interlock and protection systems are deployed throughout the various accelerators and transfer lines. These systems have worked extremely well during the first years of LHC operation, providing highly dependable interlocking of magnet powering based on industrial COTS components. This paper reviews the performance and experience with more than 70 individual installations during the first LHC running period and compares the operational experience with the initial expectations of dependability. Additional improvements required to address specific operational needs and observed shortcomings are presented. Finally, we review the existing magnet interlock infrastructure in the LHC injector complex and the ongoing renovation works during the first long shutdown.

Comparing formal verification approaches of interlocking systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Nguyen, Hoang Nga; Roggenbach, Markus

2016-01-01

these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey......The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare....../Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies. The DTU/Bremen research has been funded by the RobustRailS project granted by Innovation Fund Denmark. The Surrey/Swansea research has been funded by the Safe...

PLC based development of control, monitoring and interlock for 100 kW, 45.6 MHz ICRH system

International Nuclear Information System (INIS)

Jadav, Hiralal; Joshi, Rameshkumar; Mali, Aniruddh K.; Kadia; Bhavesh; Parmar; Maganbhai, Kiritkumar; Kulkarni, S.V.

2015-01-01

This paper presents details of PLC based system development for 100KW at the rate 45.6 MHz. Presently in ICRH RF DAC (Data acquisition and control) system existing based on real time VME and linux operating system. The ICRH system consists of 1.5 MW RF generator operating at 22- 40MHz which is used for second harmonic heating and pre-ionization experiments on SST-1 Tokamak at 1.5T and 3T magnetic field operation respectively. The task of PLC system in RF ICRH is to control, monitoring and interlocks HVDC power supply signal. Voltage and current signal of 2 kW, 20 kW, tetrode for 100 kW RF tube electrode like Filament, Control grid, Plate, Screen grid, signal monitor and voltage set raised by PLC analog IO module. Acknowledgement of the HVDC supply Filament, Control grid, Plate, Screen grid power supply is monitor and interlocks by PLC Digital IO module to interlocks stop the RF pulse and off HV power supply. The RF pulse(shot) to trigger signal generator (5mw) RF power output feed to LPA then chain of 2 KW, 20 KW, 100 KW at the rate 45.6 MHz. The programming logic controller (PLC) software is written in ladder language for AH500 Delta make using ISP Soft 2.04 and GUI is in the table form to control and monitor the parameters. Communication of PLC to PC by ethernet LAN network. (author)

SaRDIn - A Safe Reconfigurable Distributed Interlocking

DEFF Research Database (Denmark)

Fantechi, Alessandro; Gnesi, S.; Haxthausen, Anne Elisabeth

2016-01-01

Current computer-based interlocking systems most often have a centralized design, with all logic residing in a single computer. Centralized interlockings are complex to design. Following the general trend in Cyber-Physical Systems, the SaRDIn (Safe Reconfigurable Distributed Interlockings) concept...

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

DEFF Research Database (Denmark)

Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan

2015-01-01

In this paper, we present a method and an associated tool suite for formal verification of the new ETCS level 2 based Danish railway interlocking systems. We have made a generic and reconfigurable model of the system behavior and generic high-level safety properties. This model accommodates seque...... SMT based bounded model checking (BMC) and inductive reasoning, we are able to verify the properties for model instances corresponding to railway networks of industrial size. Experiments also show that BMC is efficient for finding bugs in the railway interlocking designs....

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

DEFF Research Database (Denmark)

Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan

2014-01-01

In this paper, we present a method and an associated tool suite for formal verification of the new ETCS level 2 based Danish railway interlocking systems. We have made a generic and reconfigurable model of the system behavior and generic high-level safety properties. This model accommodates seque...... SMT based bounded model checking (BMC) and inductive reasoning, we are able to verify the properties for model instances corresponding to railway networks of industrial size. Experiments also show that BMC is efficient for finding bugs in the railway interlocking designs....

Beam-limiting and radiation-limiting interlocks

International Nuclear Information System (INIS)

Macek, R.J.

1996-01-01

This paper reviews several aspects of beam-limiting and radiation- limiting interlocks used for personnel protection at high-intensity accelerators. It is based heavily on the experience at the Los Alamos Neutron Science Center (LANSCE) where instrumentation-based protection is used extensively. Topics include the need for ''active'' protection systems, system requirements, design criteria, and means of achieving and assessing acceptable reliability. The experience with several specific devices (ion chamber-based beam loss interlock, beam current limiter interlock, and neutron radiation interlock) designed and/or deployed to these requirements and criteria is evaluated

Architecture for interlock systems: reliability analysis with regard to safety and availability

International Nuclear Information System (INIS)

Wagner, S.; Apollonio, A.; Schmidt, R.; Zerlauth, M.; Vergara-Fernandez, A.

2012-01-01

For particle accelerators like LHC and other large experimental physics facilities like ITER, the machine protection relies on complex interlock systems. In the design of interlock loops for the signal exchange in machine protection systems, the choice of the hardware architecture impacts on machine safety and availability. The reliable performance of a machine stop (leaving the machine in a safe state) in case of an emergency, is an inherent requirement. The constraints in terms of machine availability on the other hand may differ from one facility to another. Spurious machine stops, lowering machine availability, may to a certain extent be tolerated in facilities where they do not cause undue equipment wear-out. In order to compare various interlock loop architectures in terms of safety and availability, the occurrence frequencies of related scenarios have been calculated in a reliability analysis, using a generic analytical model. This paper presents the results and illustrates the potential of the analysis method for supporting the choice of interlock system architectures. The results show the advantages of a 2003 (3 redundant lines with 2-out-of-3 voting) over the 6 architectures under consideration for systems with high requirements in both safety and availability

Advanced interlocking systems to improve heavy-load-bearing characteristics of flexible intramedullary nailing

Energy Technology Data Exchange (ETDEWEB)

Berger, Leopold, E-mail: leopold.berger@tuwien.ac.at [Institute of Building Construction and Technology, TU Wien, Karlsplatz 13/206-4, 1040 Vienna (Austria); Eichler, Johannes [Department of Orthopedics and Orthopedic Surgery, Medical University of Graz, Auenbruggerplatz 5/6, 8036 Graz (Austria); Ryll, E. Jonathan S. [Department of Trauma-, Hand- and Reconstructive Surgery, University Hospital Muenster, Westphalian-Wilhelms University, Muenster (Germany); Fischerauer, Stefan [Department of Traumatology, Medical University of Graz, Auenbruggerplatz 5/6, 8036 Graz (Austria); Raschke, Michael J. [Department of Trauma-, Hand- and Reconstructive Surgery, University Hospital Muenster, Westphalian-Wilhelms University, Muenster (Germany); Kolbitsch, Andreas [Institute of Building Construction and Technology, TU Wien, Karlsplatz 13/206-4, 1040 Vienna (Austria); Castellani, Christoph [Department of Pediatric and Adolescence Surgery, Medical University of Graz, Auenbruggerplatz 34, 8036 Graz (Austria); Weinberg, Annelie-Martina [Department of Orthopedics and Orthopedic Surgery, Medical University of Graz, Auenbruggerplatz 5/6, 8036 Graz (Austria)

2016-11-01

Flexible intramedullary nailing (FIN) is a minimally invasive and widespread standard method for osteosynthesis of pediatric long bone fractures. In the case of unstable fractures of the lower extremity, interlocking systems need to be used to prevent axial shortening and subsequent perforation of the nail at its insertion site. In the present study, four different screw-fixed interlocking systems for FINs (Hofer TwinPlug with two 3-mm titanium interlocking screws, Hofer FixPlug with 3-mm titanium interlocking screw, Hofer Plug with 3.5-mm titanium interlocking screw, and Hofer Plug with 3-mm titanium interlocking screw) in comparison with the commonly used Ender stainless steel nails (locked with 3.5-mm screw) were experimentally investigated in cadaveric lamb tibiae, regarding their load characteristics and failure modes in the case of heavy loading. The specimens were subjected to sequential axial cyclic loading of 5000cycles with stepwise increase of the load amplitude until failure. Migration of locking screws and internal damage of bone tissue was quantified by micro-computed tomography (CT) imaging. Ender nails failed on average at a peak load of 800 N, TwinPlugs at 1367 N, FixPlugs at 1222 N, Plugs 3.5mm at 1225 N and Plugs 3.0mm at 971 N. TwinPlugs, FixPlugs, and Plugs 3.5mm failed in a slow manner over several hundred loading cycles, whereas Ender nails and Plugs 3.0mm exhibited abrupt failure without any prior indication. Our results confirm that axial stability of FIN can be further improved by screw-fixed plugs by simultaneously avoiding shortcomings of an eye-locked system, which the Ender nails are. Considering biomechanical results, plug interlocking systems with 3.5-mm screws should be favored over conventional Ender nails and plugs with 3-mm screws. - Highlights: • Locked flexible intramedullary nails in lamb tibiae were cyclically loaded. • Strongly different failure modes of locking systems were detected. • Novel screw-fixed plugs are

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Kjær, Andreas A.; Le Bliguet, Marie

2011-01-01

This paper describes a tool for formal modelling relay interlocking systems and explains how it has been stepwise, formally developed using the RAISE method. The developed tool takes the circuit diagrams of a relay interlocking system as input and gives as result a state transition system modelling...

Central system of Interlock of ITER, high integrity architecture

International Nuclear Information System (INIS)

Prieto, I.; Martinez, G.; Lopez, C.

2014-01-01

The CIS (Central Interlock System), along with the CODAC system and CSS (Central Safety System), form the central I and C systems of ITER. The CIS is responsible for implementing the core functions of protection (Central Interlock Functions) through different systems of plant (Plant Systems) within the overall strategy of investment protection for ITER. IBERDROLA supports engineering to define and develop the control architecture of CIS according to the stringent requirements of integrity, availability and response time. For functions with response times of the order of half a second is selected PLC High availability of industrial range. However, due to the nature of the machine itself, certain functions must be able to act under the millisecond, so it has had to develop a solution based on FPGA (Field Programmable Gate Array) capable of meeting the requirements architecture. In this article CIS architecture is described, as well as the process for the development and validation of the selected platforms. (Author)

Coastal protection using topological interlocking blocks

Science.gov (United States)

Pasternak, Elena; Dyskin, Arcady; Pattiaratchi, Charitha; Pelinovsky, Efim

2013-04-01

The coastal protection systems mainly rely on the self-weight of armour blocks to ensure its stability. We propose a system of interlocking armour blocks, which form plate-shape assemblies. The shape and the position of the blocks are chosen in such a way as to impose kinematic constraints that prevent the blocks from being removed from the assembly. The topological interlocking shapes include simple convex blocks such as platonic solids, the most practical being tetrahedra, cubes and octahedra. Another class of topological interlocking blocks is so-called osteomorphic blocks, which form plate-like assemblies tolerant to random block removal (almost 25% of blocks need to be removed for the assembly to loose integrity). Both classes require peripheral constraint, which can be provided either by the weight of the blocks or post-tensioned internal cables. The interlocking assemblies provide increased stability because lifting one block involves lifting (and bending) the whole assembly. We model the effect of interlocking by introducing an equivalent additional self-weight of the armour blocks. This additional self-weight is proportional to the critical pressure needed to cause bending of the interlocking assembly when it loses stability. Using beam approximation we find an equivalent stability coefficient for interlocking. It is found to be greater than the stability coefficient of a structure with similar blocks without interlocking. In the case when the peripheral constraint is provided by the weight of the blocks and for the slope angle of 45o, the effective stability coefficient for a structure of 100 blocks is 33% higher than the one for a similar structure without interlocking. Further increase in the stability coefficient can be reached by a specially constructed peripheral constraint system, for instance by using post-tension cables.

Radiation safety interlocks at the NSLS

International Nuclear Information System (INIS)

Dickinson, T.

1985-07-01

The function of the NSLS interlock systems is to insure that no one is in an area where there is hazardous radiation, and to turn off the radiation source if a person somehow gains access to such an area. The interlock systems for the high hazard areas meet the following design requirements: (1) The system is redundant, that is no single failure can render the system unsafe. This is done by providing 2 independent systems or circuits; (2) In so far as possible, the two circuits are physically different. This minimizes the possibility of related coincident failures; (3) The design is fail safe. This means that the most likely failure modes leave the system in a safe condition. For example, the following failures are safe: Loss of power in any part of the system, any combination of shorts to ground, and any combination of open circuits; and (4) The interlock system must be testable. Redundancy sometimes makes testing difficult, but testing schemes must be worked out, since an untested interlock is undependable

Economic aspects of interlocking hollow brick system designed for industrialized building system

Science.gov (United States)

Tahir, Mahmood Md.; Saggaff, Anis; Ngian, Shek Poi; Sulaiman, Arizu

2017-11-01

Construction industry has moved forward into a technology driven where a transition is in progress from conventional method to a more advanced and mechanised system known as the Industrialised Building System (IBS). However, the need to implement the IBS should be well understood by all construction players such as designer, architect, contraction, erectors and construction workers. Therefore, there is a need to educate all these construction players which should be spearheaded by authorities such as Construction Industrial Development Board where enforcement trough building by laws as well as initiative to those that adopt the IBS in their construction. This paper reports on economic aspects of using interlocking hollow brick system in construction as an alternative method offered for Industrialized Building System. The main objective is to address the economic aspects of using interlocking block system in terms of time, costs, and utilization of manpower and to present some of the experimental tests results related to Interlocking Hollow Brick System (IHBS). Example of savings from the use of IHBS is presented in this paper by comparing the construction of two storey terrace house with build-up area of about 200 square meter with conventional construction method of typical reinforced concrete construction (RCC) compared to IHBS. The comparison shows that the implementation of IHBS can reduce construction time, cost, and utilization of man power up to 26.6% compared to the conventional method. Moreover, the construction time using IHBS can also be reduced by up to 50% as compared to the conventional construction.

Availability Analysis of the Ventilation Stack CAM Interlock System

CERN Document Server

Young, J

2000-01-01

Ventilation Stack Continuous Air Monitor (CAM) Interlock System failure modes, failure frequencies, and system availability have been evaluated for the RPP. The evaluation concludes that CAM availability is as high as assumed in the safety analysis and that the current routine system surveillance is adequate to maintain this availability credited in the safety analysis, nor is such an arrangement predicted to significantly improve system availability.

Development of rubberized geopolymer interlocking bricks

Directory of Open Access Journals (Sweden)

Bashar S Mohammed

2018-06-01

Full Text Available Waste tires contribute badly to the environment on a huge scale as they are bulky, non-biodegradable, and prone to fire and being a shelter for mosquitos and other insects. This paper reports on a novel approach towards the development of rubberized brick by utilizing crumb rubber as the sole fine aggregate in the production of geopolymer interlocking bricks. The response surface methodology (RSM from Design Experts software has been used to determine the numbers of trial mixes and their corresponding ingredients. A total of thirteen trial mixes were carried out and tested for compressive strength and the RSM model was developed to predict the design mix based on the targeted compressive strength. The mix design was obtained to be an 18 M for NaOH and 0.8 solution to fly ash ratio. The geopolymer interlocking rubberized bricks were then produced and tested for compressive strength, dimension, modulus of rupture, water absorption, initial rate of absorption, and efflorescence. The geopolymer interlocking rubberised bricks presented a low compressive and flexural strength and a high-water absorption capacity. The bricks were rated as non-effloresced and classified as 3rd class bricks which can be used as non-load bearing material. It is recommended to utilize nano silica in order to increase the strength of the brick. Keywords: Rubberized bricks, Crumb rubber, Interlocking bricks, Geopolymer, Response surface methodology

D0 Central Tracking Solenoid Energization, Controls, Interlocks and Quench Protection Operating Procedures

International Nuclear Information System (INIS)

Hance, R.

1998-01-01

This procedure is used when it is necessary to operate the solenoid energization, controls, interlocks and quench detection system. Note that a separate procedure exists for operating the solenoid 'cryogenic' systems. Only D0 Control Room Operators or the Project Electrical Engineer are qualified to execute these procedures or operate the solenoid system. This procedure assumes that the operator is familiar with using the Distributed Manufacturing Automation and Control Software (DMACS).

Control Logic for the Interlock system of the ATLAS Insertable B-Layer

CERN Document Server

Riegel, Christian

Part of the first upgrade program of the ATLAS detector is the installation of the Insertable B-Layer (IBL) as a fourth and innermost detector layer of the ATLAS pixel detector to prepare the tracking system for the expected increase of pile-up events. As with every sub-detector, the IBL and its components have to be monitored and controlled via a Detector Control System (DCS). A hardware-based interlock system is installed on-site to prevent detector and people working at the detector from serious harm and damage. For the IBL, the logical processing of interlock signals is realised in Interlock Matrix Crates (IMCs) using Complex Programmable Logic Devices (CPLD). One part of this master thesis is the automatic implementation of the logical assignments from database information. A script was developed to generate the needed file to program the CPLD. The second part of this thesis is the design of a test setup to verify the functionality of the electrical components of each IMC and to confirm the correct proce...

PLC-based search and secure interlock system for the personnel safety in folded tandem ion accelerator

International Nuclear Information System (INIS)

Padmakumar, Sapna; Subramanyum, N.B.V.; Bhatt, Jignesh P.; Ware, Shailaja V.; Kansara, M.J.; Gupta, S.K.; Singh, P.

2006-01-01

Safety of the personnel is one of the key issues addressed in any accelerator project. The FOTIA facility at BARC is capable of operating under standard operation conditions without any radiation hazard. Even then for a safe and reliable operation of FOTIA a PLC (Programmable logic controller) based interlock system has been implemented. This interlocking system is compact, modular, flexible, robust and easy for troubleshooting. These advantages led to the popularity of PLC rather than using a relay-based system. This paper highlights the salient features of the search and secure interlock for the personal safety of FOTIA. (author)

From the LHC Reference Database to the Powering Interlock System

CERN Document Server

Dehavay, C; Schmidt, R; Veyrunes, E; Zerlauth, M

2003-01-01

The protection of the magnet powering system for the Large Hadron Collider (LHC) currently being built at CERN is a major challenge due to the unprecedented complexity of the accelerator. The Powering Interlock System of the LHC will have to manage more than 1600 DC circuits for magnet powering, different in their structure, complexity and importance to the accelerator. For the coherent description of such complex system, a Reference Database as unique source of the parameters of the electrical circuits has been developed. The information, introduced via a generic circuit description language, is first used for installing the accelerator and making all electrical connections. The data is then used for tests and commissioning. During operation, the Powering Interlock System manages all critical functions. It consists of 36 PLC based controllers dis tributed around the machine and requires a flexible and transparent way of configuration, since each controller manages different numbers and types of electrical ci...

Preliminary design of safety and interlock system for indian test facility of diagnostic neutral beam

International Nuclear Information System (INIS)

Tyagi, Himanshu; Soni, Jignesh; Yadav, Ratnakar; Bandyopadhyay, Mainak; Rotti, Chandramouli; Gahlaut, Agrajit; Joshi, Jaydeep; Parmar, Deepak; Bansal, Gourab; Pandya, Kaushal; Chakraborty, Arun

2016-01-01

Highlights: • Indian Test Facility being built to characterize DNB for ITER delivery. • Interlock system required to safeguard the investment incurred in building the facility and protecting ITER deliverable components. • Interlock levels upto 3IL-3 identified. • Safety instrumented system for occupational safety being designed. Safety I&C functions of SIL-2 identified. • The systems are based on ITER PIS and PSS design guidelines. - Abstract: Indian Test Facility (INTF) is being built in Institute For Plasma Research to characterize Diagnostic Neutral Beam in co-operation with ITER Organization. INTF is a complex system which consists of several plant systems like beam source, gas feed, vacuum, cryogenics, high voltage power supplies, high power RF generators, mechanical systems and diagnostics systems. Out of these, several INTF components are ITER deliverable, that is, beam source, beam line components and power supplies. To ensure successful operation of INTF involving integrated operation of all the constituent plant systems a matured Data Acquisition and Control System (DACS) is required. The INTF DACS is based on CODAC platform following on PCDH (Plant Control Design Handbook) guidelines. The experimental phases involve application of HV power supplies (100 KV) and High RF power (∼800 KW) which will produce energetic beam of maximum power 6MW within the facility for longer durations. Hence the entire facility will be exposed tohigh heat fluxes and RF radiations. To ensure investment protection and to provide occupational safety for working personnel a matured Safety and Interlock system is required for INTF. The Safety and Interlock systems are high-reliability I&C systems devoted completely to the specific functions. These systems will be separate from the conventional DACS of INTF which will handle the conventional control and acquisition functions. Both, the Safety and Interlock systems are based on IEC 61511 and IEC 61508 standards as

Preliminary design of safety and interlock system for indian test facility of diagnostic neutral beam

Energy Technology Data Exchange (ETDEWEB)

Tyagi, Himanshu, E-mail: htyagi@iter-india.org [ITER-India, Institute For Plasma Research, Bhat, Gandhinagar, Gujarat (India); Soni, Jignesh [Institute For Plasma Research, Bhat, Gandhinagar, Gujarat (India); Yadav, Ratnakar; Bandyopadhyay, Mainak; Rotti, Chandramouli [ITER-India, Institute For Plasma Research, Bhat, Gandhinagar, Gujarat (India); Gahlaut, Agrajit [Institute For Plasma Research, Bhat, Gandhinagar, Gujarat (India); Joshi, Jaydeep; Parmar, Deepak [ITER-India, Institute For Plasma Research, Bhat, Gandhinagar, Gujarat (India); Bansal, Gourab; Pandya, Kaushal; Chakraborty, Arun [Institute For Plasma Research, Bhat, Gandhinagar, Gujarat (India)

2016-11-15

Highlights: • Indian Test Facility being built to characterize DNB for ITER delivery. • Interlock system required to safeguard the investment incurred in building the facility and protecting ITER deliverable components. • Interlock levels upto 3IL-3 identified. • Safety instrumented system for occupational safety being designed. Safety I&C functions of SIL-2 identified. • The systems are based on ITER PIS and PSS design guidelines. - Abstract: Indian Test Facility (INTF) is being built in Institute For Plasma Research to characterize Diagnostic Neutral Beam in co-operation with ITER Organization. INTF is a complex system which consists of several plant systems like beam source, gas feed, vacuum, cryogenics, high voltage power supplies, high power RF generators, mechanical systems and diagnostics systems. Out of these, several INTF components are ITER deliverable, that is, beam source, beam line components and power supplies. To ensure successful operation of INTF involving integrated operation of all the constituent plant systems a matured Data Acquisition and Control System (DACS) is required. The INTF DACS is based on CODAC platform following on PCDH (Plant Control Design Handbook) guidelines. The experimental phases involve application of HV power supplies (100 KV) and High RF power (∼800 KW) which will produce energetic beam of maximum power 6MW within the facility for longer durations. Hence the entire facility will be exposed tohigh heat fluxes and RF radiations. To ensure investment protection and to provide occupational safety for working personnel a matured Safety and Interlock system is required for INTF. The Safety and Interlock systems are high-reliability I&C systems devoted completely to the specific functions. These systems will be separate from the conventional DACS of INTF which will handle the conventional control and acquisition functions. Both, the Safety and Interlock systems are based on IEC 61511 and IEC 61508 standards as

Evaluation of a fast PLC module in prospect of the LHC beam interlock system

CERN Document Server

Zaera-Sanz, Manuel

2005-01-01

The LHC Beam Interlock system requires a controller performing a simple matrix function to collect the different beam dump requests. To satisfy the expected safety level of the Interlock, the system should be robust and reliable. The PLC is a promising candidate to fulfil both aspects but too slow to meet the expected response time which is of the order of mseconds. Siemens has introduced a “so called” fast module (FM352-5 Boolean Processor) that provides independent and extremely fast control of a process within a larger control system using an onboard processor, a Field Programmable Gate Array (FPGA), to execute code in parallel which results in extremely fast scan times. It is interesting to investigate its features and to evaluate it as a possible candidate for the beam interlock system. This note publishes the results of this study. As well, this note could be useful for other applications requiring fast processing using a PLC.

PcInterlock: Implementation and Operational Experience with the Optics Interlock

CERN Document Server

Schaumann, Michaela; Fuchsberger, Kajetan; Wenninger, Jorg

2018-01-01

In 2016 the luminosity reach of the LHC was increased by reducing the β-function in the main collision points below the design value to β∗ = 40 cm. This was possible due to a review of the margins in the collimation hierarchy followed by the implementation of additional measures to ensure the phase advance in defined ranges around the circumference. The risk of damaging the triplet or the tertiary collimators (TCTs) close to the interaction points in the event of an asynchronous beam dump is minimized by including margins in the collimation hierarchy, which define the β∗-reach. By guaranteeing the phase advance within an acceptable tolerance between the beam dump kicker and the TCTs, those margins can be reduced and operation at lower β∗ becomes possible. A new interlock system on the quadrupole magnet currents was put in place to safeguard the stability of the phase advance. This note describes the technical implementation of this power-converter interlock (PcInterlock) and the strategies used to...

Automated generation of formal safety conditions from railway interlocking tables

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

2014-01-01

This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the SAL model checker tool has been used to check...

Towards a Framework for Modelling and Verification of Relay Interlocking Systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

2011-01-01

This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways. The framework is centred around a domain-specific language (DSL) for describing such systems, and provides (1) a graphical editor...

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations

DEFF Research Database (Denmark)

Macedo, Hugo Daniel dos Santos; Fantechi, Alessandro; Haxthausen, Anne Elisabeth

2017-01-01

In the railway domain safety is guaranteed by an interlocking system which translates operational decisions into commands leading to field operations. Such a system is safety critical and demands thorough formal verification during its development process. Within this context, our work has focused...

Towards a Framework for Modelling and Verification of Relay Interlocking Systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

2010-01-01

This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways. The framework is centred around a domain-specific language (DSL) for describing such systems, and provides (1) a graphical editor ...

Control/interlock/display system for EBT-P using commercially-available hardware and firmware

International Nuclear Information System (INIS)

Schmitt, R.J.

1983-01-01

For the EBT-P project, alternative commercially-available hardware, software and firmware have been employed for control, interlock and data display functions. This paper describes the criteria and rationale used to select that commercial equipment and discusses the important features of the equipment chosen, especially programmable controllers. Additional discussion is centered on interface problems which are encountered upon attempts to integrate equipment from several vendors. Some solutions to these problems are discussed. Details of software and hardware performance during tests are presented. The extent to which the EBT-P hardware and software configuration addresses and resolves various issues is discussed. Several areas have been uncovered in which relatively slight improvements/modifications of commercial programmable controller firmware would significantly improve the capability of this type of hardware in fusion control applications. These improvements are discussed in detail

Modular safety interlock system for high energy physics experiments

International Nuclear Information System (INIS)

Kieffer, J.; Golceff, B.V.

1980-10-01

A frequent problem in electronics systems for high energy physics experiments is to provide protection for personnel and equipment. Interlock systems are typically designed as an afterthought and as a result, the working environment around complex experiments with many independent high voltages or hazardous gas subsystems, and many different kinds of people involved, can be particularly dangerous. A set of modular hardware has been designed which makes possible a standardized, intergrated, hierarchical system's approach and which can be easily tailored to custom requirements

Evaluation and application of a fast module in a PLC based interlock and control system

International Nuclear Information System (INIS)

Zaera-Sanz, M

2009-01-01

The LHC Beam Interlock system requires a controller performing a simple matrix function to collect the different beam dump requests. To satisfy the expected safety level of the Interlock, the system should be robust and reliable. The PLC is a promising candidate to fulfil both aspects but too slow to meet the expected response time which is of the order of μseconds. Siemens has introduced a 'so called' fast module (FM352-5 Boolean Processor). It provides independent and extremely fast control of a process within a larger control system using an onboard processor, a Field Programmable Gate Array (FPGA), to execute code in parallel which results in extremely fast scan times. It is interesting to investigate its features and to evaluate it as a possible candidate for the beam interlock system. This paper publishes the results of this study. As well, this paper could be useful for other applications requiring fast processing using a PLC.

49 CFR 236.401 - Automatic block signal system and interlocking standards applicable to traffic control systems.

Science.gov (United States)

2010-10-01

... TRAIN CONTROL SYSTEMS, DEVICES, AND APPLIANCES Traffic Control Systems Standards § 236.401 Automatic... 49 Transportation 4 2010-10-01 2010-10-01 false Automatic block signal system and interlocking standards applicable to traffic control systems. 236.401 Section 236.401 Transportation Other Regulations...

Beam interlock system and safe machine parameters system 2010 and beyond

CERN Document Server

Todd, B

2010-01-01

The Beam Interlock System (BIS) and Safe Machine Parameters (SMP) system are central to the protection of the Large Hadron Collider (LHC) machine. The BIS has been critical for the safe operation of LHC from the first day of operation. It has been installed and commissioned, only minor enhancements are required in order to accommodate all future LHC machine protection requirements. At reduced intensity, the SMP system is less critical for LHC operation. As such, the current system satisfies the 2010 operational requirements. Further developments are required, both at the SMP Controller level, and at the system level, in order to accommodate the requirements of the LHC beyond 2010.

Real time software for the control and monitoring of DIII-D system interlocks

International Nuclear Information System (INIS)

Broesch, J.D.; Penaflor, B.G.; Coon, R.M.; Harris, J.J.; Scoville, J.T.

1996-10-01

This paper describes the real time, multi-tasking, multi-user software and communications of the E-Power Supply System Integrated Controller (EPSSIC) for the DIII-D tokamak. EPSSIC performs the DIII-D system wide go/no-go determination for the plasma sequencing. This paper discusses the data module handling, task work load balancing, and communications requirements. Operational experience with the new EPSSIC and recent improvements to this system are also described

Enhancing the Use of Vehicle Alcohol Interlocks With Emerging Technology.

Science.gov (United States)

Voas, Robert B

2014-01-01

Among the earliest applications of health technologies to a safety program was the development of blood alcohol content (BAC) tests for use in impaired-driving enforcement. This led to the development of miniature, highly accurate devices that officers could carry in their pockets. A natural extension of this technology was the vehicle alcohol interlock, which is used to reduce recidivism among drivers convicted of driving under the influence (DUI) by requiring them to install the devices (which will not allow someone with a positive BAC to drive) on their vehicles. While on the vehicle, interlocks have been shown to reduce recidivism by two-thirds. Use of these devices has been growing at the rate of 10 to 15 percent a year, and there currently are more than 300,000 units in use. This expansion in the application of interlocks has benefited from the integration of other emerging technologies into interlock systems. Such technologies include data systems that record both driver actions and vehicle responses, miniature cameras and face recognition to identify the user, Wi-Fi systems to provide rapid reporting on offender performance and any attempt to circumvent the device, GPS tracking of the vehicle, and more rapid means for monitoring the integrity of the interlock system. This article describes how these health technologies are being applied in interlock programs and the outlook for new technologies and new court sanctioning programs that may influence the growth in the use of interlocks in the future.

CAMAC-based interlock system for power-supply-hardware protection on MFTF

International Nuclear Information System (INIS)

Strauch, M.S.

1981-01-01

This interlock module accepts 16 inputs and generates, in conjunction with an internal PROM map, 8 outputs. This decision process is autonomous of the CAMAC dataway and host computer. The map is generated, burned and verified by a user interactive program written to accept input/output equations in Boolean algebra. The interlock module requires the host computer to periodically interrogate it to verify proper operation of the module, host computer and date link; otherwise, permissives are dropped. An internal mask register may be used to override interlock inputs. This mask is perishable and must be constantly refreshed. Output drivers may be operated in a latch/no latch mode. This prevents outputs, once dropped, from being reasserted even if the proper input sequence is reestablished. A first-out register may be utilized to determine which input has dropped first in the event that chain reactions are developed among the interlock inputs

Compositional Verification of Multi-Station Interlocking Systems

DEFF Research Database (Denmark)

Macedo, Hugo Daniel dos Santos; Fantechi, Alessandro; Haxthausen, Anne Elisabeth

2016-01-01

pose a big challenge to current verification methodologies, due to the explosion of state space size as soon as large, if not medium sized, multi-station systems have to be controlled. For these reasons, verification techniques that exploit locality principles related to the topological layout...... of the controlled system to split in different ways the state space have been investigated. In particular, compositional approaches divide the controlled track network in regions that can be verified separately, once proper assumptions are considered on the way the pieces are glued together. Basing on a successful...... method to verify the size of rather large networks, we propose a compositional approach that is particularly suitable to address multi-station interlocking systems which control a whole line composed of stations linked by mainline tracks. Indeed, it turns out that for such networks, and for the adopted...

JET neutral beam duct Optical Interlock

Energy Technology Data Exchange (ETDEWEB)

Ash, A.D.; Jones, T.T.C.; Surrey, E.; Ćirić, D.; Hall, S.I.; Young, D.; Afzal, M.; Hackett, L.; Day, I.E.; King, R.

2015-10-15

Highlights: • Optical Interlocks were installed on the JET NBI system as part of the EP2 upgrade. • The system protects the JET tokamak and NBI systems from thermal load damage. • Balmer-α beam emission is used to monitor the neutral beam-line pressure. • We demonstrate an improved trip delay of 2 ms compared to 50 ms before EP2. - Abstract: The JET Neutral Beam Injection (NBI) system is the most powerful neutral beam plasma heating system currently operating. Optical Interlocks were installed on the beam lines in 2011 for the JET Enhancement Project 2 (EP2), when the heating power was increased from 23 MW to 34 MW. JET NBI has two beam lines. Each has eight positive ion injectors operating in deuterium at 80 kV–125 kV (accelerator voltage) and up to 65 A (beam current). Heating power is delivered through two ducts where the central power density can be more than 100 MW/m{sup 2}. In order to deliver this safely, the beam line pressure should be below 2 × 10{sup −5} mbar otherwise the power load on the duct from the re-ionised fraction of the beam is excessive. The new Optical Interlock monitors the duct pressure by measuring the Balmer-α beam emission (656 nm). This is proportional to the instantaneous beam flux and the duct pressure. Light is collected from a diagnostic window and focused into 1-mm diameter fibres. The Doppler shifted signal is selected using an angle-tuned interference filter. The light is measured by a photo-multiplier module with a logarithmic amplifier. The interlock activation time of 2 ms is sufficient to protect the system from a fully re-ionised beam—a significant improvement on the previous interlock. The dynamic range is sufficient to see bremsstrahlung emission from JET plasma and not saturate during plasma disruptions. For high neutron flux operations the optical fibres within the biological shield can be annealed to 350 °C. A self-test is possible by illuminating the diagnostic window with a test lamp and measuring

Software configuration plan for the 1,000 CFM portable exhauster's small logic control system

International Nuclear Information System (INIS)

Kaiser, T.D.

1998-01-01

This document describes the formal documentation for maintaining the control system associated with the 1,000 CFM portable exhauster's. The objective of the software configuration control plan is to provide assurances that the portable exhauster's control system will be operable for the duration of 241-C-106 and 241-AY-102 operations (project 320). The design was based upon the criteria documented in the portable exhauster functional design criteria (HNF-SD-WM-DB-035) and procurement specification (HNF-S-0490) for the exhauster interlock systems

Incorporation of safety interlocks in commercial robotics for handling of nuclear materials

International Nuclear Information System (INIS)

Moore, F.W.

1986-01-01

The adaptation of commercial robotic systems to applications in the manufacturing of nuclear fuel has required the addition of safety interlocks as to the handling and accountability of nuclear materials. Also, additional safety interlocks are required when the robots are operated in containment enclosures that are environmentally sealed. Interlocks have been incorporated in a commercial robot which was modified and with additional interlocks into the existing robotic control system. The robotic system has been installed in the containment enclosure as part of the pellet storage subsystem in the Secure Automated Fabrication facility currently being built by Westinghouse Hanford Company for the US Department of Energy. The system has been installed in the Fuel Cycle Plant and is scheduled for initial operational testing in 1986

The RF-Station Interlock for the European X-ray laser

CERN Document Server

Grevsmühl, T; Duval, P; Hensler, O; Kahl, J; Kaiser, F R; Kretzschmann, A; Rehlich, K; Schwendicke, U; Simrock, S; Weisse, S

2004-01-01

The RF-station interlock for the European X-ray laser will be based on a 19"- 3U crate incorporating a controller with the 32-bit RISC NIOS-processor (ALTERA). The main task of the interlock system is to prevent any damage from the components of the RF station and connected cavities. The interlock system must also guarantee a maximum time of operation of the RF stations which implies the implementation of self diagnostics and repair strategies on a module basis. Additional tasks are: collection and temporary storage of status information of the individual channels of the interlock system, transfer of this information to the control system, slow control functions (e.g. HV setting and monitoring) and control of inputs and outputs from and to other subsystems. In this paper we present the implementation using an ALTERA-FPGA running a 32-bit RISC NIOS-processor. Connection to the accelerator main control is provided by Ethernet using BSD-style socket routines based on ALTERA's plugs-library. The layout o...

Access control and interlock system at the Advanced Photon Source

International Nuclear Information System (INIS)

Forrestal, J.; Hogrefe, R.; Knott, M.; McDowell, W.; Reigle, D.; Solita, L.; Koldenhoven, R.; Haid, D.

1997-01-01

The Advanced Photon Source (APS) consists of a linac, position accumulator ring (PAR), booster synchrotron, storage ring, and up to 70 experimental beamlines. The Access Control and Interlock System (ACIS) utilizes redundant programmable logic controllers (PLCs) and a third hard-wired chain to protect personnel from prompt radiation generated by the linac, PAR, synchrotron, and storage ring. This paper describes the ACIS's design philosophy, configuration, hardware, functionality, validation requirements, and operational experience

49 CFR 236.312 - Movable bridge, interlocking of signal appliances with bridge devices.

Science.gov (United States)

2010-10-01

... 49 Transportation 4 2010-10-01 2010-10-01 false Movable bridge, interlocking of signal appliances with bridge devices. 236.312 Section 236.312 Transportation Other Regulations Relating to... SYSTEMS, DEVICES, AND APPLIANCES Interlocking Standards § 236.312 Movable bridge, interlocking of signal...

A review on past and present development on the interlocking loadbearing hollow block (ILHB) system

Science.gov (United States)

Bosro, M. Z. M.; Samad, A. A. A.; Mohamad, N.; Goh, W. I.; Tambichik, M. A.; Iman, M. A.

2018-04-01

Massive migration and increasing population in Malaysia has contributed to the increasing demand of quality and affordable housing. Over the past 50 years, the Malaysian housing industry has seen the growth of using conventional construction system such as reinforced concrete frame structures and bricks. The conventional system, as agreed by many researchers, causes delays and other disadvantages in some of the construction projects. Thus, the utilization of interlocking loadbearing hollow block (ILHB) system is needed to address these issues. This system has been identified as an alternative and sustainable building system for the construction industry in Malaysia which the PUTRA block system is the latest example of the ILHB developed. The system offers various advantages in terms of speed and cost in construction, strength, environmentally friendly and aesthetic qualities. Despite these advantages, this system has not been practically applied and develop in Malaysia. Therefore, this paper aims to review the past and present development of the interlocking loadbearing hollow block (ILHB) system that available locally and globally.

Programmable controllers replace relays in MFTF-B personnel-safety interlocks

International Nuclear Information System (INIS)

Branum, J.D.

1981-01-01

This paper describes a new approach for implementing personnel safety interlocks logic using industrial-type programmable controllers. The logic for all personnel safety interlocks except those totally internal to a subsystem is implemented in two non-redundant controllers. A high degree of fail-safe reliability is achieved by augmenting the protective features intrinsic to each controller with those provided by a small amount of external support hardware. The controllers are interfaced to the host computer system via fiber optic data links to enable display of interlock and overall system status on the control room graphic displays. When fully implemented, the controllers will perform the equivalent of over 2000 discreet relay functions

Elaboration of the configuration and programming of the interlocks system of the TRIGA Mark III reactor

International Nuclear Information System (INIS)

Mejia C, M. A.

2016-01-01

The modernization of the TRIGA Mark III reactor interlock system requires a system that provides high reliability, flexibility and ease of operation during reactor operation. With this modernization of the system, is intended to prevent, control and mitigate the causes of probable accidents reported in the reactor accident analysis. On the other hand, is foreseen the ease reactor operation in a simple, safe and efficient way. The programmable logic controller can be programmed by programming instructions using simple language and easy to develop, these can be modified from a computer using the programming software. In addition, another of the advantages offered by the controller is that can be modified from a touch screen (human-machine interface) that allows adjustment, without the need to use programming software and diagnostic functions during the process. As a result of the present work, a situation of improvement in the reactor operation was generated, facilitating the handling of the bridge and increasing the efficiency of the system in the execution of the operating conditions of the installations external to the reactor. A modern, more reliable and much less expensive system was achieved than the previous one, avoiding that the maintenance to the system generates high expenses. With respect to the development of the application programming, a control was implemented that allows to select a zone of the five that have inside the pool to carry out the displacement of automatic way and later to be located in that zone, having in this way a greater efficiency and ease in bridge control. (Author)

The multi-interlock and check of logical system for 5 MW low power reactor automatic rod

International Nuclear Information System (INIS)

Li Guangjian; Zhao Zengqiao

1992-01-01

The safety and reliability of the logical system for 5 MW LPR automatic rod are improved, because of using multi-interlock and manual check on line. The design character and function of the logical system are introduced

The use of microprocessors at TRIUMF in the control of radiation safety interlock systems

International Nuclear Information System (INIS)

King, L.

1988-01-01

At TRIUMF the cyclotron vault, all primary beam lines, and each experimental area has a dedicated control unit to manage the safety interlock control of the area lockup sequence, beam blocker drive and area access. Typically each area has 24 devices which are monitored to control 16 outputs. These control units (Area Safety Units) were first implemented through the use of relay logic. The relay logic was reliable but difficult to modify to incorporate changes to the areas. In 1979 it was decided to use microprocessors in the form of single board computers to control the Area Safety Units. The details of the hardware and software is discussed as well as the advantages of microprocessor control

Implementation of a Direct Link between the LHC Beam Interlock System and the LHC Beam Dumping System Re-Triggering Lines

CERN Document Server

Gabourin, S; Denz, R; Magnin, N; Uythoven, J; Wollmann, D; Zerlauth, M; Vatansever, V; Bartholdt, M; Bertsche, B; Zeiler, P

2014-01-01

To avoid damage of accelerator equipment due to impacting beam, the controlled removal of the LHC beams from the collider rings towards the dump blocks must be guaranteed at all times. When a beam dump is demanded, the Beam Interlock System communicates this request to the Trigger Synchronisation and Distribution System of the LHC Beam Dumping System. Both systems were built according to high reliability standards. To further reduce the risk of incapability to dump the beams in case of correlated failures in the Trigger Synchronisation and Distribution System, a new direct link from the Beam Interlock System to the re-triggering lines of the LHC Beam Dumping System will be implemented for the start-up with beam in 2015. The link represents a diverse redundancy to the current implementation, which should neither significantly increase the risk for so-called asynchronous beam dumps nor compromise machine availability. This paper describes the implementation choices of this link. Furthermore the results of a rel...

Development of Interlocking Masonry Bricks and its’ Structural Behaviour: A Review Paper

Science.gov (United States)

Al-Fakih, Amin; Mohammed, Bashar S.; Nuruddin, Fadhil; Nikbakht, Ehsan

2018-04-01

Conventional bricks are the most elementary building materials for houses construction. However, the rapid growth in today’s construction industry has obliged the civil engineers in searching for a new building technique that may result in even greater economy, more efficient and durable as an alternative for the conventional brick. Moreover, the high demands for having a speedy and less labour and cost building systems is one of the factor that cause the changes of the masonry conventional systems. These changes have led to improved constructability, performance, and cost as well. Several interlocking bricks has been developed and implemented in building constructions and a number of researches had studied the manufacturing of interlocking brick and its structural behaviour as load bearing and non-load bearing element. This technical paper aims to review the development of interlocking brick and its structural behaviour. In conclusion, the concept of interlocking system has been widely used as a replacement of the conventional system where it has been utilized either as load bearing or non-load bearing masonry system.

Availability Analysis of the Ventilation Stack CAM Interlock System

International Nuclear Information System (INIS)

YOUNG, J.

2000-01-01

Ventilation Stack Continuous Air Monitor (CAM) Interlock System failure modes, failure frequencies and system availability have been evaluated for the RPP. The evaluation concludes that CAM availability is as high as assumed in the safety analysis and that the current routine system surveillance is adequate to maintain this availability. Further, requiring an alarm to actuate upon CAM failure is not necessary to maintain the availability credited in the safety analysis, nor is such an arrangement predicted to significantly improve system availability. However, if CAM failures were only detected by the 92-day functional tests required in the Authorization Basis (AB), CAM availability would be much less than that credited in the safety analysis. Therefore it is recommended that the current surveillance practice of daily simple system checks, 30-day source checks and 92-day functional tests be continued in order to maintain CAM availability

21 CFR 876.4590 - Interlocking urethral sound.

Science.gov (United States)

2010-04-01

... 21 Food and Drugs 8 2010-04-01 2010-04-01 false Interlocking urethral sound. 876.4590 Section 876...) MEDICAL DEVICES GASTROENTEROLOGY-UROLOGY DEVICES Surgical Devices § 876.4590 Interlocking urethral sound. (a) Identification. An interlocking urethral sound is a device that consists of two metal sounds...

Incorporation of safety interlocks in commercial robotics for handling of nuclear materials

International Nuclear Information System (INIS)

Moore, F.W.

1986-01-01

Current robotic systems have been developed primarily for the automotive and electronic industry. The adaptation of these commercial robotic systems to applications in the manufacturing of nuclear fuel requires the addition of safety interlocks as to the handling and accountability of nuclear materials. Also, additional safety interlocks are required when the robots are operated in containment enclosures that are environmentally sealed. Interlocks have been incorporated into a commercial robot. The robotic system has been installed in the containment enclosure as part of the pellet storage subsystem into the Secure Automated Fabrication (SAF) facility currently being built by Westinghouse Hanford Company (WHC) for the US Department of Energy (DOE). The system has been installed in the Fuel Cycle Plant and is scheduled for initial operational testing in 1986

The run permit protection system for GTA

International Nuclear Information System (INIS)

Atkins, W.H.; Jones, R.G.

1992-01-01

A Run Permit system has been designed for the Ground Test Accelerator (GTA). The system implements mode-dependent software interlocks to ensure proper operation of the accelerator, enabling the ion source extractor and RF systems when proper conditions are met. The system is implemented using the GTA control system; thus all information available to the control system is also available for use in interlock logic. The logic is defined in terms of control system channels, which reflect accelerator parameters such as actuator positions, power supply values, temperatures, etc. A mode switch in the control room selects the accelerator operating mode, for example i njector only . The Run Permit software selects interlock logic as appropriate operating mode. This implementation easily accommodates logic changes as requirements evolve. To ensure reliable operation of a software-based system, a special circuit with a watch-dog timer is employed to produce the system's output signals. The software must periodically address the circuit, or the output signals are forced to a disabled state. For additional protection, there are self-test provisions for detecting and reacting to failures of the control system. (Author) 4 figs., ref

INTERFIRM COOPERATION AND INFORMATION SHARING THROUGH INTERLOCKING DIRECTORATES

Directory of Open Access Journals (Sweden)

Mohammed Belal UDDIN

2012-01-01

Full Text Available When firms engage in cooperative efforts, interfirm relations get particular interest to be studied. A direct interlock occurs when an executive or director of one firm sits on the board of another firm, and an indirect interlock occurs when two firms have directors or executives who sit on the board of a third firm. The three commonly used theoretical models such as social network theory, learning theory, and theory of strategic choice are more relevant for the formation and management of interlocking directorates. Uncertainty, resource scarcity, mutual trust, dependency, etc. influence the formation of interlocking directorates. Consequently, interlocking directorates allow sharing of information and overall cooperation between partners through learning, collaboration, networking, and effective relationship, etc. Proper management of interlocking directorates requires communication and collaboration among partners that enhance exchange of knowledge and cooperation.

RF generator interlock by plasma grid bias current - An alternate to Hα interlock

Science.gov (United States)

Bandyopadhyay, M.; Gahlaut, A.; Yadav, R. K.; Pandya, K.; Tyagi, H.; Vupugalla, M.; Bhuyan, M.; Bhagora, J.; Chakraborty, A.

2017-08-01

ROBIN is inductively coupled plasma (ICP) based negative hydrogen ion source, operated with a 100kW, 1MHz Tetrode based RF generator (RFG). Inductive plasma ignition by the RFG in ROBIN is associated with electron seeding by a hot filament and a gas puff. RFG is triggered by the control system to deliver power just at the peak pressure of the gas puff. Once plasma is ignited due to proper impedance matching, a bright light, dominated by Hα (˜656nm wavelength) radiation is available inside RF driver which is used as a feedback signal to the RFG to continue its operation. If impedance matching is not correct, plasma is not produced due to lack of power coupling and bright light is not available. During such condition, reflected RF power may damage the RFG. Therefore, to protect the RFG, it needs to be switched off automatically within 200ms by the control system in such cases. This plasma light based RFG interlock is adopted from BATMAN ion source. However, in case of vacuum immersed RF ion source in reactor grade NBI system, such plasma light based interlock may not be feasible due to lack of adequate optical fiber interfaces. In reactor grade NBI system, neutron and gamma radiations have impact on materials which may lead to frequent maintenance and machine down time. The present demonstration of RFG interlock by Bias Current (BC) in ROBIN testbed gives an alternate option in this regard. In ROBIN, a bias plate (BP) is placed in the plasma chamber near the plasma grid (PG). BP is electrically connected to the plasma chamber wall of the ion source and PG is isolated from the wall. A high current ˜85 A direct current (DC) power supply of voltage in the range of 0 - 33V is connected between the PG and the BP in such a way that PG can be biased positively with respect to the BP or plasma chamber. This arrangement is actually made to absorb electrons and correspondingly reduce co-extracted electron current during beam extraction. However, in case of normal plasma

The Use of UML to Development of a Railway Interlocking System

Directory of Open Access Journals (Sweden)

Karol Rastocny

2003-01-01

Full Text Available The paper deals with problems of using the Unifield Modeling Lanfuage (UML in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented approach to specifying the functional safety requirements. An informal specification given by the relevant technical standart is used as a starting point and results in semi-formal specification based on UML model. Advantages of the presented approach are discussed and new trends of increasing formality of UML models are indicated within conclusions.

Homodyne reflectometer for NBI interlock on Large Helical Device

International Nuclear Information System (INIS)

Tanaka, Kenji; Ito, Yasuhiko; Kawahata, Kazuo; Tokuzawa, Tokihiko; Osakabe, Masaki; Takeiri, Yasuhiko; Ejiri, Akira

2001-01-01

Neutral Beam Injection (NBI) under low density causes serious damage on vacuum vessel wall. It is necessary to stop NBI when electron density becomes lower than 1x10 19 m -3 . This needs reliable density monitor for NBI interlock. A three-channel homodyne reflectometer was installed on Large Helical Device (LHD) and was used for NBI interlock. 28.5, 34.9 and 40.2 GHz Gunn oscillators were used with O mode injection. Their O mode cut off density correspond to 1x10 19 , 1.5x10 19 and 2x10 19 m -3 respectively. The simple homodyne detection is presently used. When the density reaches to the cutoff density, the reflected signals are detected. The reflected signal consists of DC signal due to local and reflected power, and AC signal due to position of cut off layer and density fluctuation. Since the change of DC signal at lower and higher than cut off density was very small, root mean square (RMS) value of AC signal were used for interlock signal. This interlock system is successfully working from the beginning of the NBI experiments campaign on LHD. (author)

Design review report for the hydrogen interlock preliminary design

International Nuclear Information System (INIS)

Corbett, J.E.

1996-01-01

This report documents the completion of a preliminary design review for the hydrogen interlock. The hydrogen interlock, a proposed addition to the Rotary Mode Core Sampling (RMCS) system portable exhauster, is intended to support core sampling operations in waste tanks requiring flammable gas controls. The objective of this review was to validate basic design assumptions and concepts to support a path forward leading to a final design. The conclusion reached by the review committee was that the design was acceptable and efforts should continue toward a final design review

National synchrotron light source medical personnel protection interlock

International Nuclear Information System (INIS)

Buda, S.; Gmur, N.F.; Larson, R.; Thomlinson, W.

1998-01-01

This report is founded on reports written in April 1987 by Robert Hettel for angiography operations at the Stanford Synchrotron Research Laboratory (SSRL) and a subsequent report covering angiography operations at the National Synchrotron Light Source (NSLS); BNL Informal Report 47681, June 1992. The latter report has now been rewritten in order to accurately reflect the design and installation of a new medical safety system at the NSLS X17B2 beamline Synchrotron Medical Research Facility (SMERF). Known originally as the Angiography Personnel Protection Interlock (APPI), this system has been modified to incorporate other medical imaging research programs on the same beamline and thus the name has been changed to the more generic Medical Personnel Protection Interlock (MPPI). This report will deal almost exclusively with the human imaging (angiography, bronchography, mammography) aspects of the safety system, but will briefly explain the modular aspects of the system allowing other medical experiments to be incorporated

NATIONAL SYNCHROTRON LIGHT SOURCE MEDICAL PERSONNEL PROTECTION INTERLOCK

Energy Technology Data Exchange (ETDEWEB)

BUDA,S.; GMUR,N.F.; LARSON,R.; THOMLINSON,W.

1998-11-03

This report is founded on reports written in April 1987 by Robert Hettel for angiography operations at the Stanford Synchrotron Research Laboratory (SSRL) and a subsequent report covering angiography operations at the National Synchrotron Light Source (NSLS); BNL Informal Report 47681, June 1992. The latter report has now been rewritten in order to accurately reflect the design and installation of a new medical safety system at the NSLS X17B2 beamline Synchrotron Medical Research Facility (SMERF). Known originally as the Angiography Personnel Protection Interlock (APPI), this system has been modified to incorporate other medical imaging research programs on the same beamline and thus the name has been changed to the more generic Medical Personnel Protection Interlock (MPPI). This report will deal almost exclusively with the human imaging (angiography, bronchography, mammography) aspects of the safety system, but will briefly explain the modular aspects of the system allowing other medical experiments to be incorporated.

An active interlock system for the NSLS x-ray ring insertion devices

International Nuclear Information System (INIS)

Nawrocky, R.J.; Biscardi, R.; Dabrowski, J.; Flannigan, J.; Ramamoorthy, S.; Rothman, J.; Smith, J.; So, I.; Thomas, M.; Decker, G.

1991-01-01

This paper describes the design and operation of an active interlock system which has been installed in the NSLS X-ray electron storage ing to protect the vacuum chamber from thermal damage by mis-steered high power photon beams from insertion devices (IDs). the system employs active beam position detectors to monitor beam motion in the ID straight sections and solid state logic circuitry to ''dump'' the stored beam in the event of a fault condition by interrupting the rf. To ensure a high degree of reliability, redundancy and continuous automatic checking has been incorporated into the design. Overall system integrity is checked periodically with beam at safe levels of beam current. 2 refs., 3 figs

National Synchrotron Light Source medical personnel protection interlock

Energy Technology Data Exchange (ETDEWEB)

Buda, S.; Gmuer, N.F.; Larson, R.; Thomlinson, W.

1998-11-01

This report is founded on reports written in April 1987 by Robert Hettel for angiography operations at the Stanford Synchrotron Research Laboratory (SSRL) and a subsequent report covering angiography operations at the National Synchrotron Light Source (NSLS); BNL Informal Report 47681, June 1992. The latter report has now been rewritten in order to accurately reflect the design and installation of a new medical safety system at the NSLS X17B2 beamline Synchrotron Medical Research Facility (SMERF). Known originally as the Angiography Personnel Protection Interlock (APPI), this system has been modified to incorporate other medical imaging research programs on the same beamline and thus the name has been changed to the more generic Medical Personnel Protection Interlock (MPPI). This report will deal almost exclusively with the human imaging (angiography, bronchography, mammography) aspects of the safety system, but will briefly explain the modular aspects of the system allowing other medical experiments to be incorporated. This MPPI report is organized such that the level of detail changes from a general overview to detailed engineering drawings of the hardware system. The general overview is presented in Section 1.0, MPPI Operational Mode and Procedures. The various MPPI components are described in detail in Section 2.0. Section 3.0 presents some simplified logic diagrams and accompanying text. This section was written to allow readers to become familiar with the logic system without having to work through the entire set of detailed engineering drawings listed in the Appendix. Detailed logic specifications are given in Section 4.0. The Appendix also contains copies of the current MPPI interlock test procedures for Setup and Patient Modes.

Design of test JIG for centralized interlock and protection module of ITER-India Gyrotron Test Facility

International Nuclear Information System (INIS)

Rathod, Vipal; Rao, S.L.; Edappala, Praveenlal; Rajpal, Rachana

2017-01-01

Fast Interlock and protection system plays very crucial role in ensuring the safe and reliable operation of high power RF sources such as a Gyrotron system. Critical Protection Interlocks are generally implemented using hardwired components and are required to have a response time as fast as < 10 μs. In this context, an Industrial grade prototype Centralized Interlock and Protection Module (CIM) based on ITER-India design has been developed successfully with the help of local industry. This paper presents the complete requirements, approach, detailed design concept and current status of Test JIG in detail

Analysis of interlocking performances on non-oriented electrical steels

Science.gov (United States)

Liu, Li-Hsiang; Liu, Lee-Cheng

2018-05-01

In order to reduce energy loss in motor, applications of high-efficiency non-oriented electrical steel sheets and optimal laminating process are both important elements. The motor core loss deterioration is influenced by a number of factors, such as flux distribution, stress and strain, space harmonics, temperature, and short circuits between lamination. In conventional clamping method, steel sheets are laminated via interlocking or welding in general manner. The measured energy loss by welding was much larger than that by interlocking. Therefore, interlocking is well known and usually employed with benefit of easy conducting. The protuberance shapes affected the fastening strength. Generally, the intensity of rectangular type is stronger than the circular counterparts. However, the circular interlocking has better magnetic characteristics. To clarify the method effectiveness, interlocking performances regarding fastened strength and magnetic deterioration by lamination were investigated. The key parameters of protuberance shape and forming depth were designed. Precisely manufacturing operation was applied to avoid interlocking failure. Magnetic properties largely influenced by clamping method are crucial to minimizing the magnetic deterioration during laminating procedure. Several experiments for various processing conditions were undertaken, and the quantification results showed the rectangular interlocking had better fastened strength but worsened iron loss comparing with the circular arrangement. To acquire the comprehensive mechanical and electrical identities for electrical steel lamination, deliberate producing conditions regarding minimizing the magnetic deterioration should be adopted prudently.

National Synchrotron Light Source angiography personnel protection interlock

International Nuclear Information System (INIS)

Gmuer, N.; Larson, R.; Thomlinson, W.

1992-06-01

This document has been written to describe the safety system operation at the NSLS X17B2 beamline Synchrotron Medical Research Facility (SMERF). The angiography exposure process involves scanning a patient up and down through dual fixed-position x-ray beams; exposure is controlled by opening and closing a fast-acting Safety Shutter mechanism at precise times in relation to the up and down motion of the scan chair. The fast-acting Safety Shutter mechanism is the primary radiation-stopping element protecting the patient while the chair is at rest and while it is reversing directions during the scan. Its fail-safe and fast operation is essential for the safety of the patient. Operation of X17B2 as a human subject angiography station necessitates the implementation of a personnel protection interlock system that, in conjunction with the Safety Shutters: permits safe access to the patient exposure area while the synchrotron radiation beam is illuminating the upstream dual energy monochromator; allows a patient to be imaged by the monochromatized beam under the supervision of a Responsible Physician, with scan chair motion and precision shutter actuation regulated by an angiography control computer, while providing a suitable number of safeguards against accidental radiation exposure; has different modes of operation to accommodate equipment set-up, test, and calibration; and patient exposure; and ensures the quick extinction of the beam if a potentially unsafe condition is detected. The interlock system which performs these safety functions is called the Angiography Personnel Protection Interlock (APPI). The APPI Document is organized such that the level of detail changes from a general overview to detailed engineering drawings of the hardware system

National Synchrotron Light Source angiography personnel protection interlock

Energy Technology Data Exchange (ETDEWEB)

Gmuer, N.; Larson, R.; Thomlinson, W.

1992-06-01

This document has been written to describe the safety system operation at the NSLS X17B2 beamline Synchrotron Medical Research Facility (SMERF). The angiography exposure process involves scanning a patient up and down through dual fixed-position x-ray beams; exposure is controlled by opening and closing a fast-acting Safety Shutter mechanism at precise times in relation to the up and down motion of the scan chair. The fast-acting Safety Shutter mechanism is the primary radiation-stopping element protecting the patient while the chair is at rest and while it is reversing directions during the scan. Its fail-safe and fast operation is essential for the safety of the patient. Operation of X17B2 as a human subject angiography station necessitates the implementation of a personnel protection interlock system that, in conjunction with the Safety Shutters: permits safe access to the patient exposure area while the synchrotron radiation beam is illuminating the upstream dual energy monochromator; allows a patient to be imaged by the monochromatized beam under the supervision of a Responsible Physician, with scan chair motion and precision shutter actuation regulated by an angiography control computer, while providing a suitable number of safeguards against accidental radiation exposure; has different modes of operation to accommodate equipment set-up, test, and calibration; and patient exposure; and ensures the quick extinction of the beam if a potentially unsafe condition is detected. The interlock system which performs these safety functions is called the Angiography Personnel Protection Interlock (APPI). The APPI Document is organized such that the level of detail changes from a general overview to detailed engineering drawings of the hardware system.

Binding of anions in triply interlocked coordination catenanes and dynamic allostery for dehalogenation reactions.

Science.gov (United States)

Yang, Linlin; Jing, Xu; An, Bowen; He, Cheng; Yang, Yang; Duan, Chunying

2018-01-28

By synergistic combination of multicomponent self-assembly and template-directed approaches, triply interlocked metal organic catenanes that consist of two isolated chirally identical tetrahedrons were constructed and stabilized as thermodynamic minima. In the presence of suitable template anions, the structural conversion from the isolated tetrahedral conformers into locked catenanes occurred via the cleavage of an intrinsically reversible coordination bond in each of the tetrahedrons, followed by the reengineering and interlocking of two fragments with the regeneration of the broken coordination bonds. The presence of several kinds of individual pocket that were attributed to the triply interlocked patterns enabled the possibility of encapsulating different anions, allowing the dynamic allostery between the unlocked/locked conformers to promote the dehalogenation reaction of 3-bromo-cyclohexene efficiently, as with the use of dehalogenase enzymes. The interlocked structures could be unlocked into two individual tetrahedrons through removal of the well-matched anion templates. The stability and reversibility of the locked/unlocked structures were further confirmed by the catching/releasing process that accompanied emission switching, providing opportunities for the system to be a dynamic molecular logic system.

Experimental Investigation About Stamping Behaviour of 3D Warp Interlock Composite Preforms

Science.gov (United States)

Dufour, Clément; Wang, Peng; Boussu, François; Soulat, Damien

2014-10-01

Forming of continuous fibre reinforcements and thermoplastic resin commingled prepregs can be performed at room temperature due to its similar textile structure. The "cool" forming stage is better controlled and more economical. The increase of temperature and the resin consolidation phases after the forming can be carried out under the isothermal condition thanks to a closed system. It can avoid the manufacturing defects easily experienced in the non-isothermal thermoforming, in particular the wrinkling [1]. Glass/Polypropylene commingled yarns have been woven inside different three-dimensional (3D) warp interlock fabrics and then formed using a double-curved shape stamping tool. The present study investigates the in-plane and through-thickness behaviour of the 3D warp interlock fibrous reinforcements during forming with a hemispherical punch. Experimental data allow analysing the forming behaviour in the warp and weft directions and on the influence of warp interlock architectures. The results point out that the layer to layer warp interlock preform has a better stamping behaviour, in particular no forming defects and good homogeneity in thickness.

Interlock System for the COMPASS Tokamak

Energy Technology Data Exchange (ETDEWEB)

Hron, M.; Adamek, J.; Pisacka, J.; Panek, R. [Institute of Plasma Physics AS CR, Association EURATOM/IPP.CR, Prague (Czech Republic); Sova, J.; Siba, J.; Kovarj, J. [Department of Control Engineering, Faculty of Electrical Engineering, Prague (Czech Republic)

2009-07-01

Full text of publication follows: The COMPASS tokamak (R=0.56 m, a=0.18 - 0.23 m) is starting operation presently at Institute of Plasma Physics AS CR in Prague. An important issue of the operation is the safety of the personnel and machine protection against faults, presented in this contribution. The personnel protection is based on a restricted access into the experimental hall during the operation of potentially dangerous systems. A tokamak hall access system, based on Honeywell WIN-PAK (tm) 2005, allows to set the status of the experimental area (open/closed) and to control the in and out movement of persons using access cards. On top of this, a check of the whole experimental area by the operator is enforced before the hall enclosure. A hardware interlock then interprets the experimental hall status and controls the operation of key systems accordingly. The permit for operation is granted and the real status of the systems is reported by hard wired potential less contacts. The control procedure is based on a PLC MicroPEL M66. This PLC provides HW interface between Actuators (Relays and switches) and it is connected on PESNET bus. Its programming is done using language Simple v.2 in Winstudio IDE. Second site of personnel protection system is created on PC where runs a .NET application on MSWindows XP or 2000. This PC is connected with PLC via PESNET bus (on RS485 layer) and it generates all control signals to PLC from the operator. Simultaneously, the PC receives all warning and alarm signals from the PLC. This signals are displayed on a screen of the PC in real-time, this way the GUI provides visualization of the controlled process. Except for this fact the operator is informed about the status of the system and individual subsystems on a PC via an operator's panel. Further we will describe the machine protection which uses similar system for checking conditions for the start of a shot. Fast key processes which have to be checked during the shot are

Analysis of operator support method based on intelligent dynamic interlock in lead-cooled fast reactor simulator

International Nuclear Information System (INIS)

Xu, Peng; Wang, Jianye; Yang, Minghan; Wang, Weitian; Bai, Yunqing; Song, Yong

2017-01-01

Highlights: • We development an operator support method based on intelligent dynamic interlock. • We offer an integrated aid system to reduce the working strength of operators. • The method can help operators avoid dangerous, irreversible operation. • This method can be used in the fusion research reactor in the further. - Abstract: In nuclear systems, operators have to carry out corrective actions when abnormal situations occur. However, operators might make mistakes under pressure. In order to avoid serious consequences of the human errors, a new method for operators support based on intelligent dynamic interlock was proposed. The new method based on full digital instrumentation and control system, contains real-time alarm analysis process, decision support process and automatic safety interlock process. Once abnormal conditions occur, necessary safety interlock parameter based on analysis of real-time alarm and decision support process can be loaded into human-machine interfaces and controllers automatically, and avoid human errors effectively. Furthermore, the new method can make recommendations for further use and development of this technique in nuclear power plant or fusion research reactor.

Reliability Analysis of the new Link between the Beam Interlock System and the LHC Beam Dumping System Zuverlässigkeitsanalyse der neuen Verbindung zwischen dem Beam Interlock System und dem LHC Beam Dumping System

CERN Document Server

Vatansever, Volkan

The nominal stored energy in each LHC beam is 360 MJ, surpassing the beam energy of other accelerators by orders of magnitude. This energy threatens to damage accelerator components in case of uncontrolled beam losses To avoid damage of accelerator equipment due to impacting beam, the controlled removal of the LHC beams from the collider rings towards the dump block must be guaranteed at all times. Therefore, the LHC Beam Dumping System was built according to high reliability standards. To further reduce the risk of incapability to dump the beams in case of correlated failures in the redundant system, a new direct link from the LHC Beam Interlock System to the Re-triggering Lines of the LHC Beam Dumping System will be implemented for the startup with beam in 2015. This link represents a diverse redundancy to the current implementation, which should neither significantly increase the risk for so-called Asynchronous Beam Dumps nor compromise machine availability. Therefore, a reliability analysis down to the co...

Radiation interlocks - The choice between conventional hard-wired logic and computer-based systems

International Nuclear Information System (INIS)

Crook, K.F.

1987-01-01

During the past few years, the use of computers in radiation safety systems has become more widespread. This is not surprising given the ubiquitous nature of computers in the modern technological world. But is a computer a good choice for the central logic element of a personnel safety system? Recent accidents at computer controlled medical accelerators would indicate that extreme care must be exercised if malfunctions are to be avoided. The Department of Energy (DOE) has recently established a sub-committee to formulate recommendations on the use of computers in safety systems for accelerators. This paper reviews the status of the committee's recommendations, and describes radiation protection interlock systems as applied to both accelerators and to irradiation facilities. Comparisons are made between the conventional (relay) approach and designs using computers

Radiation interlocks: The choice between conventional hard-wired logic and computer-based systems

International Nuclear Information System (INIS)

Crook, K.F.

1986-11-01

During the past few years, the use of computers in radiation safety systems has become more widespread. This is not surprising given the ubiquitous nature of computers in the modern technological world. But is a computer a good choice for the central logic element of a personnel safety system. Recent accidents at computer controlled medical accelerators would indicate that extreme care must be exercised if malfunctions are to be avoided. The Department of Energy has recently established a sub-committee to formulate recommendations on the use of computers in safety systems for accelerators. This paper will review the status of the committee's recommendations, and describe radiation protection interlock systems as applied to both accelerators and to irradiation facilities. Comparisons are made between the conventional relay approach and designs using computers. 6 refs., 6 figs

[The monorail system--bone segment transport over unreamed interlocking nails].

Science.gov (United States)

Oedekoven, G; Jansen, D; Raschke, M; Claudi, B F

1996-11-01

A treatment protocol is demonstrated, consisting of an osteotomy, either proximal or distal, of the bone defect with subsequent segmental transport via an anteromedially (tibia) or laterally (femur) mounted AO external fixation over an unreamed interlocking nail (monorail system). Twenty patients were treated by this method with indications as follows: 13 had a segmental bone defect of the tibia, 3 of the femur. Three patients showed post-traumatic and postinfectious leg-length discrepancies and one was treated for hypertrophic non-union of the femur. Defect distance varied between 5 and 18.5 cm and average time for transport was 19,42 days/ cm for the tibial shaft, 15,93 days/cm for the femur. Two patients developed deep infection, which required change of treatment, removing the monorail system and application of an Ilizarov apparatus. Despite complications using the monorail system, all patients healed and no amputations were required. The monorail system can be used as an alternative to the Ilizarov method under certain criteria of patient selection; these criteria are shown by an algorithm for segmental bone defects without infection, respecting the soft-tissue status with or without neurovascular compromise.

The New Control and Interlock System for the SPS Main Power Converters

CERN Document Server

Denis, B; Mugnier, C; Varas, J

1999-01-01

The Control and Interlock System (CIS) of the SPS main power converters was designed in the mid-70s and became increasingly difficult to maintain. A new system based on Programmable Logic Controllers has been developed by an external contractor in close collaboration with CERN. The system is now operational and fully integrated in the SPS/LEP control infrastructure. The CIS is the first major contracted industrial solution used to control accelerator equipment directly involved in the production of particle beams at CERN. This paper gives an overview of the SPS main power converter installation and describes both the contractual and technical solution adopted for the CIS. It first explains how the system was specified and how the contractual relationship was defined to respect CERN’s purchasing rules and the operational requirements of the SPS accelerator. The architectural design of the new system is presented with special emphasis on how the conflict between safety and availability has been addressed.

Finite Element Analysis of Absorbable Sheath to Prevent Stress Shielding of Tibial Interlocking Intramedullary Nail

Science.gov (United States)

Dong, Yansheng; Wang, Yongqing; Dong, Limin; Jia, Peng; Lu, Fengcheng

2017-07-01

The nail with absorbable sheath (AS nail) is designed to reduce the stress shielding effect of internal fixation with interlocking intramedullary nail. In order to verify its feasibility, two types of the finite element models of internal fixation of tibia with the AS nail and the common metal nail (CM nail) are established using the Softwares of Mimics, Geomagic, SolidWorks and ANSYS according to the CT scanning data of tibia. The result of the finite element analysis shows that the AS nail has great advantages compared with the CM nail in reducing the stress shielding effect in different periods of fracture healing. The conclusion is that the AS nail can realize the static fixation to the dynamic fixation from the early to the later automatically to shorten the time of fracture healing, which also provides a new technique to the interlocking intramedullary nail.

Interlock system for the COMPASS tokamak

Czech Academy of Sciences Publication Activity Database

Hron, Martin; Sova, J.; Šíba, J.; Kovář, J.; Adámek, Jiří; Pánek, Radomír; Havlíček, Josef; Písačka, Jan; Mlynář, Jan; Stöckel, Jan

2010-01-01

Roč. 85, 3-4 (2010), s. 505-508 ISSN 0920-3796. [IAEA Technical Meeting on Control, Data Acquisition and Remote Participation for Fusion Research/7th./. Aix – en – Provence, 15.06.2009-19.06.2009] R&D Projects: GA MŠk 7G09042; GA ČR GD202/08/H057 Institutional research plan: CEZ:AV0Z20430508 Keywords : Tokamak operation * Interlock * Personnel safety Subject RIV: BL - Plasma and Gas Discharge Physics Impact factor: 1.143, year: 2010 http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V3C-5003BXW-1&_user=6542793&_coverDate=07%2F31%2F2010&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_acct=C000070123&_version=1&_urlVersion=0&_userid=6542793&md5=ef5794d05cc6530a905d1de43aa0ac6a&searchtype=a

On the Use of Static Checking in the Verification of Interlocking Systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Østergaard, Peter H.

2016-01-01

In the formal methods community, the correctness of interlocking tables is typically verified by model checking. This paper suggests to use a static checker for this purpose and it demonstrates for the RobustRailS verification tool set that the execution time and memory usage of its static checker...

Supervision software for string 2 magnet test facility of large hadron collider project

International Nuclear Information System (INIS)

Mayya, Y.S.; Sanadhya, Vivek; Lal, Pradeep; Goel, Vijay; Mukhopadhyay, S.; Saha, Shilpi

2001-01-01

The Supervisory Control and Data Acquisition (SCADA) software for the String 2 test facility at CERN, Geneva is developed by BARC under the framework of CERN-DAE collaboration for LHC. The supervision application is developed using PCVue32 SCADA/MMI software. The String 2 test facility prototypes one full cell of LHC and is aimed at studying and validating the individual and collective behaviour of the superconducting magnets, before installing in the tunnel. The software integrates monitoring and supervisory control of all the main subsystems of String 2 such as Cryogenics, Vacuum, Power converters, Magnet protection, Energy extraction and interlock systems. It incorporates animated process synoptics, loop and equipment control panels, configurable trend windows for real-time and historical trending of process parameters, user settability for interlock and alarm thresholds, logging of process events, equipment faults and operator activity. The plant equipment are controlled by a variety of field located Programmable Logic Controllers and VME crates which communicate process IO to the central IO server using both vendor specific and custom protocols. The system leverages OPC (OLE for Process Controls) technology for realising a generic IO server. A large number of geographically distributed client stations are arranged to provide the process specific operator interface and these are connected to the Main IO server over CERN wide intranet and internet. (author)

Development of Remote Control and Interlock System for the PEFP Microwave Ion Source

International Nuclear Information System (INIS)

Song, Young Gi; Seol, Kyung Tae; Kwon, Hyeok Jung; Jang, Ji Ho; Cho, Yong Sub

2011-01-01

The control system for a microwave ion source as an isolated high voltage device is a main part of the PEFP distributed control system. The system is used to control two sets of microwave ion sources, the remote control and the interlock system. A VME system with an embedded Power PC CPU is used as main computer. The VME system is dedicated to control and monitoring of the ion source operation. An isolated control system has been designed and developed for remote control and monitoring of a microwave generator and various power supplies. As the source is placed on high voltage platform, optical fiber isolation has been used between the serial to optical fiber VME I/O board and the control system on the high voltage platform. These are connected through RS232 serial interface. A fast Ethernet is used to communicate between the microwave ion source control system and other control stations in the PEFP control system. EPICS toolkit is adopted to provide network programming and user interface by using EPICS Channel Access (CA)

49 CFR 236.340 - Electromechanical interlocking machine; locking between electrical and mechanical levers.

Science.gov (United States)

2010-10-01

... Electromechanical interlocking machine; locking between electrical and mechanical levers. In electro-mechanical interlocking machine, locking between electric and mechanical levers shall be maintained so that mechanical... 49 Transportation 4 2010-10-01 2010-10-01 false Electromechanical interlocking machine; locking...

Instrumentation and control of the Doublet III Neutral Beam Injector System

Energy Technology Data Exchange (ETDEWEB)

Kohli, J.C.; Moore, C.D.; Drobnis, D.D.; Elischer, V.P.; Kilgore, R.; Uber, D.

1980-03-01

The hardware and software required for the operation of the Doublet III Neutral Beam Injector System (NBIS) are described. Development and implementation of this Instrumentation and Control System was divided between the major participants - General Atomic Company and Lawrence Berkeley Laboratory. The subdivision of responsibilities and the coordination of the participants' activities are described with reference to hardware and software requirements in support of the entire system. Included are a description of the operators' consoles, the interlock system and the CAMAC system. One feature of the control software is source modeling. This feature includes feedback on a shot to shot basis and adaptive control. Adaptive control permits the computer system to automatically adjust parameters after a shot, and to control the system to automatically compensate for time varying NBIS components. The Neutral Beam Power Supply features power supply modeling, fiber optic transmission of analog signals and digital control of power supply power-up/interlocks.

Instrumentation and control of the Doublet III Neutral Beam Injector System

International Nuclear Information System (INIS)

Kohli, J.C.; Moore, C.D.; Drobnis, D.D.; Elischer, V.P.; Kilgore, R.; Uber, D.

1980-03-01

The hardware and software required for the operation of the Doublet III Neutral Beam Injector System (NBIS) are described. Development and implementation of this Instrumentation and Control System was divided between the major participants - General Atomic Company and Lawrence Berkeley Laboratory. The subdivision of responsibilities and the coordination of the participants' activities are described with reference to hardware and software requirements in support of the entire system. Included are a description of the operators' consoles, the interlock system and the CAMAC system. One feature of the control software is source modeling. This feature includes feedback on a shot to shot basis and adaptive control. Adaptive control permits the computer system to automatically adjust parameters after a shot, and to control the system to automatically compensate for time varying NBIS components. The Neutral Beam Power Supply features power supply modeling, fiber optic transmission of analog signals and digital control of power supply power-up/interlocks

Residual Heat Removal System qualitative probabilistic safety analysis before and after auto closure interlock removal

International Nuclear Information System (INIS)

Mikulicic, V.; Simic, Z.

1992-01-01

The analysis evaluates the consequences of the removal of the auto closure interlock (ACI) on the Residual Heat Removal System (RHRS) suction/isolation valves at the nuclear power plant. The deletion of the RHRS ACI is in part based on a probabilistic safety analysis (PSA) which justifies the removal based on a criterion of increased availability and reliability. Three different areas to be examined in PSA: the likelihood of an interfacing system LOCA; RHRS availability and reliability; and low temperature overpressurization control. The paper emphasizes particularly the RHRS unavailability and reliability evaluation utilizing the current control circuitry configuration and then with the proposed modification to the control circuitry. (author)

Novel Repair Concept for Composite Materials by Repetitive Geometrical Interlock Elements

Directory of Open Access Journals (Sweden)

David Zaremba

2011-12-01

Full Text Available Material adapted repair technologies for fiber-reinforced polymers with thermosetting matrix systems are currently characterized by requiring major efforts for repair preparation and accomplishment in all industrial areas of application. In order to allow for a uniform distribution of material and geometrical parameters over the repair zone, a novel composite interlock repair concept is introduced, which is based on a repair zone with undercuts prepared by water-jet technology. The presented numerical and experimental sensitivity analyses make a contribution to the systematic development of the interlock repair technology with respect to material and geometrical factors of influence. The results show the ability of the novel concept for a reproducible and automatable composite repair.

Poly[n]catenanes: Synthesis of molecular interlocked chains

Science.gov (United States)

Wu, Qiong; Rauscher, Phillip M.; Lang, Xiaolong; Wojtecki, Rudy J.; de Pablo, Juan J.; Hore, Michael J. A.; Rowan, Stuart J.

2017-12-01

As the macromolecular version of mechanically interlocked molecules, mechanically interlocked polymers are promising candidates for the creation of sophisticated molecular machines and smart soft materials. Poly[n]catenanes, where the molecular chains consist solely of interlocked macrocycles, contain one of the highest concentrations of topological bonds. We report, herein, a synthetic approach toward this distinctive polymer architecture in high yield (~75%) via efficient ring closing of rationally designed metallosupramolecular polymers. Light-scattering, mass spectrometric, and nuclear magnetic resonance characterization of fractionated samples support assignment of the high-molar mass product (number-average molar mass ~21.4 kilograms per mole) to a mixture of linear poly[7-26]catenanes, branched poly[13-130]catenanes, and cyclic poly[4-7]catenanes. Increased hydrodynamic radius (in solution) and glass transition temperature (in bulk materials) were observed upon metallation with Zn2+.

Automatic generation and verification of railway interlocking control tables using FSM and NuSMV

Directory of Open Access Journals (Sweden)

Mohammad B. YAZDI

2009-01-01

Full Text Available Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems. The reliability, safety and integrity of these systems, relies on reliability and integrity of all stages in their lifecycle including the design, verification, manufacture, test, operation and maintenance.In this paper, the Automatic generation and verification of interlocking control tables, as one of the most important stages in the interlocking design process has been focused on, by the safety critical research group in the School of Railway Engineering, SRE. Three different subsystems including a graphical signalling layout planner, a Control table generator and a Control table verifier, have been introduced. Using NuSMV model checker, the control table verifier analyses the contents of control table besides the safe train movement conditions and checks for any conflicting settings in the table. This includes settings for conflicting routes, signals, points and also settings for route isolation and single and multiple overlap situations. The latest two settings, as route isolation and multiple overlap situations are from new outcomes of the work comparing to works represented on the subject recently.

30 CFR 75.819 - Motor-starter enclosures; barriers and interlocks.

Science.gov (United States)

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Motor-starter enclosures; barriers and...-Voltage Distribution High-Voltage Longwalls § 75.819 Motor-starter enclosures; barriers and interlocks. Compartment separation and cover interlock switches for motor-starter enclosures must be maintained in...

Service-oriented architecture for the ARGOS instrument control software

Science.gov (United States)

Borelli, J.; Barl, L.; Gässler, W.; Kulas, M.; Rabien, Sebastian

2012-09-01

The Advanced Rayleigh Guided ground layer Adaptive optic System, ARGOS, equips the Large Binocular Telescope (LBT) with a constellation of six rayleigh laser guide stars. By correcting atmospheric turbulence near the ground, the system is designed to increase the image quality of the multi-object spectrograph LUCIFER approximately by a factor of 3 over a field of 4 arc minute diameter. The control software has the critical task of orchestrating several devices, instruments, and high level services, including the already existing adaptive optic system and the telescope control software. All these components are widely distributed over the telescope, adding more complexity to the system design. The approach used by the ARGOS engineers is to write loosely coupled and distributed services under the control of different ownership systems, providing a uniform mechanism to offer, discover, interact and use these distributed capabilities. The control system counts with several finite state machines, vibration and flexure compensation loops, and safety mechanism, such as interlocks, aircraft, and satellite avoidance systems.

Outcome of intramedullary interlocking SIGN nail in tibial diaphyseal fracture

International Nuclear Information System (INIS)

Khan, I.; Javed, S.; Khan, G.N.; Aziz, A.

2013-01-01

Objective: To determine the outcome of intramedullary interlocking surgical implant generation network (SIGN) nail in diaphyseal tibial fractures in terms of union and failure of implant (breakage of nail or interlocking screws). Study Design: Case series. Place and Duration of Study: Orthopaedics and Spinal Surgery, Ghurki Trust Teaching Hospital, Lahore Medical and Dental College, Lahore, from September 2008 to August 2009. Methodology: Fifty patients aged 14 - 60 years, of either gender were included, who had closed and Gustilo type I and II open fractures reported in 2 weeks, whose closed reduction was not possible or was unsatisfactory and fracture was located 7 cm below knee joint to 7 cm above ankle joint. Fractures previously treated with external fixator, infected fractures and unfit patients were excluded. All fractures were fixed with intramedullary interlocking SIGN nail and were followed clinically and radiographically for union and for any implant failure. Results: Forty one (88%) patients had united fracture within 6 months, 5 (10%) patients had delayed union while 4 (8%) patients had non-union. Mean duration for achieving union was 163 + 30.6 days. Interlocking screws were broken in 2 patients while no nail was broken in any patient. Conclusion: Intramedullary interlocking nailing is an effective measure in treating closed and grade I and II open tibial fractures. It provides a high rate of union less complications and early return to function. (author)

Outcome of intramedullary interlocking SIGN nail in tibial diaphyseal fracture.

Science.gov (United States)

Khan, Irfanullah; Javed, Shahzad; Khan, Gauhar Nawaz; Aziz, Amer

2013-03-01

To determine the outcome of intramedullary interlocking surgical implant generation network (SIGN) nail in diaphyseal tibial fractures in terms of union and failure of implant (breakage of nail or interlocking screws). Case series. Orthopaedics and Spinal Surgery, Ghurki Trust Teaching Hospital, Lahore Medical and Dental College, Lahore, from September 2008 to August 2009. Fifty patients aged 14 - 60 years, of either gender were included, who had closed and Gustilo type I and II open fractures reported in 2 weeks, whose closed reduction was not possible or was unsatisfactory and fracture was located 7 cm below knee joint to 7 cm above ankle joint. Fractures previously treated with external fixator, infected fractures and unfit patients were excluded. All fractures were fixed with intramedullary interlocking SIGN nail and were followed clinically and radiographically for union and for any implant failure. Forty one (88%) patients had united fracture within 6 months, 5 (10%) patients had delayed union while 4 (8%) patients had non-union. Mean duration for achieving union was 163 + 30.6 days. Interlocking screws were broken in 2 patients while no nail was broken in any patient. Intramedullary interlocking nailing is an effective measure in treating closed and grade I and II open tibial fractures. It provides a high rate of union less complications and early return to function.

Software system safety

Science.gov (United States)

Uber, James G.

1988-01-01

Software itself is not hazardous, but since software and hardware share common interfaces there is an opportunity for software to create hazards. Further, these software systems are complex, and proven methods for the design, analysis, and measurement of software safety are not yet available. Some past software failures, future NASA software trends, software engineering methods, and tools and techniques for various software safety analyses are reviewed. Recommendations to NASA are made based on this review.

FRACTURE SHAFT HUMERUS: INTERLOCKING

Directory of Open Access Journals (Sweden)

Deepak Kaladagi

2014-12-01

Full Text Available BACKGROUND: The incidence of humeral fracture has significantly increased during the present years due to the population growth and road traffic, domestic, industrial, automobile accidents & disasters like tsunami, earthquakes, head-on collisions, polytrauma etc. In order to achieve a stable fixation followed by early mobilization, numerous surgical implants have been devised. PURPOSE: The purpose of this study is to analyze the results of intramedullary fixation of proximal 2/3rd humeral shaft fractures using an unreamed interlocking intramedullary nail. INTRODUCTION: In 40 skeletally matured patients with fracture shaft of humerus admitted in our hospital, we used unreamed antegrade interlocking nails. MATERIAL: We carried out a prospective analysis of 40 patients randomly selected between 2001 to 2014 who were operated at JNMC Belgaum, MMC Mysore & Navodaya Medical College, Raichur. All cases were either RTAs, Domestic, Industrial, automobile accidents & also other modes of injury. METHOD: Routine investigations with pre-anaesthetic check-up & good quality X-rays of both sides of humerus was taken. Time of surgery ranged from 5-10 days from the time of admission. Only upper 1/3rd & middle 1/3rd humeral shaft fractures were included in the study. In all the cases antegrade locked unreamed humeral nails were inserted under C-arm. Patient was placed in supine position & the shoulder was kept elevated by placing a sandbag under the scapula. In all patients incision taken from tip of acromion to 3cm over deltoid longitudinally. Postoperatively sling applied with wrist & shoulder movements started after 24 hours. All the patients ranged between the age of 21-50 years. RESULTS: Total 40 patients were operated. Maximum fracture site were in the middle third- 76%, 14% upper 1/3rd. All 40 patients achieved union. The average time of union was 8-10 weeks. All patients regained full range of movements except in few cases, where there was shoulder

Interlocking Boards and Firm Performance: Evidence from a New Panel Database

NARCIS (Netherlands)

M.C. Non (Marielle); Ph.H.B.F. Franses (Philip Hans)

2007-01-01

textabstractAn interlock between two firms occurs if the firms share one or more directors in their boards of directors. We explore the effect of interlocks on firm performance for 101 large Dutch firms using a large and new panel database. We use five different performance measures, and for each

Definition and means of maintaining the process vacuum liquid detection interlock systems portion of the PFP safety envelope

International Nuclear Information System (INIS)

THOMAS, R.J.

1999-01-01

The Process Vacuum Liquid Detection interlock systems prevent intrusion of process liquids into the HEPA filters downstream of demisters No.6 and No.7 during Process Vacuum System operation. This prevents liquid intrusion into the filters, which could cause a criticality. The Safety Envelope (SE) includes the equipment, which detects the presence of liquids in the vacuum headers; isolates the filters; shuts down the vacuum pumps; and alarms the condition. This report identifies the equipment in the SE operating, maintenance, and surveillance procedures needed to maintain the SE equipment; and rationale for exclusion of some equipment and testing from the SE

Composites reinforced via mechanical interlocking of surface-roughened microplatelets within ductile and brittle matrices.

Science.gov (United States)

Libanori, R; Carnelli, D; Rothfuchs, N; Binelli, M R; Zanini, M; Nicoleau, L; Feichtenschlager, B; Albrecht, G; Studart, A R

2016-04-12

Load-bearing reinforcing elements in a continuous matrix allow for improved mechanical properties and can reduce the weight of structural composites. As the mechanical performance of composite systems are heavily affected by the interfacial properties, tailoring the interactions between matrices and reinforcing elements is a crucial problem. Recently, several studies using bio-inspired model systems suggested that interfacial mechanical interlocking is an efficient mechanism for energy dissipation in platelet-reinforced composites. While cheap and effective solutions are available at the macroscale, the modification of surface topography in micron-sized reinforcing elements still represents a challenging task. Here, we report a simple method to create nanoasperities with tailored sizes and densities on the surface of alumina platelets and investigate their micromechanical effect on the energy dissipation mechanisms of nacre-like materials. Composites reinforced with roughened platelets exhibit improved mechanical properties for both organic ductile epoxy and inorganic brittle cement matrices. Mechanical interlocking increases the modulus of toughness (area under the stress-strain curve) by 110% and 56% in epoxy and cement matrices, respectively, as compared to those reinforced with flat platelets. This interlocking mechanism can potentially lead to a significant reduction in the weight of mechanical components while retaining the structural performance required in the application field.

A Focus on Triazolium as a Multipurpose Molecular Station for pH-Sensitive Interlocked Crown-Ether-Based Molecular Machines.

Science.gov (United States)

Coutrot, Frédéric

2015-10-01

The control of motion of one element with respect to others in an interlocked architecture allows for different co-conformational states of a molecule. This can result in variations of physical or chemical properties. The increase of knowledge in the field of molecular interactions led to the design, the synthesis, and the study of various systems of molecular machinery in a wide range of interlocked architectures. In this field, the discovery of new molecular stations for macrocycles is an attractive way to conceive original molecular machines. In the very recent past, the triazolium moiety proved to interact with crown ethers in interlocked molecules, so that it could be used as an ideal molecular station. It also served as a molecular barrier in order to lock interlaced structures or to compartmentalize interlocked molecular machines. This review describes the recently reported examples of pH-sensitive triazolium-containing molecular machines and their peculiar features.

Operability test procedure for TRUSAF assayer software upgrade

International Nuclear Information System (INIS)

Cejka, C.C.

1995-01-01

This OTP is to be used to ensure the operability of the Transuranic Waste Assay System (TRUWAS). The system was upgraded and requires a retest to assure satisfactory operation. The upgrade consists of an AST 486 computer to replace the IBM-PC/XT, and a software upgrade (CNEUT). The software calculations are performed in the same manner as in the previous system (NEUT), however, the new software is written in C Assembly Language. CNEUT is easier to use and far more powerful than the previous program. The TRUWAS is used to verify the TRU content of waste packages sent for storage in the Transuranic Storage and Assay Facility (TRUSAF). The TRUSAF is part of Westinghouse Hanford's certification program for waste to be shipped to the Waste Isolation Pilot Plant (WIPP) in New Mexico. The Transuranic Waste Assayer uses a combination passive-active neutron interrogation system to determine the TRU content of 55-gallon waste drums. The system consists of a shielded assay chamber; Deuterium-Tritium neutron generator; Helium-3 proportional counters; drum handling system; electronics including preamplifier, amplifier, and discriminator for each of the counter packages; and an AST 486 computer/printer system for data acquisition and analysis. The system can detect down to TRU levels of 10 nCi/g in the waste matrix. The equipment to be tested is: Assay Chamber Door Drum Turntable and Automatic Loading Platform Interlocks Assayer Software; and IBM computer/printer software. The objective of the test is to verify that the system is operational with the AST 486 computer, the software used in the new computer system correctly calculates TRU levels, and the new computer system is capable of storing and retrieving data

Poly[ n ]catenanes: Synthesis of molecular interlocked chains

Energy Technology Data Exchange (ETDEWEB)

Wu, Qiong; Rauscher, Phillip M.; Lang, Xiaolong; Wojtecki, Rudy J.; de Pablo, Juan J.; Hore, Michael J. A.; Rowan, Stuart J.

2017-11-30

As the macromolecular version of mechanically interlocked molecules, mechanically interlocked polymers are promising candidates for the creation of sophisticated molecular machines and smart soft materials. Poly[n]catenanes, where the molecular chains consist solely of interlocked macrocycles, contain one of the highest concentrations of topological bonds. We report, herein, a synthetic approach toward this distinctive polymer architecture in high yield (similar to 75%) via efficient ring closing of rationally designed metallosupramolecular polymers. Light-scattering, mass spectrometric, and nuclear magnetic resonance characterization of fractionated samples support assignment of the high-molar mass product (number-average molar mass similar to 21.4 kilograms per mole) to a mixture of linear poly[7-26]catenanes, branched poly[13-130]catenanes, and cyclic poly[4-7]catenanes. Increased hydrodynamic radius (in solution) and glass transition temperature (in bulk materials) were observed upon metallation with Zn2+.

Influence of interlocked transactions on gum arabic production and marketing in Senegal

NARCIS (Netherlands)

Mujawamariya, G.; Haese, D' M.F.C.; Burger, C.P.J.

2010-01-01

Interlocked relationships are characterised by traders’ supply of inputs and cash to producers on credit, to be reimbursed at sale time based on a pre-defined price which is often lower than the prevailing market price. The study analyses determinants of choice of interlocking in the gum sector in

System support software for TSTA

International Nuclear Information System (INIS)

Claborn, G.W.; Mann, L.W.; Nielson, C.W.

1987-01-01

The software at the Tritium Systems Test Assembly (TSTA) is logically broken into two parts, the system support software and the subsystem software. The purpose of the system support software is to isolate the subsystem software from the physical hardware. In this sense the system support software forms the kernel of the software at TSTA. The kernel software performs several functions. It gathers data from CAMAC modules and makes that data available for subsystem processes. It services requests to send commands to CAMAC modules. It provides a system of logging functions and provides for a system-wide global program state that allows highly structured interaction between subsystem processes. The kernel's most visible function is to provide the Man-Machine Interface (MMI). The MMI allows the operators a window into the physical hardware and subsystem process state. Finally the kernel provides a data archiving and compression function that allows archival data to be accessed and plotted. Such kernel software as developed and implemented at TSTA is described

Software quality assurance: in large scale and complex software-intensive systems

NARCIS (Netherlands)

Mistrik, I.; Soley, R.; Ali, N.; Grundy, J.; Tekinerdogan, B.

2015-01-01

Software Quality Assurance in Large Scale and Complex Software-intensive Systems presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architecture, or software testing. Modern software

Engineering Task Plan for Hepa Filter Differential Pressure (DP) Fan Interlock Upgrades

International Nuclear Information System (INIS)

SIMONS, S.R.

2000-01-01

This document provides a plan for installation of Differential Pressure (DP) fan interlocks on the primary ventilation systems in selected Tank Farm facilities. This plan contains the engineering tasks required for installation and is summarized by the Acceptance for Beneficial Use list. Individuals responsible for each task are identified and scheduled accordingly

Vertical interlocks of executives and performance of affiliated firms in state owned Chinese business groups

DEFF Research Database (Denmark)

Arnoldi, Jakob; Chen, Xin; Na, Chaohong

. Further, the positive effects of vertically interlocking chairmen decrease as the number of pyramidal layers increases or regional marketization index improves. Such positive effects of interlocks, however, become greater as the divergence between cash flow rights and control rights of business groups...... increases. Our findings are consistent with the hypotheses that vertically interlocking executives can increase firm value by providing better protection against political interference and expropriation by the ultimate controllers of business groups. Our study sheds new light in the role and function...... of interlocks and adds to a small body of literature on the dynamics of state owned business groups in emerging markets generally and China particularly....

The architecture of a reliable software monitoring system for embedded software systems

International Nuclear Information System (INIS)

Munson, J.; Krings, A.; Hiromoto, R.

2006-01-01

We develop the notion of a measurement-based methodology for embedded software systems to ensure properties of reliability, survivability and security, not only under benign faults but under malicious and hazardous conditions as well. The driving force is the need to develop a dynamic run-time monitoring system for use in these embedded mission critical systems. These systems must run reliably, must be secure and they must fail gracefully. That is, they must continue operating in the face of the departures from their nominal operating scenarios, the failure of one or more system components due to normal hardware and software faults, as well as malicious acts. To insure the integrity of embedded software systems, the activity of these systems must be monitored as they operate. For each of these systems, it is possible to establish a very succinct representation of nominal system activity. Furthermore, it is possible to detect departures from the nominal operating scenario in a timely fashion. Such departure may be due to various circumstances, e.g., an assault from an outside agent, thus forcing the system to operate in an off-nominal environment for which it was neither tested nor certified, or a hardware/software component that has ceased to operate in a nominal fashion. A well-designed system will have the property of graceful degradation. It must continue to run even though some of the functionality may have been lost. This involves the intelligent re-mapping of system functions. Those functions that are impacted by the failure of a system component must be identified and isolated. Thus, a system must be designed so that its basic operations may be re-mapped onto system components still operational. That is, the mission objectives of the software must be reassessed in terms of the current operational capabilities of the software system. By integrating the mechanisms to support observation and detection directly into the design methodology, we propose to shift

ROLES OF INTERLOCKING DIRECTORATES IN AN EMERGING COUNTRY: CONTROL AND COORDINATION IN FAMILY BUSINESS GROUPS

Directory of Open Access Journals (Sweden)

Aylin Ataay

2016-04-01

Full Text Available Maman (1999 proposed that, in countries in which business groups are dominant forms for organizing economic activities, the interlocking directorate is a managerial tool that can be prioritized to control and coordinate activities of their affiliated firms within the same groups and align their business objectives. This organizational connection appears to be an intentional strategy on the part of the groups‟ headquarters. In order to study the interlocking ties in Turkish family business groups (FBG, this study focused on interlocking directorates among listed firms in Turkey. The findings of preliminary study reveal that almost all of the interlocking ties were within the business groups (BG in our sample. This is the result of assignment of familyaffiliated and/or professional inside directors to the various boards of companies in the BG. We also found that compare to vertical ties; business groups are using more horizontal interlocking connections to bond their affiliated companies together.

Extending DIII-D Neutral Beam Modulated Operations with a Camac Based Total on Time Interlock

International Nuclear Information System (INIS)

Baggest, D.S.; Broesch, J.D.; Phillips, J.C.

1999-01-01

A new total-on-time interlock has increased the operational time limits of the Neutral Beam systems at DIII-D. The interlock, called the Neutral Beam On-Time-Limiter (NBOTL), is a custom built CAMAC module utilizing a Xilinx 9572 Complex Programmable Logic Device (CPLD) as its primary circuit. The Neutral Beam Injection Systems are the primary source of auxiliary heating for DIII-D plasma discharges and contain eight sources capable of delivering 20MW of power. The delivered power is typically limited to 3.5 s per source to protect beam-line components, while a DIII-D plasma discharge usually exceeds 5 s. Implemented as a hardware interlock within the neutral beam power supplies, the NBOTL limits the beam injection time. With a continuing emphasis on modulated beam injections, the NBOTL guards against command faults and allows the beam injection to be safely spread over a longer plasma discharge time. The NBOTL design is an example of incorporating modern circuit design techniques (CPLD) within an established format (CAMAC). The CPLD is the heart of the NBOTL and contains 90% of the circuitry, including a loadable, 1 MHz, 28 bit, BCD count down timer, buffers, and CAMAC communication circuitry. This paper discusses the circuit design and implementation. Of particular interest is the melding of flexible modern programmable logic devices with the CAMAC format

El prestigi empresarial: Anàlisi a través de les conselleries creuades The business prestige: A preliminary study based on interlocks within companies The business prestige: A preliminary study based on interlocks within companies

Directory of Open Access Journals (Sweden)

David Gonzalez-Prieto

2011-11-01

Full Text Available Purpose: The literature on interlocked directorate or interlocks has proposed the presence of cross-directors as an influential factor in the prestige of a firm (Mizruchi, 1996. This theory is based on the fact that, by having multiple companies with interlocks within them, major stakeholders of the company ought to have a higher perception of prestige. The aim of this preliminary study is to present an exploratory study and suggest future research lines on this issue. Design/methodology/approach: In a first preliminary study, we evaluate the interlocks network comprising companies belonging to the ranking established by the MERCO report in Spain for the year 2010. This is a well-known ranking of corporate reputation in Spain used in recent articles (Luna & Fernandez, 2010. For further analysis, other variables are considered as being quoted in the Spanish market benchmark index, IBEX 35, and the location of the headquarters.Findings: Significant positive relationship was obtained between the number of directorships shared with other public companies and the perceived prestige that stakeholders perceive from the firm. Similarly, we obtain significant positive correlation between the prestige and being listed on the IBEX 35. Finally, we identified banking, construction and energy sectors as the ones that use interlocking directorates more intensively.Research limitations: The results of this preliminary study show the viability of future studies about prestige and interlocks (Mizruchi, 1996. For the validation of the theory described in this study, it should be replicated in different regions and, with larger samples, to observe the effect that interlocks have on the perception of prestige of the company.Practical implications / Originality/value: This is among the first studies showing the existence of a relationship between interlocks and business prestige. It highlights the importance of the composition of the boards for the perceived prestige

Elaboration of the configuration and programming of the interlocks system of the TRIGA Mark III reactor; Elaboracion de la configuracion y programacion del sistema de interbloqueos del reactor Triga Mark III

Energy Technology Data Exchange (ETDEWEB)

Mejia C, M. A.

2016-07-01

The modernization of the TRIGA Mark III reactor interlock system requires a system that provides high reliability, flexibility and ease of operation during reactor operation. With this modernization of the system, is intended to prevent, control and mitigate the causes of probable accidents reported in the reactor accident analysis. On the other hand, is foreseen the ease reactor operation in a simple, safe and efficient way. The programmable logic controller can be programmed by programming instructions using simple language and easy to develop, these can be modified from a computer using the programming software. In addition, another of the advantages offered by the controller is that can be modified from a touch screen (human-machine interface) that allows adjustment, without the need to use programming software and diagnostic functions during the process. As a result of the present work, a situation of improvement in the reactor operation was generated, facilitating the handling of the bridge and increasing the efficiency of the system in the execution of the operating conditions of the installations external to the reactor. A modern, more reliable and much less expensive system was achieved than the previous one, avoiding that the maintenance to the system generates high expenses. With respect to the development of the application programming, a control was implemented that allows to select a zone of the five that have inside the pool to carry out the displacement of automatic way and later to be located in that zone, having in this way a greater efficiency and ease in bridge control. (Author)

Lattice modeling of aggregate interlocking in concrete

DEFF Research Database (Denmark)

Eliáš, Jan; Stang, Henrik

2012-01-01

roughness, i.e.what is termed aggregate interlocking. We demonstrate this enhancement via the simulation of mixed-mode experiments on concrete performed at a laboratory at the Technical University of Denmark. Double notched concrete specimens were initially pre-cracked in tension. Then, various combinations...

Winter Performance of Inter-Locking Pavers—Stormwater Quantity and Quality

Directory of Open Access Journals (Sweden)

Angus Chu

2012-12-01

Full Text Available This study examined the effectiveness of open-joint inter-locking pavers in a permeable pavement in cold (winter conditions. A field-scale inter-locking paver cell (UNI Eco-Optiloc® was built to evaluate the hydraulic performance and water quality improvements experienced during freeze-thaw and frozen conditions in Calgary, Alberta, Canada. Hydraulic performance was assessed using stormwater runoff reduction (peaks and volumes and surface infiltration capacity. Water quality performance for removal of total suspended solids (TSS, total nitrogen (TN, total phosphorous (TP and three heavy metals: copper, lead and zinc, was assessed. Results from the study demonstrated that the inter-locking pavers were effective in attenuating stormwater runoff peak volumes. The surface infiltration capacity decreased significantly due to the deposition of sanding and de-icing materials on the pavement surface during winter operation. Infiltrated stormwater was stored and treated within the pavement structure, which showed removal rates of 91% for TSS, 78% for TP, 6% for TN, 68% for zinc, 69% for copper and 55% for lead.

Septum magnet MNP-23 for the CERN PS experimental area and its fast interlock system

CERN Document Server

Borburgh, J; Prost, A; Zickler, T

2004-01-01

Two MNP-23 septum-like magnets are installed at CERN in the transfer line from the Proton Synchrotron (PS) to the East Hall Experimental Area. They are exposed to extremely high doses of ionizing radiation. In the past, the magnets experienced two catastrophic failures due to overheating of its coils and cannot be repaired. The magnets of improved design which is subject of this article are built as replacements for the magnets presently installed. The MNP-23 is a resistive C shaped iron-dominated magnet made of solid low carbon steel blocks. The excitation windings consist of two water-cooled coils wound from hollow copper conductor. The septum design of these magnets implies a high current density which requires an efficient water cooling system. The newly designed cooling circuit provides better cooling performance and more reliability. To avoid failures due to coil overheating, an elaborate interlock system was developed and installed. It consists of two parts: firstly a slow, more classic sensor, to dete...

Metal-organic frameworks with dynamic interlocked components

Science.gov (United States)

Vukotic, V. Nicholas; Harris, Kristopher J.; Zhu, Kelong; Schurko, Robert W.; Loeb, Stephen J.

2012-06-01

The dynamics of mechanically interlocked molecules such as rotaxanes and catenanes have been studied in solution as examples of rudimentary molecular switches and machines, but in this medium, the molecules are randomly dispersed and their motion incoherent. As a strategy for achieving a higher level of molecular organization, we have constructed a metal-organic framework material using a [2]rotaxane as the organic linker and binuclear Cu(II) units as the nodes. Activation of the as-synthesized material creates a void space inside the rigid framework that allows the soft macrocyclic ring of the [2]rotaxane to rotate rapidly, unimpeded by neighbouring molecular components. Variable-temperature 13C and 2H solid-state NMR experiments are used to characterize the nature and rate of the dynamic processes occurring inside this unique material. These results provide a blueprint for the future creation of solid-state molecular switches and molecular machines based on mechanically interlocked molecules.

Recommendation systems in software engineering

CERN Document Server

Robillard, Martin P; Walker, Robert J; Zimmermann, Thomas

2014-01-01

With the growth of public and private data stores and the emergence of off-the-shelf data-mining technology, recommendation systems have emerged that specifically address the unique challenges of navigating and interpreting software engineering data.This book collects, structures and formalizes knowledge on recommendation systems in software engineering. It adopts a pragmatic approach with an explicit focus on system design, implementation, and evaluation. The book is divided into three parts: "Part I - Techniques" introduces basics for building recommenders in software engineering, including techniques for collecting and processing software engineering data, but also for presenting recommendations to users as part of their workflow.?"Part II - Evaluation" summarizes methods and experimental designs for evaluating recommendations in software engineering.?"Part III - Applications" describes needs, issues and solution concepts involved in entire recommendation systems for specific software engineering tasks, fo...

Determinants of Board Interlocking in the Brazilian Capital Market

Directory of Open Access Journals (Sweden)

Flávio Ribeiro

2016-10-01

Full Text Available The objective in this article was to identify the main determinants of Board Interlocking in the Brazilian capital market. As the theoretical structure, the Agency theory and Corporate Governance, the Resource Dependence theory and the Board of Administrators and the Characteristics of Board Interlocking. The sample consists of 58 Brazilian companies that participate in the Bovespa Index (Ibovespa. An empirical analytic study was undertaken. With regard to the objectives, it is characterized as exploratory and, with regard to the procedures, a documentary research was undertaken. The data on the Boards of Administrators were collected from the Reference Forms available on the website of the São Paulo Stock Exchange (BM&FBOVESPA. The results found demonstrate the generalized presence of Board Interlocking in these companies, normally associated with four factors: (1 economic group formation; (2 governmental control; (3 formation of pension funds; and (4 presence of professionals with acknowledged market experience. The results also suggest that the first three factors give rise to long-lasting links and that these connections are hard to break. On the other hand, the links established through professionals with market experience tend to be more unstable because the presence of these professionals is highly demanded to serve on the board of different companies.

Security System Software

Science.gov (United States)

1993-01-01

C Language Integration Production System (CLIPS), a NASA-developed expert systems program, has enabled a security systems manufacturer to design a new generation of hardware. C.CURESystem 1 Plus, manufactured by Software House, is a software based system that is used with a variety of access control hardware at installations around the world. Users can manage large amounts of information, solve unique security problems and control entry and time scheduling. CLIPS acts as an information management tool when accessed by C.CURESystem 1 Plus. It asks questions about the hardware and when given the answer, recommends possible quick solutions by non-expert persons.

The Utilisation of Shredded PET as Aggregate Replacement for Interlocking Concrete Block

Science.gov (United States)

Mokhtar, M.; Kaamin, M.; Sahat, S.; Hamid, N. B.

2018-03-01

The consumption of plastic has grown substantially all over the world in recent years and this has created huge quantities of plastic-based waste. Plastic waste is now a serious environmental threat to the modern way of living, although steps were taken to reduce its consumption. This creates substantial garbage every day, which is much unhealthy. Plastic bottles such as Polyethylene terephthalate (PET) was use as the partially component in this making of interlocking blocks concrete. This project investigates the strength and workability of the interlocking block concrete by replacing course aggregate with % PET. The suitability of recycled plastics (PET) as course aggregate in interlocking block concrete and its advantages are discussed here. Moreover, there were more benefits when using interlocking block than using conventional block such as it easy for construction because they are aligning, easy to place, high speed stacking and they offer more resistance to shear and buildings would be even stronger. Based on the test perform, the failure parameter were discussed .From the compressive strength test result, it shows that the strength of concrete block decreased with increased of PET used. From the results, it shows that higher compressive strength was found with 5% natural course aggregate replaced with PET compared to other percentages.

Influence of Sawdust as an Aggregate in the Production of Interlocking Pavers

Directory of Open Access Journals (Sweden)

Olayiwola Olaleye AJALA

2017-03-01

Full Text Available The study was conducted to determine the effect of incorporating sawdust into the production of interlocking pavers. Sawdust, stone dust, cement and sharp-sand were combined in different mixing ratios of 2:4:2:0, 2:3:2:1, 2:2:2:2, 3:1:2:2 and 0:3:2:3 respectively with five replicates of each treatment. The interlocking pavers produced were tested for weight, density, hardness, compressive and impact strength. The Analysis of Variance was conducted to test the significance of the strength properties of the pavers produced. The results showed that pavers produced with mixing ratio 0:3:2:3 has the highest mean density and mean compressive strength at 1.58kg/m3 and 4.72N/mm2 respectively, closely followed by ratio 2:2:2:2 which has the highest mean impact strength at 4.39J, compressive strength of 3.26N/mm2 , hardness of 1.70kg and mean density of 1.20kg/m3 . However there is no significant difference in the interlocking pavers’ degree of resistance to abrasion (hardness. It can be concluded that optimum replacement of aggregates exists in ratio 2:2:2:2 where 25% of sawdust can be utilized in each unit of interlocking paver.

Achieving interlocking nails without using an image intensifier.

Science.gov (United States)

Ikem, Innocent C; Ogunlusi, Johnson D; Ine, Henry R

2007-08-01

Interlocking nails are commonly performed using an image intensifier. These are expensive and are not readily available in most resource-poor countries of the world. The aim of this study was to achieve interlocking nailing without the use of an image intensifier. This is a prospective descriptive analysis of 40 consecutive cases seen with shaft fractures of the humerus, femur, and tibia. Fracture fixation was done using Surgical Implant Generation Network (SIGN) nails. Forty limbs in 34 patients were studied. There were 12 females and 22 males, giving a ratio of 1:2. The mean age (years) was 35.75+/-13.16 and the range was 17-70 years. The studied bones were: humerus 10%, femur 65%, and tibia 25%. The fracture lines were: transverse 40%, oblique 15%, and communited 45%. Fracture grades were: closed 90%, grade I, 5%, grade II, 2.5%, and grade IIIA, 2.5%. Surgical approaches were: antegrade 62.5% and retrograde 37.5%. Indications for fixation were: recent fracture 92.5%, non-union 5%, and malunion 3%. Methods of reductions were: open 85% and closed 15%. The mean follow-up period (years) was 1.50+/-0.78. The union time averaged 3 months. Complication was mainly screw loosening due to severe osteoporoses in one case. It is, therefore, concluded that, with the aid of external jigs and slot finders, interlocking can be achieved without an image intensifier.

A formal safety analysis for PLC software-based safety critical system using Z

International Nuclear Information System (INIS)

Koh, Jung Soo

1997-02-01

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC (Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system. And also, we have found that some errors or mismatches in user requirement and final implemented PLC ladder logic while analyzing the process of the consistency and completeness of Z translated formal specifications. In the case of relatively small systems like Beamline hutch door interlock system, a formal safety analysis including explicit proof is highly recommended so that the safety of PLC-based critical system may be enhanced and guaranteed. It also provides a helpful benefits enough to comprehend user requirement expressed by ambiguous natural language

Communities detection as a tool to assess a reform of the Italian interlocking directorship network

Science.gov (United States)

Drago, Carlo; Ricciuti, Roberto

2017-01-01

Interlocking directorships are important communication channels among companies and may have anticompetitive effect. A corporate governance reform was introduced in 2011 to prevent interlocking directorships in the financial sector. We apply community detection techniques to the analysis of the networks in 2009 and 2012 to ascertain the effect of such reform on the Italian directorship network. We find that, although the number of interlocking directorships decreases in 2012, the reduction takes place mainly at the periphery of the network. The network core is stable, allowing the most connected companies to keep their strategic position.

Governance of pension funds: interlocking and compensation of Australian superannuation fund boards

OpenAIRE

Ooi, Elizabeth Meishan

2017-01-01

This thesis documents the incidence and determinants of board interlocking (where directors simultaneously sit on multiple boards) in pension funds and examines its effect on fund performance. It also investigates the determinants of pension fund director compensation. The motivation to examine these issues stems from the distinctive interlocking and compensation practices in pension funds. Data on a sample of 249 Australian pension funds from 2004 to 2011 is collected from fund documents ...

Performance of the Protection System for Superconducting Circuits during LHC Operation

OpenAIRE

Denz, R; Charifoulline, Z; Dahlerup-Petersen, K; Schmidt, R; Siemko, A; Steckert, J

2011-01-01

The protection system for superconducting magnets and bus-bars is an essential part of the LHC machine protection and ensures the integrity of substantial elements of the accelerator. Due to the large amount of hardwired and software interlock channels the dependability of the system is a critical parameter for the successful operation of the LHC.

Software quality assurance and software safety in the Biomed Control System

International Nuclear Information System (INIS)

Singh, R.P.; Chu, W.T.; Ludewigt, B.A.; Marks, K.M.; Nyman, M.A.; Renner, T.R.; Stradtner, R.

1989-01-01

The Biomed Control System is a hardware/software system used for the delivery, measurement and monitoring of heavy-ion beams in the patient treatment and biology experiment rooms in the Bevalac at the Lawrence Berkeley Laboratory (LBL). This paper describes some aspects of this system including historical background philosophy, configuration management, hardware features that facilitate software testing, software testing procedures, the release of new software quality assurance, safety and operator monitoring. 3 refs

Bio-inspired design of geometrically interlocked 3D printed joints

Science.gov (United States)

Kumar, S.; Oliva, Noel; Kumar's Lab Team

The morphology of the adhesive-adherend interface significantly affects the mechanical behavior of adhesive joints. As seen in some biocomposites like human skull, or the nacre of some bivalve molluscs' shells, a geometrically interlocking architecture of interfaces creates toughening and strengthening mechanisms enhancing the mechanical properties of the joint. In an attempt to characterize this mechanical interlocking mechanism, this study is focused on computational and experimental investigation of a single-lap joint with a very simple geometrically interlocked interface design in which both adherends have a square waveform configuration of the joining surfaces. This square waveform configuration contains a positive and a negative rectangular teeth per cycle in such a way that the joint is symmetric about the mid-bondlength. Both physical tests performed on 3D printed prototypes of joints and computational results indicate that the joints with square waveform design have higher strength and damage tolerance than those of joints with flat interface. In order to identify an optimal design configuration of this interface, a systematic parametric study is conducted by varying the geometric and material properties of the non-flat interface. This work was supported by Lockheed Martin (Award No: 12NZZ1).

Design and development of embedded control system for high power RF test facility

International Nuclear Information System (INIS)

Nageswara Rao, J.; Badapanda, M.K.; Upadhyay, Rinki; Tripathi, Akhilesh; Hannurkar, P.R.

2013-01-01

Design and development of an embedded control system for the control, interlock and operation of 1MW, 352.2 MHz TH2089 klystron based RF test facility. The key components of the control system are NI compact Re configurable Input Output (cRIO) system and Windows based PC. The cRIO system's rugged hardware architecture includes a 1.06 GHz Dual-Core embedded controller with Real Time (RT) Operating System, a reconfigurable Field Programmable Gate Array (FPGA) chassis for custom I/O timing, control and processing; and I/O modules. Windows based Graphical User Interface (GUI) has been developed to guide the user through start-up procedure, to set the operating parameters and also to display the status information of all the signals. The application software for data logging and publishing of the acquired data namely set, read back and status signals of auxiliary power supplies and machine safety interlocks has been developed in LabVIEW RT module and is running on embedded controller. Machine safety interlock logic has been implemented in FPGA to meet the time criticality. (author)

Macro-Micro Interlocked Simulator

International Nuclear Information System (INIS)

Sato, Tetsuya

2005-01-01

Simulation Science is now standing on a turning point. After the appearance of the Earth Simulator, HEC is struggling with several severe difficulties due to the physical limit of LSI technologies and the so-called latency problem. In this paper I would like to propose one clever way to overcome these difficulties from the simulation algorithm viewpoint. Nature and artificial products are usually organized with several nearly autonomously working internal systems (organizations, or layers). The Earth Simulator has gifted us with a really useful scientific tool that can deal with the entire evolution of one internal system with a sufficient soundness. In order to make a leap jump of Simulation Science, therefore, it is desired to design an innovative simulator that enables us to deal with simultaneously and as consistently as possible a real system that evolves cooperatively with several internal autonomous systems. Three years experience of the Earth Simulator Project has stimulated to come up with one innovative simulation algorithm to get rid of the technological barrier standing in front of us, which I would like to call 'Macro-Micro Interlocked Algorithm', or 'Macro-Micro Multiplying Algorithm', and present a couple of such examples to validate the proposed algorithm. The first example is an aurora-arc formation as a result of the mutual interaction between the macroscopic magnetosphere-ionosphere system and the microscopic field-aligned electron and ion system. The second example is the local heavy rain fall resulting from the interaction between the global climate evolution and the microscopic raindrop growth process. Based on this innovative feasible algorithm, I came up with a Macro-Micro Multiplying Simulator

Controls and interlocks for a prototype 1MHz beam chopper

International Nuclear Information System (INIS)

Waters, G.; Bishop, D.; Barnes, M.J.; Wait, G.D.

1991-05-01

A prototype 1 MHz beam chopper for the proposed KAON Factory at TRIUMF has been constructed. The chopper is an electric field device, driven by a tetrode based pulser, for deflecting a charged particle beam. Associated with the tetrode used in the prototype design are high voltage power supplies for the electrodes. We use an FET based grid pulser and a sequencer capable of accurate digital control of pulse timing to 0.4 ns. A safety interlock and control system using a programmable controller with fibre optic links has been built. This has given us the versatility required in a prototype system. (Author) 4 refs., 5 figs

Multi-Level Formation of Complex Software Systems

Directory of Open Access Journals (Sweden)

Hui Li

2016-05-01

Full Text Available We present a multi-level formation model for complex software systems. The previous works extract the software systems to software networks for further studies, but usually investigate the software networks at the class level. In contrast to these works, our treatment of software systems as multi-level networks is more realistic. In particular, the software networks are organized by three levels of granularity, which represents the modularity and hierarchy in the formation process of real-world software systems. More importantly, simulations based on this model have generated more realistic structural properties of software networks, such as power-law, clustering and modularization. On the basis of this model, how the structure of software systems effects software design principles is then explored, and it could be helpful for understanding software evolution and software engineering practices.

Control strategies used in the control software for the Heavy Ion Research Facility in Lanzhou

Energy Technology Data Exchange (ETDEWEB)

Zhou, Wen-Xiong [College of Power Engineering, Chongqing University, Chongqing 400044 (China); Postdoctoral Station, Chongqing University, Chongqing 400044 (China); Wang, Yan-Yu [Institute of Modern Physics, Chinese Academy of Sciences, Lanzhou 730000 (China); Pan, Liang-Ming [College of Power Engineering, Chongqing University, Chongqing 400044 (China); Tu, Sheng-Pan [State Grid Chongqing Maintenance Company, Chongqing 400044 (China)

2016-07-01

Automation control systems are important for the operation of an accelerator. To ensure the reliable, stable and flexible operation of the Heavy Ion Research Facility in Lanzhou (HIRFL), several control systems are developed. The developed control systems are the SECRAL control system, the LECR3 control system, the LAPECR1 control system and the Electro-Static septum control system. The corresponding control software systems are developed using Visual C++. To ensure the accuracy, stability and flexibility of the control systems, some special control strategies are developed in the control software systems. This paper provides a detailed description of the main control strategies used in the control software systems. The main control strategies are composed of a reliable communication mechanism, a correct data/command transmission mechanism, an efficient data storage mechanism and an interlock protection mechanism. To guarantee a reliable communication between the devices for the commercially purchased devices and the built in-house ones, a modified heartbeat method is developed. To provide flexible reconstitution function for the control systems, the command queue and the state machine are combined. The message mechanism and the multiple windows mechanism are also used for the module mechanism. The relevant control systems are introduced as examples of these control strategies. These systems have been running stably for several years.

Control strategies used in the control software for the Heavy Ion Research Facility in Lanzhou

International Nuclear Information System (INIS)

Zhou, Wen-Xiong; Wang, Yan-Yu; Pan, Liang-Ming; Tu, Sheng-Pan

2016-01-01

Automation control systems are important for the operation of an accelerator. To ensure the reliable, stable and flexible operation of the Heavy Ion Research Facility in Lanzhou (HIRFL), several control systems are developed. The developed control systems are the SECRAL control system, the LECR3 control system, the LAPECR1 control system and the Electro-Static septum control system. The corresponding control software systems are developed using Visual C++. To ensure the accuracy, stability and flexibility of the control systems, some special control strategies are developed in the control software systems. This paper provides a detailed description of the main control strategies used in the control software systems. The main control strategies are composed of a reliable communication mechanism, a correct data/command transmission mechanism, an efficient data storage mechanism and an interlock protection mechanism. To guarantee a reliable communication between the devices for the commercially purchased devices and the built in-house ones, a modified heartbeat method is developed. To provide flexible reconstitution function for the control systems, the command queue and the state machine are combined. The message mechanism and the multiple windows mechanism are also used for the module mechanism. The relevant control systems are introduced as examples of these control strategies. These systems have been running stably for several years.

The Impact of Board Interlocks on Auditor Choice and Audit Fees

DEFF Research Database (Denmark)

Riise Johansen, Thomas; Pettersson, Kim

2013-01-01

Research Question/Issue This paper uses unique Danish data to examine whether non-executive directors draw on both direct and indirect ties in the network of interlocking directorates to impact auditor choice, and whether this impact has consequences for audit fees. Research Findings/Insight The ......Research Question/Issue This paper uses unique Danish data to examine whether non-executive directors draw on both direct and indirect ties in the network of interlocking directorates to impact auditor choice, and whether this impact has consequences for audit fees. Research Findings....../Insight The paper finds clear evidence that non-executive directors draw on their networks to impact auditor choice, and evidence that clients pay an audit fee premium when non-executive directors are connected to audit firms outside the focal company. The relationship between non-executive directors and auditors...... of the non-executive director–auditor relationship and the role that board networks have in governing auditor choice decisions. The study identifies interlocks as an infrastructure for differentiation in the audit market and determines that such differentiation is associated with an audit fee premium...

Operator aid system for Dhruva fueling machine

International Nuclear Information System (INIS)

Misra, S.M.; Ramaswamy, L.R.; Gohel, N.; Bharadwaj, G.; Ranade, M.R.; Khadilkar, M.G.

1997-01-01

Systems with significant software contents are replacing the old hardware logic systems. These systems not only are versatile but are easy to make changes in the program. Extensive use of such systems in critical real-time operation environment warrants not only excessive training on simulators, documentation but also fault tolerant system to bring the operation to a safe state in case of error. With new graphic user software interface and advancement in personal computer hardware design, the dynamic status of the physical environment can be shown on the visual display at near real time. These visual aids along with the software covering all the interlocks aids an operator in his professional work. This paper highlights the operator aid system for Dhruva fueling machine. (author). 6 refs., 1 fig

Software And Systems Engineering Risk Management

Science.gov (United States)

2010-04-01

RSKM 2004 COSO Enterprise RSKM Framework 2006 ISO/IEC 16085 Risk Management Process 2008 ISO/IEC 12207 Software Lifecycle Processes 2009 ISO/IEC...1 Software And Systems Engineering Risk Management John Walz VP Technical and Conferences Activities, IEEE Computer Society Vice-Chair Planning...Software & Systems Engineering Standards Committee, IEEE Computer Society US TAG to ISO TMB Risk Management Working Group Systems and Software

Structural damage monitoring of harbor caissons with interlocking condition

Energy Technology Data Exchange (ETDEWEB)

Huynh, Thanh Canh; Lee, So Young; Nauyen, Khac Duy; Kim, Jeong Tae [Pukyong National Univ., Busan (Korea, Republic of)

2012-12-15

The objective of this study is to monitor the health status of harbor caissons which have potential foundation damage. To obtain the objective, the following approaches are performed. Firstly, a structural damage monitoring(SDM) method is designed for interlocked multiple caisson structures. The SDM method utilizes the change in modal strain energy to monitor the foundation damage in a target caisson unit. Secondly, a finite element model of a caisson system which consists of three caisson units is established to verify the feasibility of the proposed method. In the finite element simulation, the caisson units are constrained each other by shear key connections. The health status of the caisson system against various levels of foundation damage is monitored by measuring relative modal displacements between the adjacent caissons.

Structural damage monitoring of harbor caissons with interlocking condition

International Nuclear Information System (INIS)

Huynh, Thanh Canh; Lee, So Young; Nauyen, Khac Duy; Kim, Jeong Tae

2012-01-01

The objective of this study is to monitor the health status of harbor caissons which have potential foundation damage. To obtain the objective, the following approaches are performed. Firstly, a structural damage monitoring(SDM) method is designed for interlocked multiple caisson structures. The SDM method utilizes the change in modal strain energy to monitor the foundation damage in a target caisson unit. Secondly, a finite element model of a caisson system which consists of three caisson units is established to verify the feasibility of the proposed method. In the finite element simulation, the caisson units are constrained each other by shear key connections. The health status of the caisson system against various levels of foundation damage is monitored by measuring relative modal displacements between the adjacent caissons

An analytical hierarchical model explaining the robustness and flaw-tolerance of the interlocking barb-barbule structure of bird feathers

Science.gov (United States)

Chen, Qiang; Gorb, Stanislav; Kovalev, Alexander; Li, Zhiyong; Pugno, Nicola

2016-10-01

Feathers can fulfill their aerodynamic function only if the pennaceous vane forms an airfoil stabilized by robust interlocking between barbules. Thus, revealing the robustness of the interlocking mechanical behavior of the barbules is very important to understand the function and long-term resilience of bird feathers. This paper, basing on the small- and large-beam deflection solutions, presents a hierarchical mechanical model for deriving the critical delamination conditions of the interlocking barbules between two adjacent barbs in bird feathers. The results indicate a high robustness and flaw-tolerant design of the structure. This work contributes to the understanding of the mechanical behavior of the robust interlocking barb-barbule structure of the bird feather, and provides a basis for design of feather-inspired materials with robust interlocking mechanism, such as advanced bio-inspired micro-zipping devices.

Innovative monitoring of 3D warp interlock fabric during forming process

Science.gov (United States)

Dufour, C.; Jerkovic, I.; Wang, P.; Boussu, F.; Koncar, V.; Soulat, D.; Grancaric, A. M.; Pineau, P.

2017-10-01

The final geometry of 3D warp interlock fabric needs to be check during the 3D forming step to ensure the right locations of warp and weft yarns inside the final structure. Thus, a new monitoring approach has been proposed based on sensor yarns located in the fabric thickness. To ensure the accuracy of measurements, the observation of the surface deformation of the 3D warp interlock fabric has been joined to the sensor yarns measurements. At the end, it has been revealed a good correlation between strain measurement done globally by camera and locally performed by sensor yarns.

Software metrics: Software quality metrics for distributed systems. [reliability engineering

Science.gov (United States)

Post, J. V.

1981-01-01

Software quality metrics was extended to cover distributed computer systems. Emphasis is placed on studying embedded computer systems and on viewing them within a system life cycle. The hierarchy of quality factors, criteria, and metrics was maintained. New software quality factors were added, including survivability, expandability, and evolvability.

Refining the maintenance techniques for Interlocking Concrete Paver GIs

Science.gov (United States)

Surface clogging adversely affects the performance of Interlocking Concrete Pavements (ICP) by reducing their ability to infiltrate stormwater runoff. The clogging rate is a function of pavement type, traffic loading, surrounding physical environment and maintenance treatments. ...

Design of responsive materials using topologically interlocked elements

International Nuclear Information System (INIS)

Molotnikov, A; Gerbrand, R; Qi, Y; Simon, G P; Estrin, Y

2015-01-01

In this work we present a novel approach to designing responsive structures by segmentation of monolithic plates into an assembly of topologically interlocked building blocks. The particular example considered is an assembly of interlocking osteomorphic blocks. The results of this study demonstrate that the constraining force, which is required to hold the blocks together, can be viewed as a design parameter that governs the bending stiffness and the load bearing capacity of the segmented structure. In the case where the constraining forces are provided laterally using an external frame, the maximum load the assembly can sustain and its stiffness increase linearly with the magnitude of the lateral load applied. Furthermore, we show that the segmented plate with integrated shape memory wires employed as tensioning cables can act as a smart structure that changes its flexural stiffness and load bearing capacity in response to external stimuli, such as heat generated by the switching on and off an electric current. (paper)

A protection system for picosecond accelerator

International Nuclear Information System (INIS)

Cao Hongping; Chinese Academy of Sciences, Beijing; Chen Huanguang; Xu Ruinian; Tang Junlong; Li Deming

2006-01-01

A personnel and machine protection system for the picosecond accelerator has been built. The key of the system is to send on/off of three triggering signals which are those of electron gun, 2856 MHz and 476 MHz, respectively, to ensure the safety of users and the accelerator. This paper describes the emergencies interlocked by ADAM5511 and timing trigger processor, and some secondary functions which improve the efficiency of the protection system completed in upper layer software. (authors)

Software Quality Assurance for Nuclear Safety Systems

International Nuclear Information System (INIS)

Sparkman, D R; Lagdon, R

2004-01-01

The US Department of Energy has undertaken an initiative to improve the quality of software used to design and operate their nuclear facilities across the United States. One aspect of this initiative is to revise or create new directives and guides associated with quality practices for the safety software in its nuclear facilities. Safety software includes the safety structures, systems, and components software and firmware, support software and design and analysis software used to ensure the safety of the facility. DOE nuclear facilities are unique when compared to commercial nuclear or other industrial activities in terms of the types and quantities of hazards that must be controlled to protect workers, public and the environment. Because of these differences, DOE must develop an approach to software quality assurance that ensures appropriate risk mitigation by developing a framework of requirements that accomplishes the following goals: (sm b ullet) Ensures the software processes developed to address nuclear safety in design, operation, construction and maintenance of its facilities are safe (sm b ullet) Considers the larger system that uses the software and its impacts (sm b ullet) Ensures that the software failures do not create unsafe conditions Software designers for nuclear systems and processes must reduce risks in software applications by incorporating processes that recognize, detect, and mitigate software failure in safety related systems. It must also ensure that fail safe modes and component testing are incorporated into software design. For nuclear facilities, the consideration of risk is not necessarily sufficient to ensure safety. Systematic evaluation, independent verification and system safety analysis must be considered for software design, implementation, and operation. The software industry primarily uses risk analysis to determine the appropriate level of rigor applied to software practices. This risk-based approach distinguishes safety

The economics of information systems and software

CERN Document Server

Veryard, Richard

2014-01-01

The Economics of Information Systems and Software focuses on the economic aspects of information systems and software, including advertising, evaluation of information systems, and software maintenance. The book first elaborates on value and values, software business, and scientific information as an economic category. Discussions focus on information products and information services, special economic properties of information, culture and convergence, hardware and software products, materiality and consumption, technological progress, and software flexibility. The text then takes a look at a

Discontinuous Residue and Theme in Higher-Order Semiotic: A Case for Interlocking Systems

Directory of Open Access Journals (Sweden)

Ali Akbar Farahani

2008-11-01

Full Text Available The fallacy persists in discourse analysis research to explore lexicogrammatical phenomena detached from any adjacent plane of the meaning potential. In an attempt to dispel this and toss out some preconceived notions about what a modern SFG vantage point should involve, this study homes in on one aspect of SFG within prose fiction in particular, which is very revealing in terms of how separate system networks are actually in synergistic simultaneity, and how SFG allows one , phenomenally well, to bring such synergies out, getting to the heart of the fact that language pervasively operates on multiple planes of textuality simultaneously. Thus, building upon Halliday’s 2004 work, the quest is if it is interpersonally significant when the Residue is split into two parts; more importantly, if it is also laced with some lexicogrammatical quality on the textual plane, in light of the fairly well-entrenched assumption that there is always Theme at work when the Residue is split. Halliday is the only scholar to touch upon the topic of Discontinuous Residue and its relationship to Marked Theme in the culmination of his groundbreaking career, i.e. his 2004 work. Having driven home the proposal to make into a watchword the ubiquity of interlocking macro-semantic system networks, some pedagogical and research implications and suggestions flowing from this are brought up.

Active interlock system for high power insertion devices in the x-ray ring

International Nuclear Information System (INIS)

Anon.

1991-01-01

In modern synchrotron radiation rings photon beams generated by high power insertion devices (IDs) may be sufficiently intense to cause severe thermal damage to the machine vacuum chamber if mis-steered. Thus when operating a storage ring with the IDs, great care must be exercised to prevent mis-steering of the electron beam orbit. At present, the X-ray ring operates with three IDs, namely two hybrid wigglers (HBW) at X-21 and X-25,a nd a 5-Tesla superconducting wiggler at X-17. All wigglers are located in low-beta straight sections. In the straight sections. In the straight sections, beam orbit may be deflected by as much as ±8 mrad without scraping the chamber wall. For various reasons it was not possible to design the X-ray ring vacuum chamber to be safe under all possible operating conditions, however, the chamber is safe for i < 7 mA, all horizontal beam deflection angles and for vertical angles < ± 2.5 mrad. To protect the machine vacuum chamber from damage due to mis-steered beams, and interlock system has been developed and installed. This system utilizes active beam position detectors which continuously monitor beam motion in each of the ID straight sections and logic circuitry which interrupts the RF and dumps the stored beam in the case of a fault

49 CFR 1242.17 - Signals and interlockers (accounts XX-17-19 and XX-18-19).

Science.gov (United States)

2010-10-01

... 49 Transportation 9 2010-10-01 2010-10-01 false Signals and interlockers (accounts XX-17-19 and XX... RAILROADS 1 Operating Expenses-Way and Structures § 1242.17 Signals and interlockers (accounts XX-17-19 and XX-18-19). Separate common expenses on the basis of the total train-hours in running service, and/or...

Effects of Interlocking and Supporting Conditions on Concrete Block Pavements

Science.gov (United States)

Mahapatra, Geetimukta; Kalita, Kuldeep

2018-02-01

Concrete Block Paving (CBP) is widely used as wearing course in flexible pavements, preferably under light and medium vehicular loadings. Construction of CBP at site is quick and easy in quality control. Usually, flexible pavement design philosophy is followed in CBP construction, though it is structurally different in terms of small block elements with high strength concrete and their interlocking aspects, frequent joints and discontinuity, restrained edge etc. Analytical solution for such group action of concrete blocks under loading in a three dimensional multilayer structure is complex and thus, the need of conducting experimental studies is necessitated for extensive understanding of the load—deformation characteristics and behavior of concrete blocks in pavement. The present paper focuses on the experimental studies for load transfer characteristics of CBP under different interlocking and supporting conditions. It is observed that both interlocking and supporting conditions affect significantly on the load transfer behavior in CBP structures. Coro-lock block exhibits better performance in terms of load carrying capacity and distortion behavior under static loads. Plate load tests are performed over subgrade, granular sub-base (GSB), CBP with and without GSB using different block shapes. For an example case, the comparison of CBP with conventional flexible pavement section is also presented and it is found that CBP provides considerable benefit in terms of construction cost of the road structure.

COMPARATIVE STUDY OF KUNTSCHER’S NAIL VS. INTERLOCKING NAILING FOR FEMORAL ISTHMUS FRACTURES

Directory of Open Access Journals (Sweden)

Rajeev Kumar Roy

2017-05-01

Full Text Available BACKGROUND Interlocking intramedullary nailing is suitable for comminuted femoral isthmus fractures, but for non-comminuted fractures its benefit over unlocked nailing is debatable. This study was undertaken to compare outcomes of interlocking nailing versus k-nail in such fractures. MATERIALS AND METHODS 40 cases of noncomminuted femoral isthmus fractures treated with interlocking nailing and K-nail from April 1, 2015, to December 1, 2016, were reviewed. Radiological and clinical union rates, bony alignment, complication and knee function were investigated. RESULTS There was no statistical significant difference with regard to union rate, implant failure, infection and fracture alignment in both study groups. Open fixation with K-nail is technically less demanding and requires less operating time; additionally, there is no exposure to radiation and cost of the implant is cheaper. CONCLUSION We therefore conclude that unlocked nailing is still useful for the management of noncomminuted isthmus fractures of the femur.

Software for nuclear data acquisition systems

International Nuclear Information System (INIS)

Christensen, P.

1983-01-01

The situation for experimenters and system designers needing software for instrumentation is described. It is stated that software for a data acquisition system can be divided into programmes described as the foundation software, the applications programme, and the analysis programme. Special attention is given to CAMAC. Two examples from Risoe describing data transportation and archiving are given. Finally the supply of software and the problems of documentation are described. (author)

Software Intensive Systems

National Research Council Canada - National Science Library

Horvitz, E; Katz, D. J; Rumpf, R. L; Shrobe, H; Smith, T. B; Webber, G. E; Williamson, W. E; Winston, P. H; Wolbarsht, James L

2006-01-01

.... Additionally, recommend that DoN invest in software engineering, particularly as it complements commercial industry developments and promotes the application of systems engineering methodology...

Software Design Methods for Real-Time Systems

Science.gov (United States)

1989-12-01

This module describes the concepts and methods used in the software design of real time systems . It outlines the characteristics of real time systems , describes...the role of software design in real time system development, surveys and compares some software design methods for real - time systems , and

Fracture Union in Closed Interlocking Nail in Humeral Shaft Fractures

Directory of Open Access Journals (Sweden)

Ramji Lal Sahu

2015-01-01

Conclusions: The results of the present study indicates that in the presence of proper indications, reamed antegrade intramedullary interlocked nailing appears to be a method of choice for internal fixation of osteoporotic and pathologic fractures.

A Software Development Platform for Mechatronic Systems

DEFF Research Database (Denmark)

Guan, Wei

Software has become increasingly determinative for development of mechatronic systems, which underscores the importance of demands for shortened time-to-market, increased productivity, higher quality, and improved dependability. As the complexity of systems is dramatically increasing, these demands...... present a challenge to the practitioners who adopt conventional software development approach. An effective approach towards industrial production of software for mechatronic systems is needed. This approach requires a disciplined engineering process that encompasses model-driven engineering and component......-based software engineering, whereby we enable incremental software development using component models to address the essential design issues of real-time embedded systems. To this end, this dissertation presents a software development platform that provides an incremental model-driven development process based...

Test software for BESIII MDC electronics system

International Nuclear Information System (INIS)

Zhang Hongyu; Sheng Huayi; Zhu Haitao; Ji Xiaolu; Zhao Dongxu

2006-01-01

This paper presents the design of Test System Software for BESIII MDC Electronics. Two kinds of test systems, SBS VP7 based and PowerPC based systems, and their corresponding test software are introduced. The software is developed in LabVIEW 7.1 and Microsoft Visual C++ 6.0, some test functions of the software, as well as their user interfaces, are described in detail. The software has been applied in hardware debugging, performance test and long term stability test. (authors)

Analysis of the Dependability of the LHC Quench Detection System During LHC Run 2 and Further System Evolution

OpenAIRE

Podzorny, Tomasz; Calcoen, Daniel; Denz, Reiner; Siemko, Andrzej; Spasic, Jelena; Steckert, Jens

2017-01-01

The quench detection system (QDS) of the LHC superconducting circuits is an essential part of the LHC machine protection and ensures the integrity of key elements of the accelerator. The large amount of hardwired and software interlock channels of the QDS requires a very high system dependability in order to reduce the risk of affecting the successful operation of the LHC. This contribution will present methods and tools for systematic fault tracking and analysis, and will discuss recent resu...

Cloning Nacre's 3D Interlocking Skeleton in Engineering Composites to Achieve Exceptional Mechanical Properties.

Science.gov (United States)

Zhao, Hewei; Yue, Yonghai; Guo, Lin; Wu, Juntao; Zhang, Youwei; Li, Xiaodong; Mao, Shengcheng; Han, Xiaodong

2016-07-01

Ceramic/polymer composite equipped with 3D interlocking skeleton (3D IL) is developed through a simple freeze-casting method, exhibiting exceptionally light weight, high strength, toughness, and shock resistance. Long-range crack energy dissipation enabled by 3D interlocking structure is considered as the primary reinforcing mechanism for such superior properties. The smart composite design strategy should hold a place in developing future structural engineering materials. © 2016 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Statistical reliability assessment of software-based systems

International Nuclear Information System (INIS)

Korhonen, J.; Pulkkinen, U.; Haapanen, P.

1997-01-01

Plant vendors nowadays propose software-based systems even for the most critical safety functions. The reliability estimation of safety critical software-based systems is difficult since the conventional modeling techniques do not necessarily apply to the analysis of these systems, and the quantification seems to be impossible. Due to lack of operational experience and due to the nature of software faults, the conventional reliability estimation methods can not be applied. New methods are therefore needed for the safety assessment of software-based systems. In the research project Programmable automation systems in nuclear power plants (OHA), financed together by the Finnish Centre for Radiation and Nuclear Safety (STUK), the Ministry of Trade and Industry and the Technical Research Centre of Finland (VTT), various safety assessment methods and tools for software based systems are developed and evaluated. This volume in the OHA-report series deals with the statistical reliability assessment of software based systems on the basis of dynamic test results and qualitative evidence from the system design process. Other reports to be published later on in OHA-report series will handle the diversity requirements in safety critical software-based systems, generation of test data from operational profiles and handling of programmable automation in plant PSA-studies. (orig.) (25 refs.)

Experimental and numerical analysis of interlocking rib formation at sheet metal blanking

Science.gov (United States)

Bolka, Špela; Bratuš, Vitoslav; Starman, Bojan; Mole, Nikolaj

2018-05-01

Cores for electrical motors are typically produced by blanking of laminations and then stacking them together, with, for instance, interlocking ribs or welding. Strict geometrical tolerances, both on the lamination and on the stack, combined with complex part geometry and harder steel strip material, call for use of predictive methods to optimize the process before actual blanking to reduce the costs and speed up the process. One of the major influences on the final stack geometry is the quality of the interlocking ribs. A rib is formed in one step and joined with the rib of the preceding lamination in the next. The quality of the joint determines the firmness of the stack and also influences its. The geometrical and positional accuracy is thus crucial in rib formation process. In this study, a complex experimental and numerical analysis of interlocking rib formation has been performed. The aim of the analysis is to numerically predict the shape of the rib in order to perform a numerical simulation of the stack formation in the next step of the process. A detailed experimental research has been performed in order to characterize influential parameters on the rib formation and the geometry of the ribs itself, using classical and 3D laser microscopy. The formation of the interlocking rib is then simulated using Abaqus Explicit. The Hilll 48 constitutive material model is based on extensive and novel material characterization process, combining data from in-plane and out-of-plane material tests to perform a 3D analysis of both, rib formation and rib joining. The study shows good correlation between the experimental and numerical results.

A comparative study of interlocking directorates at the end of the import-substituting industrialization period in Argentina and Chile

Directory of Open Access Journals (Sweden)

Erica Salvaj, Andrea Lluch

2012-12-01

Full Text Available Research on interlocking directorates has been conducted primarily in the United States and European countries. Little work of either theoretical or empirical nature has been done to study the characteristics and the factors that affect this important business network in peripheral and turbulent economies. In this comparative and historical study, we focus on the effect of the political and economic turbulence and the ownership composition of the largest firms on shaping the structure of interlocking directorates in Argentina and Chile by the end of the sixties. Four main findings result from this analysis: 1 the interlocking directorate in Argentina is more fragmented than in Chile; 2 most relevant actors in the directorship interlock in Argentina are firms in industries considered strategic by the government; 3 multinational subsidiaries occupy a central position in Argentina; 4 banks and firms owned by local business groups played a central role in the interlocking directorates in Chile. This study shows how the institutional and economic factors shape the structure of relations between companies.

Experimental research control software system

International Nuclear Information System (INIS)

Cohn, I A; Kovalenko, A G; Vystavkin, A N

2014-01-01

A software system, intended for automation of a small scale research, has been developed. The software allows one to control equipment, acquire and process data by means of simple scripts. The main purpose of that development is to increase experiment automation easiness, thus significantly reducing experimental setup automation efforts. In particular, minimal programming skills are required and supervisors have no reviewing troubles. Interactions between scripts and equipment are managed automatically, thus allowing to run multiple scripts simultaneously. Unlike well-known data acquisition commercial software systems, the control is performed by an imperative scripting language. This approach eases complex control and data acquisition algorithms implementation. A modular interface library performs interaction with external interfaces. While most widely used interfaces are already implemented, a simple framework is developed for fast implementations of new software and hardware interfaces. While the software is in continuous development with new features being implemented, it is already used in our laboratory for automation of a helium-3 cryostat control and data acquisition. The software is open source and distributed under Gnu Public License.

Computer systems and software engineering

Science.gov (United States)

Mckay, Charles W.

1988-01-01

The High Technologies Laboratory (HTL) was established in the fall of 1982 at the University of Houston Clear Lake. Research conducted at the High Tech Lab is focused upon computer systems and software engineering. There is a strong emphasis on the interrelationship of these areas of technology and the United States' space program. In Jan. of 1987, NASA Headquarters announced the formation of its first research center dedicated to software engineering. Operated by the High Tech Lab, the Software Engineering Research Center (SERC) was formed at the University of Houston Clear Lake. The High Tech Lab/Software Engineering Research Center promotes cooperative research among government, industry, and academia to advance the edge-of-knowledge and the state-of-the-practice in key topics of computer systems and software engineering which are critical to NASA. The center also recommends appropriate actions, guidelines, standards, and policies to NASA in matters pertinent to the center's research. Results of the research conducted at the High Tech Lab/Software Engineering Research Center have given direction to many decisions made by NASA concerning the Space Station Program.

Experimental research control software system

Science.gov (United States)

Cohn, I. A.; Kovalenko, A. G.; Vystavkin, A. N.

2014-05-01

A software system, intended for automation of a small scale research, has been developed. The software allows one to control equipment, acquire and process data by means of simple scripts. The main purpose of that development is to increase experiment automation easiness, thus significantly reducing experimental setup automation efforts. In particular, minimal programming skills are required and supervisors have no reviewing troubles. Interactions between scripts and equipment are managed automatically, thus allowing to run multiple scripts simultaneously. Unlike well-known data acquisition commercial software systems, the control is performed by an imperative scripting language. This approach eases complex control and data acquisition algorithms implementation. A modular interface library performs interaction with external interfaces. While most widely used interfaces are already implemented, a simple framework is developed for fast implementations of new software and hardware interfaces. While the software is in continuous development with new features being implemented, it is already used in our laboratory for automation of a helium-3 cryostat control and data acquisition. The software is open source and distributed under Gnu Public License.

Automating software design system DESTA

Science.gov (United States)

Lovitsky, Vladimir A.; Pearce, Patricia D.

1992-01-01

'DESTA' is the acronym for the Dialogue Evolutionary Synthesizer of Turnkey Algorithms by means of a natural language (Russian or English) functional specification of algorithms or software being developed. DESTA represents the computer-aided and/or automatic artificial intelligence 'forgiving' system which provides users with software tools support for algorithm and/or structured program development. The DESTA system is intended to provide support for the higher levels and earlier stages of engineering design of software in contrast to conventional Computer Aided Design (CAD) systems which provide low level tools for use at a stage when the major planning and structuring decisions have already been taken. DESTA is a knowledge-intensive system. The main features of the knowledge are procedures, functions, modules, operating system commands, batch files, their natural language specifications, and their interlinks. The specific domain for the DESTA system is a high level programming language like Turbo Pascal 6.0. The DESTA system is operational and runs on an IBM PC computer.

Synthesis of interlocked molecules by olefin metathesis

Science.gov (United States)

Clark, Paul Gregory

polyammonium scaffold. Diolefin polyether fragments were coordinated and "clipped" around the ammonium sites within the polymer backbone using ring-closing olefin metathesis, giving the molecular "charm bracelet". Confirmation of the interlocked nature of the product was achieved via 1H NMR spectroscopy and two-dimensional diffusion ordered NMR spectroscopy. A simple strategy for a one-pot, multi-component synthesis of polyrotaxanes using acyclic diene metathesis polymerization was developed. The polyrotaxanes were characterized by traditional 1H NMR spectroscopy as well as size exclusion chromatography, and the interlocked topology was confirmed using two-dimension diffusion-ordered NMR spectroscopy. The dynamic, self-correcting nature of the ADMET polymerization was also explored through the equilibration of a capped polyammonium polymer in the presence of dibenzo-24-crown-8 ether and olefin metathesis catalysts. The efficiency and ease with which these mechanically interlocked macromolecules can be assembled should facilitate rapid modulation to achieve versatile polyrotaxane architectures. Flexible, switchable [c2]daisy-chain dimers (DCDs) were synthesized, where the macromer ammonium binding site was adjacent to the crown-type recognition structure and separated from the cap by an alkyl chain. A DCD of this topology is expected to have an extended structure in the bound conformation (when the ammonium was coordinated to the crown). Several different macromer candidates were designed to allow access to DCDs with flexible alkyl chains between the ammonium binding site and the cap, and a number of synthetic routes were explored in an effort to access these challenging materials. While the first generation DCD structure proved to be unstable due to a labile ester linkage, work is continuing toward the development of several cap structures in an effort to replace the ester linkage with an ether linkage, which, in the second generation model systems, has proven much more stable

Requirements engineering for software and systems

CERN Document Server

Laplante, Phillip A

2014-01-01

Solid requirements engineering has increasingly been recognized as the key to improved, on-time and on-budget delivery of software and systems projects. This book provides practical teaching for graduate and professional systems and software engineers. It uses extensive case studies and exercises to help students grasp concepts and techniques. With a focus on software-intensive systems, this text provides a probing and comprehensive review of recent developments in intelligent systems, soft computing techniques, and their diverse applications in manufacturing. The second edition contains 100% revised content and approximately 30% new material

Virtual Exercise Training Software System

Science.gov (United States)

Vu, L.; Kim, H.; Benson, E.; Amonette, W. E.; Barrera, J.; Perera, J.; Rajulu, S.; Hanson, A.

2018-01-01

The purpose of this study was to develop and evaluate a virtual exercise training software system (VETSS) capable of providing real-time instruction and exercise feedback during exploration missions. A resistive exercise instructional system was developed using a Microsoft Kinect depth-camera device, which provides markerless 3-D whole-body motion capture at a small form factor and minimal setup effort. It was hypothesized that subjects using the newly developed instructional software tool would perform the deadlift exercise with more optimal kinematics and consistent technique than those without the instructional software. Following a comprehensive evaluation in the laboratory, the system was deployed for testing and refinement in the NASA Extreme Environment Mission Operations (NEEMO) analog.

Safety evaluation for communication network software modifications of PCS in Ulchin NPP unit 3

International Nuclear Information System (INIS)

Ji, S. H.; Koh, J. S.; Kim, B. R.; Oh, S. H.

1999-01-01

On February 2, 1999, an incident occurred at the Ulchin Nuclear Power Plant Unit 3 which resulted in the corruption of data on Perform Net of Plant Control System. This incident was caused by the ASIC (Application Specific Integrated Circuit) chip on the Rehostable Module which is a part of Network Interface Module. Regarding this incident, we required that the utility should propose new algorithms to detect the hardware failure of ASIC chip and evaluated the appropriateness of network software modifications. As a result of this evaluation process, we required that the safety related interlock signals using data communication path be hardwired to make up for the vulnerability of the system architecture. In this paper, we will discuss the system architecture of PCS and fault analysis and evaluation findings

Certification of digital system software

International Nuclear Information System (INIS)

Waclo, J.; Cook, B.; Adomaitis, D.

1991-01-01

The activities involved in the successful application of digital systems to Nuclear Protection functions is not achieved through happenstance. At Westinghouse there has been a longstanding program to utilize digital state of the art technology for protection system advancement. Thereby gaining the advantages of increased system reliability, performance, ease of operation and reduced maintenance costs. This paper describes the Westinghouse background and experience in the safety system software development process, including Verification and Validation, and its application to protection system qualification and the successful use for licensing the Eagle 21 Digital Process Protection System Upgrade. In addition, the lessons learned from this experience are discussed from the perspective of improving the development process through applying feedback of the measurements made on the process and the software product quality. The goal of this process optimization is to produce the highest possible software quality while recognizing the real world constraints of available resources, project schedule and the regulatory policies that are customary in the nuclear industry

A study of software safety analysis system for safety-critical software

International Nuclear Information System (INIS)

Chang, H. S.; Shin, H. K.; Chang, Y. W.; Jung, J. C.; Kim, J. H.; Han, H. H.; Son, H. S.

2004-01-01

The core factors and requirements for the safety-critical software traced and the methodology adopted in each stage of software life cycle are presented. In concept phase, Failure Modes and Effects Analysis (FMEA) for the system has been performed. The feasibility evaluation of selected safety parameter was performed and Preliminary Hazards Analysis list was prepared using HAZOP(Hazard and Operability) technique. And the check list for management control has been produced via walk-through technique. Based on the evaluation of the check list, activities to be performed in requirement phase have been determined. In the design phase, hazard analysis has been performed to check the safety capability of the system with regard to safety software algorithm using Fault Tree Analysis (FTA). In the test phase, the test items based on FMEA have been checked for fitness guided by an accident scenario. The pressurizer low pressure trip algorithm has been selected to apply FTA method to software safety analysis as a sample. By applying CASE tool, the requirements traceability of safety critical system has been enhanced during all of software life cycle phases

General distributed control system for fusion experiments

International Nuclear Information System (INIS)

Klingner, P.L.; Levings, S.J.; Wilkins, R.W.

1986-01-01

A general control system using distributed LSI-11 microprocessors is being developed. Common software residues in each LSI-11 and is tailored to an application by control specifications downloaded from a host computer. The microprocessors, their control interfaces, and the micro-to-host communications are CAMAC based. The host computer also supports an operator interface, coordination of multiple microprocessors, and utilities to create and maintain the control specifications. Typical applications include monitoring safety interlocks as well as controlling vacuum systems, high voltage charging systems, and diagnostics

An Architecture, System Engineering, and Acquisition Approach for Space System Software Resiliency

Science.gov (United States)

Phillips, Dewanne Marie

Software intensive space systems can harbor defects and vulnerabilities that may enable external adversaries or malicious insiders to disrupt or disable system functions, risking mission compromise or loss. Mitigating this risk demands a sustained focus on the security and resiliency of the system architecture including software, hardware, and other components. Robust software engineering practices contribute to the foundation of a resilient system so that the system "can take a hit to a critical component and recover in a known, bounded, and generally acceptable period of time". Software resiliency must be a priority and addressed early in the life cycle development to contribute a secure and dependable space system. Those who develop, implement, and operate software intensive space systems must determine the factors and systems engineering practices to address when investing in software resiliency. This dissertation offers methodical approaches for improving space system resiliency through software architecture design, system engineering, increased software security, thereby reducing the risk of latent software defects and vulnerabilities. By providing greater attention to the early life cycle phases of development, we can alter the engineering process to help detect, eliminate, and avoid vulnerabilities before space systems are delivered. To achieve this objective, this dissertation will identify knowledge, techniques, and tools that engineers and managers can utilize to help them recognize how vulnerabilities are produced and discovered so that they can learn to circumvent them in future efforts. We conducted a systematic review of existing architectural practices, standards, security and coding practices, various threats, defects, and vulnerabilities that impact space systems from hundreds of relevant publications and interviews of subject matter experts. We expanded on the system-level body of knowledge for resiliency and identified a new software

Definition and means of maintaining the process vacuum liquid detection interlock systems portion of the PFP safety envelope

International Nuclear Information System (INIS)

LINTHO, J.E.

2003-01-01

The purpose of this document is to record the technical evaluation of the Technical Safety Requirements described in the Plutonium Finishing Plant (PFP) Safety Technical Requirements, HNF-SD-CP-OSR-010/Rev.1, Section 3.1.1, ''Criticality Prevention System.'' This document also defines the Safety Envelope (SE) for the liquid detection interlock system in the Process Vacuum System. The SE is derived FR-om information in the Plutonium Finishing Plant Final Safety Analysis Report (PFP FSAR), HNF-SD-CP-SAR-021, Rev 4, and the Criticality Safety Analysis Report (CSAR) for the 26-inch Hg Vacuum System, WHC-SD-SQA-CSA-20159, Rev 0-A. This document, with its appendices, provides the following: (1) The system functional requirements for determining system operability (Section 3). (2) Evaluations of equipment to determine the safety envelope boundary for the system (Section 4 list of SE boundary drawings). (3) A list of the safety envelope equipment (Appendix B). (4) Functional requirements for the individual safety envelope equipment, including appropriate set points and process parameters (Section 4). (5) A list of the operational and surveillance procedures necessary to operate and maintain the system equipment within the safety envelope (Sections 5 and 6 and Appendix A)

Comparative Study on the Cost of Building Public House Construction Using Red Brick and Interlock Brick Building Material in the City of Banda Aceh

Science.gov (United States)

Malahayati, Nurul; Hayati, Yulia; Nursaniah, Cut; Firsa, T.; Fachrurrazi; Munandar, Aris

2018-05-01

Red brick and interlocking brick are the building materials that are often used for wall installation work on houses construction. In the development of building materials technology and cost savings, interlocking brick can be alternative to replace red bricks. In Aceh Province, the use of interlocking bricks is less popular compared to other big cities in Indonesia. Interlocking brick is made from a mixture of clay, concrete sand and compacted cement and one of the environmentally friendly materials because it does not burn the process like red brick material. It is named interlocking brick because the installation method is locked together and it serves as a structural and partition wall of residential buildings. The aims of this study are to compare the cost of building a house in Banda Aceh City using red brick and interlock brick building materials. The data were obtained from interviews and questionnaires distributed to respondents who had built houses in Banda Aceh City. The results concluded that the house construction cost using interlock brick offer lower construction cost at comparable quality rather than using red brick.

The Diamond machine protection system

International Nuclear Information System (INIS)

Heron, M.T.; Lay, S.; Chernousko, Y.; Hamadyk, P.; Rotolo, N.

2012-01-01

The Diamond Light Source Machine Protection System (MPS) manages the hazards from high power photon beams and other hazards to ensure equipment protection on the booster synchrotron and storage ring. The system has a shutdown requirement, on a beam mis-steer of under 1 msec and has to manage in excess of a thousand interlocks. This is realised using a combination of bespoke hardware and programmable logic controllers. The MPS monitors a large number of interlock signals from diagnostics instrumentation, vacuum instrumentation, photon front ends and plant monitoring subsystems. Based on logic it can then remove the source of the energy to ensure protection of equipment. Depending on requirements, interlocks are managed on a Local or a Global basis. The Global system is structured as two layers, and supports fast- and slow-response-time interlock requirements. A Global MPS module takes the interlock permits for a given interlock circuit from each of the cells of the accelerator, and, subject to all interlocks being good, produces a permit to operate the source of energy: the RF amplifier for vessel protection and the PSU for magnet protection. The Local MPS module takes fast Interlock inputs from one cell of the Storage Ring or one quadrant of the Booster. Fast interlocks are those that must drop the beam in under 400 μsec (the maximum speed of the interlock) in the event of failure. EPIC provides the user interface to the MPS system

Board interlocking in Brazil: Director participation in multiple companies and its effect on the value of firms

Directory of Open Access Journals (Sweden)

Alexandre Di Miceli da Silveira

2007-12-01

Full Text Available This paper investigates the simultaneous participation of directors in different companies from 320 Brazilian listed firms in 2003 and 2005. We identify which firms are connected through a network of directors, which corporate characteristics contribute to this phenomenon, and if board interlocking influences firm value and operational performance. The results show that interlocking directorates are a common practice in Brazil. Besides, larger boards, more dispersed ownership structures, and larger firm size are factors associated with a high level of board interlocking. Moreover, we find that firm value is, on average, negatively impacted by higher levels of board interlocking, especially on firms with board of directors considered too busy (those in which a majority of directors hold three or more directorships or on firms where their CEO hold directorships in other companies. Besides being a pioneer work on this field in Latin America, the paper provides subsides for the preparation of good corporate governance practices from regulators regarding the effectiveness of multiple directorships and its consequences for corporate value.

Flight test of a resident backup software system

Science.gov (United States)

Deets, Dwain A.; Lock, Wilton P.; Megna, Vincent A.

1987-01-01

A new fault-tolerant system software concept employing the primary digital computers as host for the backup software portion has been implemented and flight tested in the F-8 digital fly-by-wire airplane. The system was implemented in such a way that essentially no transients occurred in transferring from primary to backup software. This was accomplished without a significant increase in the complexity of the backup software. The primary digital system was frame synchronized, which provided several advantages in implementing the resident backup software system. Since the time of the flight tests, two other flight vehicle programs have made a commitment to incorporate resident backup software similar in nature to the system described here.

Tools for Embedded Computing Systems Software

Science.gov (United States)

1978-01-01

A workshop was held to assess the state of tools for embedded systems software and to determine directions for tool development. A synopsis of the talk and the key figures of each workshop presentation, together with chairmen summaries, are presented. The presentations covered four major areas: (1) tools and the software environment (development and testing); (2) tools and software requirements, design, and specification; (3) tools and language processors; and (4) tools and verification and validation (analysis and testing). The utility and contribution of existing tools and research results for the development and testing of embedded computing systems software are described and assessed.

Software design for resilient computer systems

CERN Document Server

Schagaev, Igor

2016-01-01

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT. In the last part of this book, they introduce a simulator...

Bunker door interlock limit issues of K-130 cyclotron, VECC

International Nuclear Information System (INIS)

Srihari, K.; Ravishankar, R.; Mitra, M.S.; Mishra, S.K.; Bandyopadhyay, T.; Sarkar, P.K.

2011-01-01

The K-130 cyclotron is in operation at VECC, Kolkata. Recently modernization of the cyclotron has taken place. Central region modification has increased reasonable internal beam current. During the tuning of the projectiles, loss of beam is unavoidable and projectiles hitting different parts of the machine inside the vacuum chamber . These interactions produce prompt radiation comprising neutron and gamma. However machine bunker is not accessible during the operation of the machine. The induced activity produced because of interactions of the primary and secondary radiation a radiation hazardous environment during the shut down for the related maintenance work. Area radiation monitors placed at machine bunker room have the interlock with massive shield door of the bunker. Area radiation monitors are set to specified limiting value, lower than that will allow to open the shield door in normal condition. As, the internal beam current being increased and the probability of beam spread being more. Consequently generation of induced activity is also high leading to delay in machine bunker door opening because of the interlock settings. Radiation dose mapping after a long operation of the machine was done for the different strategic points (The locations mainly people access immediate after shut down). Different consequences and remedial measures being presented in paper to raise the dose rate limit level for the interlocks between the area radiation monitors with machine bunker door, keeping in mind of the regulatory requirements. Raising the limit of dose rate limiting value will minimize the waiting time to access the machine bunker which will increase the duty factor of the machine. (author)

Software engineering practices for control system reliability

International Nuclear Information System (INIS)

S. K. Schaffner; K. S White

1999-01-01

This paper will discuss software engineering practices used to improve Control System reliability. The authors begin with a brief discussion of the Software Engineering Institute's Capability Maturity Model (CMM) which is a framework for evaluating and improving key practices used to enhance software development and maintenance capabilities. The software engineering processes developed and used by the Controls Group at the Thomas Jefferson National Accelerator Facility (Jefferson Lab), using the Experimental Physics and Industrial Control System (EPICS) for accelerator control, are described. Examples are given of how their procedures have been used to minimized control system downtime and improve reliability. While their examples are primarily drawn from their experience with EPICS, these practices are equally applicable to any control system. Specific issues addressed include resource allocation, developing reliable software lifecycle processes and risk management

Software dependability in the Tandem GUARDIAN system

Science.gov (United States)

Lee, Inhwan; Iyer, Ravishankar K.

1995-01-01

Based on extensive field failure data for Tandem's GUARDIAN operating system this paper discusses evaluation of the dependability of operational software. Software faults considered are major defects that result in processor failures and invoke backup processes to take over. The paper categorizes the underlying causes of software failures and evaluates the effectiveness of the process pair technique in tolerating software faults. A model to describe the impact of software faults on the reliability of an overall system is proposed. The model is used to evaluate the significance of key factors that determine software dependability and to identify areas for improvement. An analysis of the data shows that about 77% of processor failures that are initially considered due to software are confirmed as software problems. The analysis shows that the use of process pairs to provide checkpointing and restart (originally intended for tolerating hardware faults) allows the system to tolerate about 75% of reported software faults that result in processor failures. The loose coupling between processors, which results in the backup execution (the processor state and the sequence of events) being different from the original execution, is a major reason for the measured software fault tolerance. Over two-thirds (72%) of measured software failures are recurrences of previously reported faults. Modeling, based on the data, shows that, in addition to reducing the number of software faults, software dependability can be enhanced by reducing the recurrence rate.

Honeywell Modular Automation System Computer Software Documentation

International Nuclear Information System (INIS)

STUBBS, A.M.

2000-01-01

The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP). This CSWD describes hardware and PFP developed software for control of stabilization furnaces. The Honeywell software can generate configuration reports for the developed control software. These reports are described in the following section and are attached as addendum's. This plan applies to PFP Engineering Manager, Thermal Stabilization Cognizant Engineers, and the Shift Technical Advisors responsible for the Honeywell MAS software/hardware and administration of the Honeywell System

Simulation software support (S3) system a software testing and debugging tool

International Nuclear Information System (INIS)

Burgess, D.C.; Mahjouri, F.S.

1990-01-01

The largest percentage of technical effort in the software development process is accounted for debugging and testing. It is not unusual for a software development organization to spend over 50% of the total project effort on testing. In the extreme, testing of human-rated software (e.g., nuclear reactor monitoring, training simulator) can cost three to five times as much as all other software engineering steps combined. The Simulation Software Support (S 3 ) System, developed by the Link-Miles Simulation Corporation is ideally suited for real-time simulation applications which involve a large database with models programmed in FORTRAN. This paper will focus on testing elements of the S 3 system. In this paper system support software utilities are provided which enable the loading and execution of modules in the development environment. These elements include the Linking/Loader (LLD) for dynamically linking program modules and loading them into memory and the interactive executive (IEXEC) for controlling the execution of the modules. Features of the Interactive Symbolic Debugger (SD) and the Real Time Executive (RTEXEC) to support the unit and integrated testing will be explored

Observation-Driven Configuration of Complex Software Systems

Science.gov (United States)

Sage, Aled

2010-06-01

The ever-increasing complexity of software systems makes them hard to comprehend, predict and tune due to emergent properties and non-deterministic behaviour. Complexity arises from the size of software systems and the wide variety of possible operating environments: the increasing choice of platforms and communication policies leads to ever more complex performance characteristics. In addition, software systems exhibit different behaviour under different workloads. Many software systems are designed to be configurable so that policies can be chosen to meet the needs of various stakeholders. For complex software systems it can be difficult to accurately predict the effects of a change and to know which configuration is most appropriate. This thesis demonstrates that it is useful to run automated experiments that measure a selection of system configurations. Experiments can find configurations that meet the stakeholders' needs, find interesting behavioural characteristics, and help produce predictive models of the system's behaviour. The design and use of ACT (Automated Configuration Tool) for running such experiments is described, in combination a number of search strategies for deciding on the configurations to measure. Design Of Experiments (DOE) is discussed, with emphasis on Taguchi Methods. These statistical methods have been used extensively in manufacturing, but have not previously been used for configuring software systems. The novel contribution here is an industrial case study, applying the combination of ACT and Taguchi Methods to DC-Directory, a product from Data Connection Ltd (DCL). The case study investigated the applicability of Taguchi Methods for configuring complex software systems. Taguchi Methods were found to be useful for modelling and configuring DC- Directory, making them a valuable addition to the techniques available to system administrators and developers.

Board and auditor interlocks and voluntary disclosure in annual reports

NARCIS (Netherlands)

Braam, G.J.M.; Borghans, L.

2014-01-01

Purpose – The purpose of this study is to explore whether interlock ties between the board of directors and the external auditors facilitate the cross-firm diffusion of voluntary disclosures in annual reports. Design/methodology/approach – Using a sample of 149 non-financial companies publicly

14 CFR 417.123 - Computing systems and software.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Computing systems and software. 417.123... systems and software. (a) A launch operator must document a system safety process that identifies the... systems and software. (b) A launch operator must identify all safety-critical functions associated with...

Breath Alcohol Ignition Interlock Devices : Policy and Implementing Implications [Mobile .MP4 (480x320/29.97fps/13.9MB)

Science.gov (United States)

2011-01-01

The goal of this project is to perform a systematic review of breath alcohol ignition interlock devices (BAIID or IID) to understand how other states have integrated such systems into administrative and judicial practice and to make recommendations f...

Breath Alcohol Ignition Interlock Devices : Policy and Implementing Implications [SD .MP4 (640x424/29.97fps/22.6MB)

Science.gov (United States)

2011-01-01

The goal of this project is to perform a systematic review of breath alcohol ignition interlock devices (BAIID or IID) to understand how other states have integrated such systems into administrative and judicial practice and to make recommendations f...

Resilience Engineering in Critical Long Term Aerospace Software Systems: A New Approach to Spacecraft Software Safety

Science.gov (United States)

Dulo, D. A.

Safety critical software systems permeate spacecraft, and in a long term venture like a starship would be pervasive in every system of the spacecraft. Yet software failure today continues to plague both the systems and the organizations that develop them resulting in the loss of life, time, money, and valuable system platforms. A starship cannot afford this type of software failure in long journeys away from home. A single software failure could have catastrophic results for the spaceship and the crew onboard. This paper will offer a new approach to developing safe reliable software systems through focusing not on the traditional safety/reliability engineering paradigms but rather by focusing on a new paradigm: Resilience and Failure Obviation Engineering. The foremost objective of this approach is the obviation of failure, coupled with the ability of a software system to prevent or adapt to complex changing conditions in real time as a safety valve should failure occur to ensure safe system continuity. Through this approach, safety is ensured through foresight to anticipate failure and to adapt to risk in real time before failure occurs. In a starship, this type of software engineering is vital. Through software developed in a resilient manner, a starship would have reduced or eliminated software failure, and would have the ability to rapidly adapt should a software system become unstable or unsafe. As a result, long term software safety, reliability, and resilience would be present for a successful long term starship mission.

Space Telescope Pointing Control System software

Science.gov (United States)

Dougherty, H.; Rodoni, C.; Rossini, R.; Tompetrini, K.; Nakashima, A.; Bradley, A.

1982-01-01

The Space Telescope Pointing Control System software is in the advanced development stage, having been tested on both the airbearing and the static simulator. The overall structure of the software is discussed, along with timing and sizing evaluations. The interaction between the controls analysts and software designer is described.

A DUAL NETWORK MODEL OF INTERLOCKING DIRECTORATES

Directory of Open Access Journals (Sweden)

Humphry Hung

2003-01-01

Full Text Available The article proposes an integrative framework for the study of interlocking directorates by using an approach that encompasses the concepts of multiple networks and resource endowment. This serves to integrate the traditional views of interorganizational linkages and intra-class cohesion. Through appropriate strategic analysis of relevant resource endowment of internal environment and external networks of organizations and corporate elites, this article argues that the selection of directors, if used effectively, can be adopted as a strategic device to enhance the corporation's overall performance.

A measurement system for large, complex software programs

Science.gov (United States)

Rone, Kyle Y.; Olson, Kitty M.; Davis, Nathan E.

1994-01-01

This paper describes measurement systems required to forecast, measure, and control activities for large, complex software development and support programs. Initial software cost and quality analysis provides the foundation for meaningful management decisions as a project evolves. In modeling the cost and quality of software systems, the relationship between the functionality, quality, cost, and schedule of the product must be considered. This explicit relationship is dictated by the criticality of the software being developed. This balance between cost and quality is a viable software engineering trade-off throughout the life cycle. Therefore, the ability to accurately estimate the cost and quality of software systems is essential to providing reliable software on time and within budget. Software cost models relate the product error rate to the percent of the project labor that is required for independent verification and validation. The criticality of the software determines which cost model is used to estimate the labor required to develop the software. Software quality models yield an expected error discovery rate based on the software size, criticality, software development environment, and the level of competence of the project and developers with respect to the processes being employed.

Software Engineering Issues for Cyber-Physical Systems

DEFF Research Database (Denmark)

Al-Jaroodi, Jameela; Mohamed, Nader; Jawhar, Imad

2016-01-01

step; however, designing and implementing the right software to integrate and use them effectively is essential. The software facilitates better interfaces, more control and adds smart services, high flexibility and many other added values and features to the CPS. However, software development for CPS......Cyber-Physical Systems (CPS) provide many smart features for enhancing physical processes. These systems are designed with a set of distributed hardware, software, and network components that are embedded in physical systems and environments or attached to humans. Together they function seamlessly...... to offer specific functionalities or features that help enhance human lives, operations or environments. While different CPS components play important roles in a successful CPS development, the software plays the most important role among them. Acquiring and using high quality CPS components is the first...

Outcomes in closed reamed interlocking nail in fractures of shaft of femur

International Nuclear Information System (INIS)

Mohammad, T.; Sawati, A.; Ahmed, A.

2015-01-01

Femoral shaft fracture is one of the common fractures seen in accident and emergency department of our hospital. Violent forces are required to break this and strongest of human bones. There are various treatment modalities for femoral shaft fractures in adults like traction, brace, platting, intramedullary nail (IMN), external fixators and inter locking nails. The study was done with an objective to evaluate the results of closed reamed interlocking nail in fractures of shaft of femur. Methods: A prospective study of 114 cases of femoral shaft fractures was carried out at orthopaedic unit of Ayub Teaching Hospital Abbottabad during 1 year. All these cases were treated with statically locked nails under spinal or general anaesthesia. These cases were followed up for up to one year and Results of the interlocking nail were observed in terms of union and complications. Results: Out of 114 patients, 95 underwent union in 90-150 days with a mean of 110.68 days. Ten patients had dynamization within six weeks because of obvious fracture gap in radiograph. There were 3 patients who had non-union, and 6 patients had delayed union which was treated with dynamization. Conclusion: Close reamed interlocking intramedullary nail in femoral shaft fractures is the treatment of choice. Patient rehabilitation is early, hospitalization is short, and fracture healing response is good. (author)

Interaction between systems and software engineering in safety-critical systems

International Nuclear Information System (INIS)

Knight, J.

1994-01-01

There are three areas of concern: when is software to be considered safe; what, exactly, is the role of the software engineer; and how do systems, or sometimes applications, engineers and software engineers interact with each other. The author presents his perspective on these questions which he feels differ from those of many in the field. He argues for a clear definition of safety in the software arena, so the engineer knows what he is engineering toward. Software must be viewed as part of the entire system, since it does not function on its own, or isolation. He argues for the establishment of clear specifications in this area

14 CFR 415.123 - Computing systems and software.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Computing systems and software. 415.123... Launch Vehicle From a Non-Federal Launch Site § 415.123 Computing systems and software. (a) An applicant's safety review document must describe all computing systems and software that perform a safety...

The software product assurance metrics study: JPL's software systems quality and productivity

Science.gov (United States)

Bush, Marilyn W.

1989-01-01

The findings are reported of the Jet Propulsion Laboratory (JPL)/Software Product Assurance (SPA) Metrics Study, conducted as part of a larger JPL effort to improve software quality and productivity. Until recently, no comprehensive data had been assembled on how JPL manages and develops software-intensive systems. The first objective was to collect data on software development from as many projects and for as many years as possible. Results from five projects are discussed. These results reflect 15 years of JPL software development, representing over 100 data points (systems and subsystems), over a third of a billion dollars, over four million lines of code and 28,000 person months. Analysis of this data provides a benchmark for gauging the effectiveness of past, present and future software development work. In addition, the study is meant to encourage projects to record existing metrics data and to gather future data. The SPA long term goal is to integrate the collection of historical data and ongoing project data with future project estimations.

The Layer of Kevlar Angle-interlock Woven Fabric Effect on the Tensile Properties of Composite Materials

Science.gov (United States)

Xie, Wan-Chen; Guo, Xu-Yi; Yan, Tao; Zhang, Shang-Yong

2017-09-01

This article is based on the structure of three-dimensional angle-interlock longitudinal.The 3-layer, 5-layer, 7-layer and 9-layer of angle-interlock 3D fabrics are woven on sample weaving machine respectively with the 1500D Kevlar fiber twist filament produced by United States DuPont. At the same time, Kevlar plain weave fabric is woven, and three, five, seven and nine layers’ fabric are to be compared. In the process of VARTM composite technology, epoxy resin is matrix material, acetone is diluent, triethylene tetramine is curing agent and the five different fabrics are the reinforced materials respectively. Finally, eight different three-dimensional woven fabric composites were prepared. In this paper, the tensile properties of eight kinds of three-dimensional woven fabric composites were tested respectively.Finally, it is concluded that the five-layer angle-interlock woven fabric prepared by Kevlar fiber shows the best tensile property.

Data systems and computer science: Software Engineering Program

Science.gov (United States)

Zygielbaum, Arthur I.

1991-01-01

An external review of the Integrated Technology Plan for the Civil Space Program is presented. This review is specifically concerned with the Software Engineering Program. The goals of the Software Engineering Program are as follows: (1) improve NASA's ability to manage development, operation, and maintenance of complex software systems; (2) decrease NASA's cost and risk in engineering complex software systems; and (3) provide technology to assure safety and reliability of software in mission critical applications.

A NEW EXHAUST VENTILATION SYSTEM DESIGN SOFTWARE

Directory of Open Access Journals (Sweden)

H. Asilian Mahabady

2007-09-01

Full Text Available A Microsoft Windows based ventilation software package is developed to reduce time-consuming and boring procedure of exhaust ventilation system design. This program Assure accurate and reliable air pollution control related calculations. Herein, package is tentatively named Exhaust Ventilation Design Software which is developed in VB6 programming environment. Most important features of Exhaust Ventilation Design Software that are ignored in formerly developed packages are Collector design and fan dimension data calculations. Automatic system balance is another feature of this package. Exhaust Ventilation Design Software algorithm for design is based on two methods: Balance by design (Static pressure balance and design by Blast gate. The most important section of software is a spreadsheet that is designed based on American Conference of Governmental Industrial Hygienists calculation sheets. Exhaust Ventilation Design Software is developed so that engineers familiar with American Conference of Governmental Industrial Hygienists datasheet can easily employ it for ventilation systems design. Other sections include Collector design section (settling chamber, cyclone, and packed tower, fan geometry and dimension data section, a unit converter section (that helps engineers to deal with units, a hood design section and a Persian HTML help. Psychometric correction is also considered in Exhaust Ventilation Design Software. In Exhaust Ventilation Design Software design process, efforts are focused on improving GUI (graphical user interface and use of programming standards in software design. Reliability of software has been evaluated and results show acceptable accuracy.

Nuclear Material Accounting and Reporting Software for India

International Nuclear Information System (INIS)

Sankaran Nair, P.; Gangotra, S.; Chebolu, S.V.; Karanam, R.

2015-01-01

India has an item specific Safeguards Agreement, INFCIRC/754 with the IAEA and a nuclear material accounting system which generates the monthly reports for the Agency promptly. Subsequent to entry into force of subsidiary arrangements to INFCIRC/754 and as a part of implementation of new reporting Structure, India is developing new software to cater to its NUMAC reporting requirement. This paper gives the details of the software wherein the requirement of reporting for each of its facility to the Nuclear Controls & Planning Wing (NCPW) and the State level report to IAEA. The software is being developed on Linux (Ubuntu) OS, Mysql database and PHP. All the components are based on open source software and is developed as a two module system. The first module is for facility and the second one is for State level reports. The application has multi-level security for both the modules. Additionally, the facility level module is hardware interlocked. The facility reporter module generates a pdf file for the facility authority to sign, authenticate and hard copy filing. It can generate another xml file with an encryption, which can be sent to the State authority. In the State level module, the State authority generates reports for the Agency from xml file so received (after decryption and verification with the facility after receiving the signed hard copy) and also appends to its national database with all the information. The National database has all the information whereas the facility database has local information. The State module, in turn generates a pdf file, authenticate the same with signature of the authorized signatory (either in hardcopy form or in electronic form with PGP encryption as required by IAEA) and sends the same to the Agency. All the necessary security precautions to protect the entire NUMAC and safeguards information. (author)

Software qualification for digital safety system in KNICS project

International Nuclear Information System (INIS)

Kwon, Kee-Choon; Lee, Dong-Young; Choi, Jong-Gyun

2012-01-01

In order to achieve technical self-reliance in the area of nuclear instrumentation and control, the Korea Nuclear Instrumentation and Control System (KNICS) project had been running for seven years from 2001. The safety-grade Programmable Logic Controller (PLC) and the digital safety system were developed by KNICS project. All the software of the PLC and digital safety system were developed and verified following the software development life cycle Verification and Validation (V and V) procedure. The main activities of the V and V process are preparation of software planning documentations, verification of the Software Requirement Specification (SRS), Software Design Specification (SDS) and codes, and a testing of the software components, the integrated software, and the integrated system. In addition, a software safety analysis and a software configuration management are included in the activities. For the software safety analysis at the SRS and SDS phases, the software Hazard Operability (HAZOP) was performed and then the software fault tree analysis was applied. The software fault tree analysis was applied to a part of software module with some critical defects identified by the software HAZOP in SDS phase. The software configuration management was performed using the in-house tool developed in the KNICS project. (author)

A fault-tolerant software strategy for digital systems

Science.gov (United States)

Hitt, E. F.; Webb, J. J.

1984-01-01

Techniques developed for producing fault-tolerant software are described. Tolerance is required because of the impossibility of defining fault-free software. Faults are caused by humans and can appear anywhere in the software life cycle. Tolerance is effected through error detection, damage assessment, recovery, and fault treatment, followed by return of the system to service. Multiversion software comprises two or more versions of the software yielding solutions which are examined by a decision algorithm. Errors can also be detected by extrapolation from previous results or by the acceptability of results. Violations of timing specifications can reveal errors, or the system can roll back to an error-free state when a defect is detected. The software, when used in flight control systems, must not impinge on time-critical responses. Efforts are still needed to reduce the costs of developing the fault-tolerant systems.

Fracture Union in Closed Interlocking Nail in Femoral Fracture

Directory of Open Access Journals (Sweden)

R L Sahu

2010-09-01

Full Text Available INTRODUCTION: Fractures shaft femur is a major cause of morbidity and mortality in patients with lower extremity injuries. The objective of this study was to find out the outcome of Interlocking nail in fracture femur. METHODS: This study was conducted in the Department of Orthopaedic surgery in M. M. Medical College from July 2006 to November 2008. Seventy eight patients were recruited from Emergency and out patient department having closed fracture of femoral shaft. All patients were operated under general or spinal anesthesia. All patients were followed for nine months. RESULTS: Out of seventy eight patients, sixty nine patients underwent union in 90 to 150 days with a mean of 110.68 days. Touch down weight bearing was started on 2nd post-operative day. Complications found in four patients who had non-union, and five patients had delayed union which was treated with dynamization and bone graft. The results were excellent in 88.46% and good in 6.41% patients. CONCLUSIONS: We concluded that this technique is advantageous because of early mobilization (early weight bearing, less complication with good results and is economical. Keywords: close reamed interlocking nail, dynamization, femoral shaft fractures, union

Expert System Software Assistant for Payload Operations

Science.gov (United States)

Rogers, Mark N.

1997-01-01

The broad objective of this expert system software based application was to demonstrate the enhancements and cost savings that can be achieved through expert system software utilization in a spacecraft ground control center. Spacelab provided a valuable proving ground for this advanced software technology; a technology that will be exploited and expanded for future ISS operations. Our specific focus was on demonstrating payload cadre command and control efficiency improvements through the use of "smart" software which monitors flight telemetry, provides enhanced schematic-based data visualization, and performs advanced engineering data analysis.

Efficacy and Safety of Interlocked Intramedullary Nailing for Open Fracture Shaft of Tibia

International Nuclear Information System (INIS)

Ahmad, N.; Awan, A. S.; Sultan, S.; Saifullah, K.; Afridi, S. A.; Afridi, S. K.; Lodhi, F. S.

2016-01-01

Background: Due to increasing population and changing human habits the number of accidents and high energy trauma is rising. Management of open fracture tibia is a complex problem and is a challenge for both orthopaedic and plastic surgeons. The study was carried out to ascertain the efficacy and safety of interlocked intra-medullary nailing for open shaft tibial fractures in patients presenting at or after 24 hr of injury. Methods: In this descriptive case series, over a period of 6 moths, 163 consecutive cases of open fracture of tibial shaft were reviewed in terms of clinical profile, time of presentation, and gender distribution. Results: In this study mean age was 30±0.02 years. Males comprised 85 percent of study population while 15 percent were females. Gustilo-I type fracture and Gustilo-II type fracture was diagnosed in 90 percent and 10 percent patients respectively. Thirty three percent patients had wound infection while fracture union was found in 15 percent cases. Moreover interlocked intramedullary nailing for open fracture shaft of tibia was safe in 80 percent patients while this procedure was effective in 85 percent. Conclusion: Un-reamed, interlocked intra-medullary nailing may be considered as a suitable option for treatment of open fractures of tibia. (author)

Trend Monitoring System (TMS) graphics software

Science.gov (United States)

Brown, J. S.

1979-01-01

A prototype bus communications systems, which is being used to support the Trend Monitoring System (TMS) and to evaluate the bus concept is considered. A set of FORTRAN-callable graphics subroutines for the host MODCOMP comuter, and an approach to splitting graphics work between the host and the system's intelligent graphics terminals are described. The graphics software in the MODCOMP and the operating software package written for the graphics terminals are included.

RT-Syn: A real-time software system generator

Science.gov (United States)

Setliff, Dorothy E.

1992-01-01

This paper presents research into providing highly reusable and maintainable components by using automatic software synthesis techniques. This proposal uses domain knowledge combined with automatic software synthesis techniques to engineer large-scale mission-critical real-time software. The hypothesis centers on a software synthesis architecture that specifically incorporates application-specific (in this case real-time) knowledge. This architecture synthesizes complex system software to meet a behavioral specification and external interaction design constraints. Some examples of these external constraints are communication protocols, precisions, timing, and space limitations. The incorporation of application-specific knowledge facilitates the generation of mathematical software metrics which are used to narrow the design space, thereby making software synthesis tractable. Success has the potential to dramatically reduce mission-critical system life-cycle costs not only by reducing development time, but more importantly facilitating maintenance, modifications, and extensions of complex mission-critical software systems, which are currently dominating life cycle costs.

Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems

Science.gov (United States)

Lutz, Robyn R.

1993-01-01

This paper analyzes the root causes of safety-related software errors in safety-critical, embedded systems. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than non- safety-related software errors. Safety-related software errors are shown to arise most commonly from (1) discrepancies between the documented requirements specifications and the requirements needed for correct functioning of the system and (2) misunderstandings of the software's interface with the rest of the system. The paper uses these results to identify methods by which requirements errors can be prevented. The goal is to reduce safety-related software errors and to enhance the safety of complex, embedded systems.

Modernization of tank floor scanning system (TAFLOSS) software

International Nuclear Information System (INIS)

Mohd Fitri Abdul Rahman; Jaafar Abdullah; Susan Maria Sipaun

2002-01-01

Tank Floor Scanning System (TAFLOSS) is a portable nucleonic device based on the scattering and moderation phenomena of neutrons. TAFLOSS, which was developed by MINT, can precisely and non-destructively measure the gap and hydrogen content in the foundation of a gigantic industrial tank in a practical and cost-effective manner. In recording and analysing measured data, three different computer software were used. In analysing the initial data, a Disk Operating System (DOS) based software called MesTank 3.0 have been developed. The system also used commercial software such as Table Curve 2D and SURFER for graphics purposes. Table Curve 2D was used to plot and evaluate curve fitting, whereas SURFER software used to draw contours. It is not user friendly and time consuming to switch from a software to another software for different tasks of this system. Therefore, the main objective of the project is to develop new user-friendly software that combined the old and commercial software into a single package. The computer programming language that was used to develop the software is Microsoft Visual C++ ver. 6.0. The process of developing this software involved complex mathematical calculation, curve fitting and contour plot. This paper describes the initial development of a computer programme for analysing the initial data and plotting exponential curve fitting. (Author)

Packaging of control system software

International Nuclear Information System (INIS)

Zagar, K.; Kobal, M.; Saje, N.; Zagar, A.; Sabjan, R.; Di Maio, F.; Stepanov, D.

2012-01-01

Control system software consists of several parts - the core of the control system, drivers for integration of devices, configuration for user interfaces, alarm system, etc. Once the software is developed and configured, it must be installed to computers where it runs. Usually, it is installed on an operating system whose services it needs, and also in some cases dynamically links with the libraries it provides. Operating system can be quite complex itself - for example, a typical Linux distribution consists of several thousand packages. To manage this complexity, we have decided to rely on Red Hat Package Management system (RPM) to package control system software, and also ensure it is properly installed (i.e., that dependencies are also installed, and that scripts are run after installation if any additional actions need to be performed). As dozens of RPM packages need to be prepared, we are reducing the amount of effort and improving consistency between packages through a Maven-based infrastructure that assists in packaging (e.g., automated generation of RPM SPEC files, including automated identification of dependencies). So far, we have used it to package EPICS, Control System Studio (CSS) and several device drivers. We perform extensive testing on Red Hat Enterprise Linux 5.5, but we have also verified that packaging works on CentOS and Scientific Linux. In this article, we describe in greater detail the systematic system of packaging we are using, and its particular application for the ITER CODAC Core System. (authors)

SWEPP Gamma-Ray Spectrometer System software design description

International Nuclear Information System (INIS)

Femec, D.A.; Killian, E.W.

1994-08-01

To assist in the characterization of the radiological contents of contract-handled waste containers at the Stored Waste Examination Pilot Plant (SWEPP), the SWEPP Gamma-Ray Spectrometer (SGRS) System has been developed by the Radiation Measurements and Development Unit of the Idaho National Engineering Laboratory. The SGRS system software controls turntable and detector system activities. In addition to determining the concentrations of gamma-ray-emitting radionuclides, this software also calculates attenuation-corrected isotopic mass ratios of-specific interest. This document describes the software design for the data acquisition and analysis software associated with the SGRS system

SWEPP Gamma-Ray Spectrometer System software design description

Energy Technology Data Exchange (ETDEWEB)

Femec, D.A.; Killian, E.W.

1994-08-01

To assist in the characterization of the radiological contents of contract-handled waste containers at the Stored Waste Examination Pilot Plant (SWEPP), the SWEPP Gamma-Ray Spectrometer (SGRS) System has been developed by the Radiation Measurements and Development Unit of the Idaho National Engineering Laboratory. The SGRS system software controls turntable and detector system activities. In addition to determining the concentrations of gamma-ray-emitting radionuclides, this software also calculates attenuation-corrected isotopic mass ratios of-specific interest. This document describes the software design for the data acquisition and analysis software associated with the SGRS system.

High Confidence Software and Systems Research Needs

Data.gov (United States)

Networking and Information Technology Research and Development, Executive Office of the President — This White Paper presents a survey of high confidence software and systems research needs. It has been prepared by the High Confidence Software and Systems...

AVNG System Software-Attribute Verification System with Information Barriers for Mass Isotopic Measurements

International Nuclear Information System (INIS)

Elmont, T.H.; Langner, Diana C.; MacArthur, D.W.; Mayo, D.R.; Smith, M.K.; Modenov, A.

2005-01-01

This report describes the software development for the plutonium attribute verification system - AVNG. A brief synopsis of the technical solution for the measurement system is presented. The main tasks for the software development that is underway are formulated. The development tasks are shown in software structural flowcharts, measurement system state diagram and a description of the software. The current status of the AVNG software development is elucidated.

Diversity requirements for safety critical software-based automation systems

International Nuclear Information System (INIS)

Korhonen, J.; Pulkkinen, U.; Haapanen, P.

1998-03-01

System vendors nowadays propose software-based systems even for the most critical safety functions in nuclear power plants. Due to the nature and mechanisms of influence of software faults new methods are needed for the safety and reliability evaluation of these systems. In the research project 'Programmable automation systems in nuclear power plants (OHA)' various safety assessment methods and tools for software based systems are developed and evaluated. This report first discusses the (common cause) failure mechanisms in software-based systems, then defines fault-tolerant system architectures to avoid common cause failures, then studies the various alternatives to apply diversity and their influence on system reliability. Finally, a method for the assessment of diversity is described. Other recently published reports in OHA-report series handles the statistical reliability assessment of software based (STUK-YTO-TR 119), usage models in reliability assessment of software-based systems (STUK-YTO-TR 128) and handling of programmable automation in plant PSA-studies (STUK-YTO-TR 129)

D0 Central Tracking Solenoid Energization, Controls, Interlocks and Quench Protection Initial Validation Procedures

International Nuclear Information System (INIS)

Jaskierny, W.; Hance, R.

1998-01-01

This note presents the inspection and tests to be performed on the DZERO solenoid energization, controls, interlocks and quench protection system before it is energized for the first time. This test is to be performed with a 5000A jumper at the end of the bus instead of the solenoid. This system is based in DZERO room 511. A copy of this note shall be annotated, signed and dated by the person coordinating the procedure; and filed with the system maintenance records. Annotations shall include comments about any aspect of the procedure that is abnormal or unsuccessful. The following inspections and tests shall be performed by persons knowledgeable about the system. Each individual test step should be reviewed and understood before proceeding with that step.

[Clinical application of blocking screws and rooting technique in the treatment of distal tibial fracture with interlocking intramedullary nail].

Science.gov (United States)

Zhu, Hai-Bing; Wu, Li-Guo; Fang, Zhi-Song; Luo, Cong-Feng; Wang, Qing-Feng; Ma, Yi-Ping; Gao, Hong; Fu, Guo-Hai; Hu, Cheng-Ting

2012-07-01

To introduce the clinical method of blocking screws and rooting technique in the treatment of distal tibial fracture with interlocking intramedullary nails. From June 2006 to March 2011, 26 patients with distal tibial fracture were treated with interlocking intramedullary nails using blocking screws and rooting technique, included 18 males and 8 females with an average age of 46.2 years old ranging from 24 to 64 years. According to AO classification: 10 cases of type A1, 4 cases of type A2, 8 cases of type B1, 4 cases of type B2. The average distance of the fractures end to the ankle joint was 85 mm ranging from 55 to 125 mm, the mean time between injured and operation was 4.5 days. The patients were evaluated with pain, range of motion, walking. All cases were followed-up for 6 to 22 months (averaged 15 months). According to Iowa ankle joint grading system,the score was improved from preoperative (66.8 +/- 8.2) to postoperative (94.6 +/- 4.8). All fractures had united, and got satisfactory reduction and stable fixation with no complications had happen such as breakage of screw. Fixation with interlocking intramedullary nail using blocking screws and rooting technique in treating distal tibial fracture, is a safe and effective technique for the improvement of stability.

A control system verifier using automated reasoning software

International Nuclear Information System (INIS)

Smith, D.E.; Seeman, S.E.

1985-08-01

An on-line, automated reasoning software system for verifying the actions of other software or human control systems has been developed. It was demonstrated by verifying the actions of an automated procedure generation system. The verifier uses an interactive theorem prover as its inference engine with the rules included as logical axioms. Operation of the verifier is generally transparent except when the verifier disagrees with the actions of the monitored software. Testing with an automated procedure generation system demonstrates the successful application of automated reasoning software for verification of logical actions in a diverse, redundant manner. A higher degree of confidence may be placed in the verified actions of the combined system

Fuel rod fixing system

International Nuclear Information System (INIS)

Christiansen, D.W.

1982-01-01

This is a reusable system for fixing a nuclear reactor fuel rod to a support. An interlock cap is fixed to the fuel rod and an interlock strip is fixed to the support. The interlock cap has two opposed fingers, which are shaped so that a base is formed with a body part. The interlock strip has an extension, which is shaped so that this is rigidly fixed to the body part of the base. The fingers of the interlock cap are elastic in bending. To fix it, the interlock cap is pushed longitudinally on to the interlock strip, which causes the extension to bend the fingers open in order to engage with the body part of the base. To remove it, the procedure is reversed. (orig.) [de

Design of Data Acquisition and Control System for Indian Test Facility of Diagnostics Neutral Beam

International Nuclear Information System (INIS)

Soni, Jignesh; Tyagi, Himanshu; Yadav, Ratnakar; Rotti, Chandramouli; Bandyopadhyay, Mainak; Bansal, Gourab; Gahluat, Agrajit; Sudhir, Dass; Joshi, Jaydeep; Prasad, Rambilas; Pandya, Kaushal; Shah, Sejal; Parmar, Deepak; Chakraborty, Arun

2015-01-01

Highlights: • More than 900 channels Data Acquisition and Control System. • INTF DACS has been designed based on ITER-PCDH guidelines. • Separate Interlock and Safety system designed based on IEC 61508 standard. • Hardware selected from ITER slow controller and fast controller catalog. • Software framework based on ITER CODAC Core System and LabVIEW software. - Abstract: The Indian Test Facility (INTF) – a negative hydrogen ion based 100 kV, 60 A, 5 Hz modulated NBI system having 3 s ON/20 s OFF duty cycle. Prime objective of the facility is to install a full-scale test bed for the qualification of all Diagnostic Neutral Beam (DNB) parameters, prior to installation in ITER. The automated and safe operation of the INTF will require a reliable and rugged instrumentation and control system which provide control, data acquisition (DAQ), interlock and safety functions, referred as INTF-DACS. The INTF-DACS has been decided to be design based on the ITER CODAC architecture and ITER-PCDH guidelines since the technical understanding of CODAC technology gained from this will later be helpful in development of plant system I&C for DNB. For complete operation of the INTF, approximately 900 numbers of signals are required to be superintending by the DACS. In INTF conventional control loop time required is within the range of 5–100 ms and for DAQ except high-end diagnostics, required sampling rates in range of 5 sample per second (Sps) to 10 kSps; to fulfill these requirements hardware components have been selected from the ITER slow and fast controller catalogs. For high-end diagnostics required sampling rates up to 100 MSps normally in case of certain events, therefore event and burst based DAQ hardware has been finalized. Combined use of CODAC core software (CCS) and NI-LabVIEW has been finalized due to the fact that full required DAQ support is not available in present version of CCS. Interlock system for investment protection of facility and Safety system for

Design of Data Acquisition and Control System for Indian Test Facility of Diagnostics Neutral Beam

Energy Technology Data Exchange (ETDEWEB)

Soni, Jignesh, E-mail: jsoni@ipr.res.in [Institute for Plasma Research, Bhat, Gandhinagar 382 428, Gujarat (India); Tyagi, Himanshu; Yadav, Ratnakar; Rotti, Chandramouli; Bandyopadhyay, Mainak [ITER-India, Institute for Plasma Research, Gandhinagar 380 025, Gujarat (India); Bansal, Gourab; Gahluat, Agrajit [Institute for Plasma Research, Bhat, Gandhinagar 382 428, Gujarat (India); Sudhir, Dass; Joshi, Jaydeep; Prasad, Rambilas [ITER-India, Institute for Plasma Research, Gandhinagar 380 025, Gujarat (India); Pandya, Kaushal [Institute for Plasma Research, Bhat, Gandhinagar 382 428, Gujarat (India); Shah, Sejal; Parmar, Deepak [ITER-India, Institute for Plasma Research, Gandhinagar 380 025, Gujarat (India); Chakraborty, Arun [Institute for Plasma Research, Bhat, Gandhinagar 382 428, Gujarat (India)

2015-10-15

Highlights: • More than 900 channels Data Acquisition and Control System. • INTF DACS has been designed based on ITER-PCDH guidelines. • Separate Interlock and Safety system designed based on IEC 61508 standard. • Hardware selected from ITER slow controller and fast controller catalog. • Software framework based on ITER CODAC Core System and LabVIEW software. - Abstract: The Indian Test Facility (INTF) – a negative hydrogen ion based 100 kV, 60 A, 5 Hz modulated NBI system having 3 s ON/20 s OFF duty cycle. Prime objective of the facility is to install a full-scale test bed for the qualification of all Diagnostic Neutral Beam (DNB) parameters, prior to installation in ITER. The automated and safe operation of the INTF will require a reliable and rugged instrumentation and control system which provide control, data acquisition (DAQ), interlock and safety functions, referred as INTF-DACS. The INTF-DACS has been decided to be design based on the ITER CODAC architecture and ITER-PCDH guidelines since the technical understanding of CODAC technology gained from this will later be helpful in development of plant system I&C for DNB. For complete operation of the INTF, approximately 900 numbers of signals are required to be superintending by the DACS. In INTF conventional control loop time required is within the range of 5–100 ms and for DAQ except high-end diagnostics, required sampling rates in range of 5 sample per second (Sps) to 10 kSps; to fulfill these requirements hardware components have been selected from the ITER slow and fast controller catalogs. For high-end diagnostics required sampling rates up to 100 MSps normally in case of certain events, therefore event and burst based DAQ hardware has been finalized. Combined use of CODAC core software (CCS) and NI-LabVIEW has been finalized due to the fact that full required DAQ support is not available in present version of CCS. Interlock system for investment protection of facility and Safety system for

External jig in the placement of distal interlocking screws | Ikem ...

African Journals Online (AJOL)

Retrograde (52.2%) was the commonest surgical approach used for femur. The main indication for SIGN interlocking surgery was recent fracture 77.8%. Open reduction 97.8% was the commonest method of reduction used. The mean±SD bone union time was 3.58±0.56 months and range 3-5 months. Distal screw insertion ...

Software Build and Delivery Systems

Energy Technology Data Exchange (ETDEWEB)

Robey, Robert W. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2016-07-10

This presentation deals with the hierarchy of software build and delivery systems. One of the goals is to maximize the success rate of new users and developers when first trying your software. First impressions are important. Early successes are important. This also reduces critical documentation costs. This is a presentation focused on computer science and goes into detail about code documentation.

Modeling of Some Chaotic Systems with AnyLogic Software

Directory of Open Access Journals (Sweden)

Biljana Zlatanovska

2018-05-01

Full Text Available The chaotic systems are already known in the theory of chaos. In our paper will be analyzed the following chaotic systems: Rossler, Chua and Chen systems. All of them are systems of ordinary differential equations. By mathematical software Mathematica and MatLab, their graphical representation as continuous dynamical systems is already known. By computer simulations, via examples, the systems will be analyzed using AnyLogic software. We would like to present the way how ordinary differential equations are modeling with AnyLogic software, as one of the simplest software for use.

Architecting Fault-Tolerant Software Systems

NARCIS (Netherlands)

Sözer, Hasan

2009-01-01

The increasing size and complexity of software systems makes it hard to prevent or remove all possible faults. Faults that remain in the system can eventually lead to a system failure. Fault tolerance techniques are introduced for enabling systems to recover and continue operation when they are

Online visual inspection of self-piercing riveting to determine the quality of the mechanical interlock

International Nuclear Information System (INIS)

Johnson, P; Cullen, J D; Al-Shamma'a, A I; Shaw, A

2007-01-01

Self-piercing riveting (SPR) has become a significant joining technique for the automotive applications of aluminium sheets. Quality control in this locale has progressed at an altogether more leisurely rate than other areas of mechanical joining (e.g. spotweld) and is underdeveloped. Testing the quality mechanical interlock is often achieved by destructive testing, which results in material and time wastage. The solution is online monitoring of the self-piercing riveting process to provide non-destructive testing of the mechanical interlock. Introducing sensors into the process facilitates real time data acquisition, which can be used to determine the quality of the joint

The primary protection system software

International Nuclear Information System (INIS)

Tooley, P.A.

1992-01-01

This paper continues the detailed description of the Primary Protection System for Sizewell-B by providing an overview of design and implementation of the software, including the features of the design process which ensure that quality is delivered by the contractor. The Nuclear Electric software assessment activities are also described. The argument for the excellence of the software is made on the basis of a quality product delivered by the equipment supplier's design process, and the confirmation of this provided by the Nuclear Electric assessment process, which is as searching and complete an examination as is reasonably practicable to achieve. (author)

Survey of electronic safety systems in accelerator applications

International Nuclear Information System (INIS)

Mahoney, K.

1997-01-01

This paper presents the preliminary results and analysis of a comprehensive survey of the implementation of accelerator safety interlock systems from over 30 international labs. At the present time there is not a self consistent means to evaluate both the experiences and level of protection provided by electronic safety interlock systems. This research is intended to analyze the strength and weaknesses of several different types of interlock system implementation methodologies. Research, medical, and industrial accelerators are compared. Thomas Jefferson National Accelerator Facility (TJNAF) was one of the first large particle accelerators to implement a safety interlock system using programmable logic controllers. Since that time all of the major new U.S. accelerator construction projects plan to use some form of programmable electronics as part of a safety interlock system in some capacity

Compiling software for a hierarchical distributed processing system

Science.gov (United States)

Archer, Charles J; Blocksome, Michael A; Ratterman, Joseph D; Smith, Brian E

2013-12-31

Compiling software for a hierarchical distributed processing system including providing to one or more compiling nodes software to be compiled, wherein at least a portion of the software to be compiled is to be executed by one or more nodes; compiling, by the compiling node, the software; maintaining, by the compiling node, any compiled software to be executed on the compiling node; selecting, by the compiling node, one or more nodes in a next tier of the hierarchy of the distributed processing system in dependence upon whether any compiled software is for the selected node or the selected node's descendents; sending to the selected node only the compiled software to be executed by the selected node or selected node's descendent.

Software control and system configuration management: A systems-wide approach

Science.gov (United States)

Petersen, K. L.; Flores, C., Jr.

1984-01-01

A comprehensive software control and system configuration management process for flight-crucial digital control systems of advanced aircraft has been developed and refined to insure efficient flight system development and safe flight operations. Because of the highly complex interactions among the hardware, software, and system elements of state-of-the-art digital flight control system designs, a systems-wide approach to configuration control and management has been used. Specific procedures are implemented to govern discrepancy reporting and reconciliation, software and hardware change control, systems verification and validation testing, and formal documentation requirements. An active and knowledgeable configuration control board reviews and approves all flight system configuration modifications and revalidation tests. This flexible process has proved effective during the development and flight testing of several research aircraft and remotely piloted research vehicles with digital flight control systems that ranged from relatively simple to highly complex, integrated mechanizations.

Custom sectional impression trays with interlocking type handle for microstomia patients

Directory of Open Access Journals (Sweden)

Fernandes Aquaviva

2009-01-01

Full Text Available Making impressions in microstomia patients is often cumbersome. A modification of standard impression procedure is often necessary while treating such patients. This article describes the fabrication of a custom sectional impression tray with interlocking type of a handle for definitive impression procedures in a microstomia patient.

Operation and control of high power Gyrotrons for ECRH systems in SST-1 and Aditya

Energy Technology Data Exchange (ETDEWEB)

Shukla, B.K., E-mail: shukla@ipr.res.in; Bora, D.; Jha, R.; Patel, Jatin; Patel, Harshida; Babu, Rajan; Dhorajiya, Pragnesh; Dalakoti, Shefali; Purohit, Dharmesh

2016-11-15

Highlights: • Operation and control of high power Gyrotrons. • Data acquisition and control (DAQ) for Gyrotron system. • Ignitron based crowbar protection. • VME and PXI based systems. - Abstract: The Electron Cyclotron Resonance Heating (ECRH) system is an important heating system for the reliable start-up of tokamak. The 42 GHz and 82.6 GHz ECRH systems are used in tokamaks SST-1 and Aditya to carry out ECRH related experiments. The Gyrotrons are high power microwave tubes used as a source for ECRH systems. The Gyrotron is a delicate microwave tube, which deliver megawatt level power at very high voltage ∼40–50 kV with the current requirement ∼10 A–50 A. The Gyrotrons are associated with the subsystems like: High voltage power supplies (Beam voltage and anode voltage), dedicated crowbar system, magnet, filament and ion pump power supplies, cooling, interlocks and a dedicated data acquisition & control (DAC) system. There are two levels of interlocks used for the protection of Gyrotron: fast interlocks (arcing, beam over current, dI/dt, anode voltage and anode over current etc.) operate within 10 μs and slow interlocks (cooling, filament, silence of Gyrotron, ion pump and magnet currents) operate within 100 ms. Two Gyrotrons (42 GHz/500 kW/500 ms and 82.6 GHz/200 kW/1000 s) have been commissioned on dummy load for full parameters. The 42 GHz ECRH system has been integrated with SST-1 & Aditya tokamak and various experiments have been carried out related to ECRH assisted breakdown and start-up of tokamak at fundamental and second harmonic. These Gyrotrons are operated with VME based data acquisition and control (DAC) system. The DAC system is capable to acquire 64 digital and 32 analog signals. The system is used to monitor & acquire the data and also used for slow interlocks for the protection of Gyrotron. The data acquired from the system are stored online on VME system and after the shot stored in a file in binary format. The MDSPlus, a set of

MATLAB Software Versions and Licenses for the Peregrine System |

Science.gov (United States)

High-Performance Computing | NREL MATLAB Software Versions and Licenses for the Peregrine System MATLAB Software Versions and Licenses for the Peregrine System Learn about the MATLAB software Peregrine is R2017b. Licenses MATLAB is proprietary software. As such, users have access to a limited number

Automated software configuration in the MONSOON system

Science.gov (United States)

Daly, Philip N.; Buchholz, Nick C.; Moore, Peter C.

2004-09-01

MONSOON is the next generation OUV-IR controller project being developed at NOAO. The design is flexible, emphasizing code re-use, maintainability and scalability as key factors. The software needs to support widely divergent detector systems ranging from multi-chip mosaics (for LSST, QUOTA, ODI and NEWFIRM) down to large single or multi-detector laboratory development systems. In order for this flexibility to be effective and safe, the software must be able to configure itself to the requirements of the attached detector system at startup. The basic building block of all MONSOON systems is the PAN-DHE pair which make up a single data acquisition node. In this paper we discuss the software solutions used in the automatic PAN configuration system.

78 FR 26849 - Model Specifications for Breath Alcohol Ignition Interlock Devices (BAIIDs)

Science.gov (United States)

2013-05-08

... requirements, and asked whether the Model Specifications should limit sensor technology to alcohol-specific sensors (such as fuel cell technology based on electrochemical oxidation of alcohol) or other emerging... have demanded alcohol- specific sensor technology. [Interlocks that] are not alcohol-specific...

Design of a control system for the LECR3

International Nuclear Information System (INIS)

Zhou, Wen-Xiong; Wang, Yan-Yu; Zhou, De-Tai; Lin, Fu-Yuan; Luo, Jin-Fu; Yu, Yan-Juan; Feng, Yu-Cheng; Lu, Wang

2013-01-01

The Lanzhou Electron Cyclotron Resonance Ion Source No. 3 (LECR3) plays an important role in supplying many kinds of ion beams to the Heavy Ion Research Facility in Lanzhou (HIRFL). In this paper, we provide a detailed description of a new remote control system for the LECR3 that we designed and implemented. This system uses typical distribution control for both the LECR3 and the newly-built Lanzhou All Permanent Magnet ECR Ion Source No. 1 (LAPECR1). The entire project, including the construction of hardware and the software, was completed in September 2012. The hardware consists of an industry computer (IPC), an intranet composed of a switch, and various controllers with Ethernet access functions. The software is written in C++ and is used to control all of the respective equipment through the intranet to ensure that the useful information is stored in a database for later analysis. The entire system can efficiently acquire the necessary data from the respective equipment at a speed of 3 times per second, after which the data is stored in the database. The system can also complete the interlock protection and alarm process in one second. -- Highlights: • Many methods were used to reduce damage to the devices and the controllers. • An interlock function was incorporated for device protection. • A SQLite database was included to store important data. • A C++ program was used to solve network connection problems

The contribution of instrumentation and control software to system reliability

International Nuclear Information System (INIS)

Fryer, M.O.

1984-01-01

Advanced instrumentation and control systems are usually implemented using computers that monitor the instrumentation and issue commands to control elements. The control commands are based on instrument readings and software control logic. The reliability of the total system will be affected by the software design. When comparing software designs, an evaluation of how each design can contribute to the reliability of the system is desirable. Unfortunately, the science of reliability assessment of combined hardware and software systems is in its infancy. Reliability assessment of combined hardware/software systems is often based on over-simplified assumptions about software behavior. A new method of reliability assessment of combined software/hardware systems is presented. The method is based on a procedure called fault tree analysis which determines how component failures can contribute to system failure. Fault tree analysis is a well developed method for reliability assessment of hardware systems and produces quantitative estimates of failure probability based on component failure rates. It is shown how software control logic can be mapped into a fault tree that depicts both software and hardware contributions to system failure. The new method is important because it provides a way for quantitatively evaluating the reliability contribution of software designs. In many applications, this can help guide designers in producing safer and more reliable systems. An application to the nuclear power research industry is discussed

System support software for TSTA [Tritium Systems Test Assembly

International Nuclear Information System (INIS)

Claborn, G.W.; Mann, L.W.; Nielson, C.W.

1987-10-01

The fact that Tritium Systems Test Assembly (TSTA) is an experimental facility makes it impossible and undesirable to try to forecast the exact software requirements. Thus the software had to be written in a manner that would allow modifications without compromising the safety requirements imposed by the handling of tritium. This suggested a multi-level approach to the software. In this approach (much like the ISO network model) each level is isolated from the level below and above by cleanly defined interfaces. For example, the subsystem support level interfaces with the subsystem hardware through the software support level. Routines in the software support level provide operations like ''OPEN VALVE'' and CLOSE VALVE'' to the subsystem level. This isolates the subsystem level from the actual hardware. This is advantageous because changes can occur in any level without the need for propagating the change to any other level. The TSTA control system consists of the hardware level, the data conversion level, the operator interface level, and the subsystem process level. These levels are described

Systems and software quality the next step for industrialisation

CERN Document Server

Wieczorek, Martin; Bons, Heinz

2014-01-01

Software and systems quality is playing an increasingly important role in the growth of almost all - profit and non-profit - organisations. Quality is vital to the success of enterprises in their markets. Most small trade and repair businesses use software systems in their administration and marketing processes. Every doctor's surgery is managing its patients using software. Banking is no longer conceivable without software. Aircraft, trucks and cars use more and more software to handle their increasingly complex technical systems. Innovation, competition and cost pressure are always present i

A formal safety analysis for PLC software-based safety critical system using Z

International Nuclear Information System (INIS)

Koh, Jung Soo; Seong, Poong Hyun

1997-01-01

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC (Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formed safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system

System software of the CERN proton synchrotron control system

International Nuclear Information System (INIS)

Carpenter, B.E.; Cailliau, R.; Cuisinier, G.; Remmer, W.

1984-01-01

The PS complex consists of 10 different interconnected accelerators or storage rings, mainly controlled by the same distributed system of NORD-10 and ND-100 minicomputers. After a brief outline of the hardware, this report gives a detailed description of the system software, which is based on the SINTRAN III operating system. It describes the general layout of the software, the network, CAMAC access, programming languages, program development, and microprocessor support. It concludes with reviews of performance, documentation, organization and methods, and future prospects. (orig.)

A system for automatic evaluation of simulation software

Science.gov (United States)

Ryan, J. P.; Hodges, B. C.

1976-01-01

Within the field of computer software, simulation and verification are complementary processes. Simulation methods can be used to verify software by performing variable range analysis. More general verification procedures, such as those described in this paper, can be implicitly, viewed as attempts at modeling the end-product software. From software requirement methodology, each component of the verification system has some element of simulation to it. Conversely, general verification procedures can be used to analyze simulation software. A dynamic analyzer is described which can be used to obtain properly scaled variables for an analog simulation, which is first digitally simulated. In a similar way, it is thought that the other system components and indeed the whole system itself have the potential of being effectively used in a simulation environment.

The Systems Biology Research Tool: evolvable open-source software

OpenAIRE

Wright, J; Wagner, A

2008-01-01

Abstract Background Research in the field of systems biology requires software for a variety of purposes. Software must be used to store, retrieve, analyze, and sometimes even to collect the data obtained from system-level (often high-throughput) experiments. Software must also be used to implement mathematical models and algorithms required for simulation and theoretical predictions on the system-level. Results We introduce a free, easy-to-use, open-source, integrated software platform calle...

Towards a lessons learned system for critical software

International Nuclear Information System (INIS)

Andrade, J.; Ares, J.; Garcia, R.; Pazos, J.; Rodriguez, S.; Rodriguez-Paton, A.; Silva, A.

2007-01-01

Failure can be a major driver for the advance of any engineering discipline and Software Engineering is no exception. But failures are useful only if lessons are learned from them. In this article we aim to make a strong defence of, and set the requirements for, lessons learned systems for safety-critical software. We also present a prototype lessons learned system that includes many of the features discussed here. We emphasize that, apart from individual organizations, lessons learned systems should target industrial sectors and even the Software Engineering community. We would like to encourage the Software Engineering community to use this kind of systems as another tool in the toolbox, which complements or enhances other approaches like, for example, standards and checklists

Towards a lessons learned system for critical software

Energy Technology Data Exchange (ETDEWEB)

Andrade, J. [University of A Coruna. Campus de Elvina, s/n. 15071, A Coruna (Spain)]. E-mail: jag@udc.es; Ares, J. [University of A Coruna. Campus de Elvina, s/n. 15071, A Coruna (Spain)]. E-mail: juanar@udc.es; Garcia, R. [University of A Coruna. Campus de Elvina, s/n. 15071, A Coruna (Spain)]. E-mail: rafael@udc.es; Pazos, J. [Technical University of Madrid. Campus de Montegancedo, s/n. 28660, Boadilla del Monte, Madrid (Spain)]. E-mail: jpazos@fi.upm.es; Rodriguez, S. [University of A Coruna. Campus de Elvina, s/n. 15071, A Coruna (Spain)]. E-mail: santi@udc.es; Rodriguez-Paton, A. [Technical University of Madrid. Campus de Montegancedo, s/n. 28660, Boadilla del Monte, Madrid (Spain)]. E-mail: arpaton@fi.upm.es; Silva, A. [Technical University of Madrid. Campus de Montegancedo, s/n. 28660, Boadilla del Monte, Madrid (Spain)]. E-mail: asilva@fi.upm.es

2007-07-15

Failure can be a major driver for the advance of any engineering discipline and Software Engineering is no exception. But failures are useful only if lessons are learned from them. In this article we aim to make a strong defence of, and set the requirements for, lessons learned systems for safety-critical software. We also present a prototype lessons learned system that includes many of the features discussed here. We emphasize that, apart from individual organizations, lessons learned systems should target industrial sectors and even the Software Engineering community. We would like to encourage the Software Engineering community to use this kind of systems as another tool in the toolbox, which complements or enhances other approaches like, for example, standards and checklists.

The Systems Biology Research Tool: evolvable open-source software

Directory of Open Access Journals (Sweden)

Wright Jeremiah

2008-06-01

Full Text Available Abstract Background Research in the field of systems biology requires software for a variety of purposes. Software must be used to store, retrieve, analyze, and sometimes even to collect the data obtained from system-level (often high-throughput experiments. Software must also be used to implement mathematical models and algorithms required for simulation and theoretical predictions on the system-level. Results We introduce a free, easy-to-use, open-source, integrated software platform called the Systems Biology Research Tool (SBRT to facilitate the computational aspects of systems biology. The SBRT currently performs 35 methods for analyzing stoichiometric networks and 16 methods from fields such as graph theory, geometry, algebra, and combinatorics. New computational techniques can be added to the SBRT via process plug-ins, providing a high degree of evolvability and a unifying framework for software development in systems biology. Conclusion The Systems Biology Research Tool represents a technological advance for systems biology. This software can be used to make sophisticated computational techniques accessible to everyone (including those with no programming ability, to facilitate cooperation among researchers, and to expedite progress in the field of systems biology.

Software System for Vocal Rendering of Printed Documents

Directory of Open Access Journals (Sweden)

Marian DARDALA

2008-01-01

Full Text Available The objective of this paper is to present a software system architecture developed to render the printed documents in a vocal form. On the other hand, in the paper are described the software solutions that exist as software components and are necessary for documents processing as well as for multimedia device controlling used by the system. The usefulness of this system is for people with visual disabilities that can access the contents of documents without that they be printed in Braille system or to exist in an audio form.

Model-driven dependability assessment of software systems

CERN Document Server

Bernardi, Simona; Petriu, Dorina C

2013-01-01

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the t

Photovoltaic module and interlocked stack of photovoltaic modules

Science.gov (United States)

Wares, Brian S.

2014-09-02

One embodiment relates to an arrangement of photovoltaic modules configured for transportation. The arrangement includes a plurality of photovoltaic modules, each photovoltaic module including a frame. A plurality of individual male alignment features and a plurality of individual female alignment features are included on each frame. Adjacent photovoltaic modules are interlocked by multiple individual male alignment features on a first module of the adjacent photovoltaic modules fitting into and being surrounded by corresponding individual female alignment features on a second module of the adjacent photovoltaic modules. Other embodiments, features and aspects are also disclosed.

The Davros III supervisory control system

International Nuclear Information System (INIS)

Rice, P.

1996-01-01

Magnox Electric's Remote Operations Branch deploy a wide variety of remote inspection and maintenance tools into nuclear plant in order to perform a variety of tasks. In recent years much progress has been made on low-level control of individual manipulator axes, and a parallel need has emerged for a supervisory system to assist the operator in the control of the whole system. Some requirements are: 1) to improve operator control of systems; 2) to simplify software maintenance and version control; 3) to reduce the likelihood of damage to manipulators; 4) to assist with rehearsals and simulations. Davros III is a PC software system which has been developed over a number of years to address these requirements. In a single program capable of being configured for a wide variety of applications, it provides a technique for following pretaught routes, a comprehensive and fully configurable interlock system and several different facilities for simulation. (author)

The Davros III supervisory control system

International Nuclear Information System (INIS)

Rice, P.

1996-01-01

Magnox Electric's Remote Operations Bbranch deploy a wide variety of remote inspection and maintenance tools into nuclear plant in order to perform a variety of tasks. In recent years much progress has been made on low-level control of individual manipulator axes and a parallel need has emerged for a supervisory system to assist the operator in the control of the whole system. Some requirements are: 1, To improve operator control of systems. 2, To simplify software maintenance and version control. 3, To reduce the likelihood of damage to manipulators. 4, To assist with rehearsals and simulations. Davros III is a PC software system which has been developed over a number of years to address these requirements. In a single program capable of being configured for a wide variety of applications, it provides a technique for following pretaught routes, a comprehensive and fully configurable interlock system and several different facilities for simulation. (author)

Improving Software Systems By Flow Control Analysis

Directory of Open Access Journals (Sweden)

Piotr Poznanski

2012-01-01

Full Text Available Using agile methods during the implementation of the system that meets mission critical requirements can be a real challenge. The change in the system built of dozens or even hundreds of specialized devices with embedded software requires the cooperation of a large group of engineers. This article presents a solution that supports parallel work of groups of system analysts and software developers. Deployment of formal rules to the requirements written in natural language enables using formal analysis of artifacts being a bridge between software and system requirements. Formalism and textual form of requirements allowed the automatic generation of message flow graph for the (sub system, called the “big-picture-model”. Flow diagram analysis helped to avoid a large number of defects whose repair cost in extreme cases could undermine the legitimacy of agile methods in projects of this scale. Retrospectively, a reduction of technical debt was observed. Continuous analysis of the “big picture model” improves the control of the quality parameters of the software architecture. The article also tries to explain why the commercial platform based on UML modeling language may not be sufficient in projects of this complexity.

Cosimulation of embedded system using RTOS software simulator

Science.gov (United States)

Wang, Shihao; Duan, Zhigang; Liu, Mingye

2003-09-01

Embedded system design often employs co-simulation to verify system's function; one efficient verification tool of software is Instruction Set Simulator (ISS). As a full functional model of target CPU, ISS interprets instruction of embedded software step by step, which usually is time-consuming since it simulates at low-level. Hence ISS often becomes the bottleneck of co-simulation in a complicated system. In this paper, a new software verification tools, the RTOS software simulator (RSS) was presented. The mechanism of its operation was described in a full details. In RSS method, RTOS API is extended and hardware simulator driver is adopted to deal with data-exchange and synchronism between the two simulators.

Software development for a switch-based data acquisition system

Energy Technology Data Exchange (ETDEWEB)

Booth, A. (Superconducting Super Collider Lab., Dallas, TX (United States)); Black, D.; Walsh, D. (Fermi National Accelerator Lab., Batavia, IL (United States))

1991-12-01

We report on the software aspects of the development of a switch-based data acquisition system at Fermilab. This paper describes how, with the goal of providing an integrated systems engineering'' environment, several powerful software tools were put in place to facilitate extensive exploration of all aspects of the design. These tools include a simulation package, graphics package and an Expert System shell which have been integrated to provide an environment which encourages the close interaction of hardware and software engineers. This paper includes a description of the simulation, user interface, embedded software, remote procedure calls, and diagnostic software which together have enabled us to provide real-time control and monitoring of a working prototype switch-based data acquisition (DAQ) system.

A Configurable, Object-Oriented, Transportation System Software Framework

Energy Technology Data Exchange (ETDEWEB)

KELLY,SUZANNE M.; MYRE,JOHN W.; PRICE,MARK H.; RUSSELL,ERIC D.; SCOTT,DAN W.

2000-08-01

The Transportation Surety Center, 6300, has been conducting continuing research into and development of information systems for the Configurable Transportation Security and Information Management System (CTSS) project, an Object-Oriented Framework approach that uses Component-Based Software Development to facilitate rapid deployment of new systems while improving software cost containment, development reliability, compatibility, and extensibility. The direction has been to develop a Fleet Management System (FMS) framework using object-oriented technology. The goal for the current development is to provide a software and hardware environment that will demonstrate and support object-oriented development commonly in the FMS Central Command Center and Vehicle domains.

An Agent Based Software Approach towards Building Complex Systems

Directory of Open Access Journals (Sweden)

Latika Kharb

2015-08-01

Full Text Available Agent-oriented techniques represent an exciting new means of analyzing, designing and building complex software systems. They have the potential to significantly improve current practice in software engineering and to extend the range of applications that can feasibly be tackled. Yet, to date, there have been few serious attempts to cast agent systems as a software engineering paradigm. This paper seeks to rectify this omission. Specifically, points to be argued include:firstly, the conceptual apparatus of agent-oriented systems is well-suited to building software solutions for complex systems and secondly, agent-oriented approaches represent a genuine advance over the current state of the art for engineering complex systems. Following on from this view, the major issues raised by adopting an agentoriented approach to software engineering are highlighted and discussed in this paper.

Software on the Peregrine System | High-Performance Computing | NREL

Science.gov (United States)

on the Peregrine System Software on the Peregrine System NREL maintains a variety of applications environment modules for use on Peregrine. Applications View list of software applications by name and research area/discipline. Libraries View list of software libraries available for linking and loading

Ensuring system security through formal software evaluation

Energy Technology Data Exchange (ETDEWEB)

Howell, J A; Fuyat, C [Los Alamos National Lab., NM (United States); Elvy, M [Marble Associates, Boston, MA (United States)

1992-01-01

With the increasing use of computer systems and networks to process safeguards information in nuclear facilities, the issue of system and data integrity is receiving worldwide attention. Among the many considerations are validation that the software performs as intended and that the information is adequately protected. Such validations are often requested of the Safeguards Systems Group of the Los Alamos National Laboratory. This paper describes our methodology for performing these software evaluations.

78 FR 47015 - Software Requirement Specifications for Digital Computer Software Used in Safety Systems of...

Science.gov (United States)

2013-08-02

... NUCLEAR REGULATORY COMMISSION [NRC-2012-0195] Software Requirement Specifications for Digital Computer Software Used in Safety Systems of Nuclear Power Plants AGENCY: Nuclear Regulatory Commission... issuing a revised regulatory guide (RG), revision 1 of RG 1.172, ``Software Requirement Specifications for...

Availability of software services for a hospital information system.

Science.gov (United States)

Sakamoto, N

1998-03-01

Hospital information systems (HISs) are becoming more important and covering more parts in daily hospital operations as order-entry systems become popular and electronic charts are introduced. Thus, HISs today need to be able to provide necessary services for hospital operations for a 24-h day, 365 days a year. The provision of services discussed here does not simply mean the availability of computers, in which all that matters is that the computer is functioning. It means the provision of necessary information for hospital operations by the computer software, and we will call it the availability of software services. HISs these days are mostly client-server systems. To increase availability of software services in these systems, it is not enough to just use system structures that are highly reliable in existing host-centred systems. Four main components which support availability of software services are network systems, client computers, server computers, and application software. In this paper, we suggest how to structure these four components to provide the minimum requested software services even if a part of the system stops to function. The network system should be double-protected in stratus using Asynchronous Transfer Mode (ATM) as its base network. Client computers should be fat clients with as much application logic as possible, and reference information which do not require frequent updates (master files, for example) should be replicated in clients. It would be best if all server computers could be double-protected. However, if that is physically impossible, one database file should be made accessible by several server computers. Still, at least the basic patients' information and the latest clinical records should be double-protected physically. Application software should be tested carefully before introduction. Different versions of the application software should always be kept and managed in case the new version has problems. If a hospital

Application of automated reasoning software: procedure generation system verifier

International Nuclear Information System (INIS)

Smith, D.E.; Seeman, S.E.

1984-09-01

An on-line, automated reasoning software system for verifying the actions of other software or human control systems has been developed. It was demonstrated by verifying the actions of an automated procedure generation system. The verifier uses an interactive theorem prover as its inference engine with the rules included as logic axioms. Operation of the verifier is generally transparent except when the verifier disagrees with the actions of the monitored software. Testing with an automated procedure generation system demonstrates the successful application of automated reasoning software for verification of logical actions in a diverse, redundant manner. A higher degree of confidence may be placed in the verified actions gathered by the combined system

MPS [Multiparticle Spectrometer] data acquisition software system

International Nuclear Information System (INIS)

Saulys, A.C.; Etkin, A.; Foley, K.J.

1989-01-01

A description of the software for a FASTBUS based data acquisition system in use at the Brookhaven National Laboratory Multiparticle Spectrometer is presented. Data reading and formatting is done by the SLAC Scanner Processors (SSP's) resident in the FASTBUS system. A multiprocess software system on VAX computers is used to communicate with the SSP's, record the data, and monitor on-line the progress of high energy and heavy ion experiments. The structure and the performance of this system are discussed. 4 refs., 1 fig

Storage system software solutions for high-end user needs

Science.gov (United States)

Hogan, Carole B.

1992-01-01

Today's high-end storage user is one that requires rapid access to a reliable terabyte-capacity storage system running in a distributed environment. This paper discusses conventional storage system software and concludes that this software, designed for other purposes, cannot meet high-end storage requirements. The paper also reviews the philosophy and design of evolving storage system software. It concludes that this new software, designed with high-end requirements in mind, provides the potential for solving not only the storage needs of today but those of the foreseeable future as well.

A STUDY OF THE MANAGEMENT OF OPEN FRACTURES OF TIBIA BY UNREAMED INTERLOCKING NAIL

Directory of Open Access Journals (Sweden)

Kuppa Srinivas

2015-01-01

Full Text Available AIMS AND OBJECTIVES: To evaluate the results of closed interlocking intramedullary nailing without reaming in the treatment of open fractures of t he tibial shaft and study the difficulties (complications encountered during the operative study. To compare the efficacy of interlocking intramedullary nailing without reaming in treating open fractures of tibia, Time required for the union of fracture, Range of motion of ankle and knee joint, Rate of malunion and mal rotation and Pain at the knee joint. RESULTS: The average age of patient is 32 years,83.33% are males, road traffic accidents account for majority(79.16%,right side involved in 58.33%,gustillo type II and type I compound fractures are common, full range of movements is seen in 66.67% by 12 weeks and union occurred in 95.83% by 9 months. Thirteen (54.17% patients had excellent results, six (25% patients had good results, four (1 6.67% patients had fair results and one (4.16 patient had poor result. CONCLUSION: Unreamed interlocking intramedullary nailing with the help of image intensifier seems feasible in open diaphyseal fractures of tibia with the advantages of minimal blood l oss, low risk of infection, early mobilisation , earlier soft tissue coverage , Promotes early union , minimal hospital stay and early returns to activities

A hybrid approach to quantify software reliability in nuclear safety systems

International Nuclear Information System (INIS)

Arun Babu, P.; Senthil Kumar, C.; Murali, N.

2012-01-01

Highlights: ► A novel method to quantify software reliability using software verification and mutation testing in nuclear safety systems. ► Contributing factors that influence software reliability estimate. ► Approach to help regulators verify the reliability of safety critical software system during software licensing process. -- Abstract: Technological advancements have led to the use of computer based systems in safety critical applications. As computer based systems are being introduced in nuclear power plants, effective and efficient methods are needed to ensure dependability and compliance to high reliability requirements of systems important to safety. Even after several years of research, quantification of software reliability remains controversial and unresolved issue. Also, existing approaches have assumptions and limitations, which are not acceptable for safety applications. This paper proposes a theoretical approach combining software verification and mutation testing to quantify the software reliability in nuclear safety systems. The theoretical results obtained suggest that the software reliability depends on three factors: the test adequacy, the amount of software verification carried out and the reusability of verified code in the software. The proposed approach may help regulators in licensing computer based safety systems in nuclear reactors.

Bio-inspired ``jigsaw''-like interlocking sutures: Modeling, optimization, 3D printing and testing

Science.gov (United States)

Malik, I. A.; Mirkhalaf, M.; Barthelat, F.

2017-05-01

Structural biological materials such as bone, teeth or mollusk shells draw their remarkable performance from a sophisticated interplay of architectures and weak interfaces. Pushed to the extreme, this concept leads to sutured materials, which contain thin lines with complex geometries. Sutured materials are prominent in nature, and have recently served as bioinspiration for toughened ceramics and glasses. Sutures can generate large deformations, toughness and damping in otherwise all brittle systems and materials. In this study we examine the design and optimization of sutures with a jigsaw puzzle-like geometry, focusing on the non-linear traction behavior generated by the frictional pullout of the jigsaw tabs. We present analytical models which accurately predict the entire pullout response. Pullout strength and energy absorption increase with higher interlocking angles and for higher coefficients of friction, but the associated high stresses in the solid may fracture the tabs. Systematic optimization reveals a counter-intuitive result: the best pullout performance is achieved with interfaces with low coefficient of friction and high interlocking angle. We finally use 3D printing and mechanical testing to verify the accuracy of the models and of the optimization. The models and guidelines we present here can be extended to other types of geometries and sutured materials subjected to other loading/boundary conditions. The nonlinear responses of sutures are particularly attractive to augment the properties and functionalities of inherently brittle materials such as ceramics and glasses.

Verification and validation of control system software

International Nuclear Information System (INIS)

Munro, J.K. Jr.; Kisner, R.A.; Bhadtt, S.C.

1991-01-01

The following guidelines are proposed for verification and validation (V ampersand V) of nuclear power plant control system software: (a) use risk management to decide what and how much V ampersand V is needed; (b) classify each software application using a scheme that reflects what type and how much V ampersand V is needed; (c) maintain a set of reference documents with current information about each application; (d) use Program Inspection as the initial basic verification method; and (e) establish a deficiencies log for each software application. The following additional practices are strongly recommended: (a) use a computer-based configuration management system to track all aspects of development and maintenance; (b) establish reference baselines of the software, associated reference documents, and development tools at regular intervals during development; (c) use object-oriented design and programming to promote greater software reliability and reuse; (d) provide a copy of the software development environment as part of the package of deliverables; and (e) initiate an effort to use formal methods for preparation of Technical Specifications. The paper provides background information and reasons for the guidelines and recommendations. 3 figs., 3 tabs

Automated Cryocooler Monitor and Control System Software

Science.gov (United States)

Britchcliffe, Michael J.; Conroy, Bruce L.; Anderson, Paul E.; Wilson, Ahmad

2011-01-01

This software is used in an automated cryogenic control system developed to monitor and control the operation of small-scale cryocoolers. The system was designed to automate the cryogenically cooled low-noise amplifier system described in "Automated Cryocooler Monitor and Control System" (NPO-47246), NASA Tech Briefs, Vol. 35, No. 5 (May 2011), page 7a. The software contains algorithms necessary to convert non-linear output voltages from the cryogenic diode-type thermometers and vacuum pressure and helium pressure sensors, to temperature and pressure units. The control function algorithms use the monitor data to control the cooler power, vacuum solenoid, vacuum pump, and electrical warm-up heaters. The control algorithms are based on a rule-based system that activates the required device based on the operating mode. The external interface is Web-based. It acts as a Web server, providing pages for monitor, control, and configuration. No client software from the external user is required.

Implementation of EPICS based Control System for Radioisotope Beam line

Energy Technology Data Exchange (ETDEWEB)

Kim, Jae-Ha; Ahn, Tae-Sung; Song, Young-Gi; Kwon, Hyeok-Jung; Cho, Yong-Sub [Korea Atomic Energy Research Institute, Gyeongju (Korea, Republic of)

2015-10-15

Korea Mult-purpose Accelerator Complex (KOMAC) has been operating 100 MeV proton linear accelerator . For operating 100 MeV linac, various control system has been implemented such as vacuum, power supply, RCCS and etc. KOMAC is operating two beam lines so that clients can use 100 MeV proton beam for their experiment. KOMAC sends beam to beam line and target room using two dipole magnets and several quadrupole magnets. As demand for experiments and Radius Isotope using beam is increased, another beam line is under construction and RI beam line control system is need. To synchronize with KOMAC control system, RI beam line control system is based on Experimental Physics and Industrial control System (EPICS) software. The beam is transported to RI beam line to control magnet power supply and vacuum. Implementation of RI beam line control system is presented and some preliminary results are reported. The base RI beam line control system is implemented. It can control beam direction and vacuum. Comparing archived data and current data, RI beam line and control system will be improved. In the future, scroll pump and gate control system will be implemented using programmable logic controller PLC. RI beam interlock sequence will be added to KOMAC interlock system to protect linac.

Software fault tolerance in computer operating systems

Science.gov (United States)

Iyer, Ravishankar K.; Lee, Inhwan

1994-01-01

This chapter provides data and analysis of the dependability and fault tolerance for three operating systems: the Tandem/GUARDIAN fault-tolerant system, the VAX/VMS distributed system, and the IBM/MVS system. Based on measurements from these systems, basic software error characteristics are investigated. Fault tolerance in operating systems resulting from the use of process pairs and recovery routines is evaluated. Two levels of models are developed to analyze error and recovery processes inside an operating system and interactions among multiple instances of an operating system running in a distributed environment. The measurements show that the use of process pairs in Tandem systems, which was originally intended for tolerating hardware faults, allows the system to tolerate about 70% of defects in system software that result in processor failures. The loose coupling between processors which results in the backup execution (the processor state and the sequence of events occurring) being different from the original execution is a major reason for the measured software fault tolerance. The IBM/MVS system fault tolerance almost doubles when recovery routines are provided, in comparison to the case in which no recovery routines are available. However, even when recovery routines are provided, there is almost a 50% chance of system failure when critical system jobs are involved.

Reinforcing the role of the conventional C-arm - a novel method for simplified distal interlocking

Directory of Open Access Journals (Sweden)

Windolf Markus

2012-01-01

Full Text Available Abstract Background The common practice for insertion of distal locking screws of intramedullary nails is a freehand technique under fluoroscopic control. The process is technically demanding, time-consuming and afflicted to considerable radiation exposure of the patient and the surgical personnel. A new concept is introduced utilizing information from within conventional radiographic images to help accurately guide the surgeon to place the interlocking bolt into the interlocking hole. The newly developed technique was compared to conventional freehand in an operating room (OR like setting on human cadaveric lower legs in terms of operating time and radiation exposure. Methods The proposed concept (guided freehand, generally based on the freehand gold standard, additionally guides the surgeon by means of visible landmarks projected into the C-arm image. A computer program plans the correct drilling trajectory by processing the lens-shaped hole projections of the interlocking holes from a single image. Holes can be drilled by visually aligning the drill to the planned trajectory. Besides a conventional C-arm, no additional tracking or navigation equipment is required. Ten fresh frozen human below-knee specimens were instrumented with an Expert Tibial Nail (Synthes GmbH, Switzerland. The implants were distally locked by performing the newly proposed technique as well as the conventional freehand technique on each specimen. An orthopedic resident surgeon inserted four distal screws per procedure. Operating time, number of images and radiation time were recorded and statistically compared between interlocking techniques using non-parametric tests. Results A 58% reduction in number of taken images per screw was found for the guided freehand technique (7.4 ± 3.4 (mean ± SD compared to the freehand technique (17.6 ± 10.3 (p p = 0.001. Operating time per screw (from first shot to screw tightened was on average 22% reduced by guided freehand (p = 0

Reinforcing the role of the conventional C-arm--a novel method for simplified distal interlocking.

Science.gov (United States)

Windolf, Markus; Schroeder, Josh; Fliri, Ladina; Dicht, Benno; Liebergall, Meir; Richards, R Geoff

2012-01-25

The common practice for insertion of distal locking screws of intramedullary nails is a freehand technique under fluoroscopic control. The process is technically demanding, time-consuming and afflicted to considerable radiation exposure of the patient and the surgical personnel. A new concept is introduced utilizing information from within conventional radiographic images to help accurately guide the surgeon to place the interlocking bolt into the interlocking hole. The newly developed technique was compared to conventional freehand in an operating room (OR) like setting on human cadaveric lower legs in terms of operating time and radiation exposure. The proposed concept (guided freehand), generally based on the freehand gold standard, additionally guides the surgeon by means of visible landmarks projected into the C-arm image. A computer program plans the correct drilling trajectory by processing the lens-shaped hole projections of the interlocking holes from a single image. Holes can be drilled by visually aligning the drill to the planned trajectory. Besides a conventional C-arm, no additional tracking or navigation equipment is required.Ten fresh frozen human below-knee specimens were instrumented with an Expert Tibial Nail (Synthes GmbH, Switzerland). The implants were distally locked by performing the newly proposed technique as well as the conventional freehand technique on each specimen. An orthopedic resident surgeon inserted four distal screws per procedure. Operating time, number of images and radiation time were recorded and statistically compared between interlocking techniques using non-parametric tests. A 58% reduction in number of taken images per screw was found for the guided freehand technique (7.4 ± 3.4) (mean ± SD) compared to the freehand technique (17.6 ± 10.3) (p < 0.001). Total radiation time (all 4 screws) was 55% lower for the guided freehand technique compared to conventional freehand (p = 0.001). Operating time per screw (from first

The control system for the LEP beam dump

International Nuclear Information System (INIS)

Carlier, E.; Aimar, A.; Bretin, J.L.; Marchand, A.; Mertens, V.; Verhagen, H.

1994-01-01

A beam abort system has been developed and installed in LEP to allow the controlled disposal of the stored beam energy. In view of the importance of the system for the protection of the experiments and the machine, and the technical problems in a pulsed high-power environment, special care has been taken to arrive at a clean functional separation between the different elements of the control electronics, using optical transmission of information. All interlocks have been implemented in hardware. The slow controls and the monitoring tasks have been realized in the framework of a modular software tool kit. ((orig.))

The control system of the polarized internal target of ANKE at COSY

Energy Technology Data Exchange (ETDEWEB)

Kleines, H. [Zentralinstitut fuer Elektronik, Forschungszentrum Juelich, 52425 Juelich (Germany); Sarkadi, J. [Zentralinstitut fuer Elektronik, Forschungszentrum Juelich, 52425 Juelich (Germany); Zwoll, K. [Zentralinstitut fuer Elektronik, Forschungszentrum Juelich, 52425 Juelich (Germany); Engels, R. [Institut fuer Kernphysik, Forschungszentrum Juelich, 52425 Juelich (Germany); Grigoryev, K. [Institut fuer Kernphysik, Forschungszentrum Juelich, 52425 Juelich (Germany); Mikirtychyants, M. [Institut fuer Kernphysik, Forschungszentrum Juelich, 52425 Juelich (Germany); Nekipelov, M. [Institut fuer Kernphysik, Forschungszentrum Juelich, 52425 Juelich (Germany); Rathmann, F. [Institut fuer Kernphysik, Forschungszentrum Juelich, 52425 Juelich (Germany); Seyfarth, H. [Institut fuer Kernphysik, Forschungszentrum Juelich, 52425 Juelich (Germany)]. E-mail: h.seyfarth@fz-juelich.de; Kravtsov, P. [St. Petersburg Nuclear Physics Institute, 188350 Gatchina (Russian Federation); Vasilyev, A. [St. Petersburg Nuclear Physics Institute, 188350 Gatchina (Russian Federation)

2006-05-10

The polarized internal target for the ANKE experiment at the Cooler Synchrotron COSY of the Forschungszentrum Juelich utilizes a polarized atomic beam source to feed a storage cell with polarized hydrogen or deuterium atoms. The nuclear polarization is measured with a Lamb-shift polarimeter. For common control of the two systems, industrial equipment was selected providing reliable, long-term support and remote control of the target as well as measurement and optimization of its operating parameters. The interlock system has been implemented on the basis of SIEMENS SIMATIC S7-300 family of programmable logic controllers. In order to unify the interfacing to the control computer, all front-end equipment is connected via the PROFIBUS DP fieldbus. The process control software was implemented using the Windows-based WinCC toolkit from SIEMENS. The variety of components, to be controlled, and the logical structure of the control and interlock system are described. Finally, a number of applications derived from the present development to other, new installations are briefly mentioned.

The control system of the polarized internal target of ANKE at COSY

Science.gov (United States)

Kleines, H.; Sarkadi, J.; Zwoll, K.; Engels, R.; Grigoryev, K.; Mikirtychyants, M.; Nekipelov, M.; Rathmann, F.; Seyfarth, H.; Kravtsov, P.; Vasilyev, A.

2006-05-01

The polarized internal target for the ANKE experiment at the Cooler Synchrotron COSY of the Forschungszentrum Jülich utilizes a polarized atomic beam source to feed a storage cell with polarized hydrogen or deuterium atoms. The nuclear polarization is measured with a Lamb-shift polarimeter. For common control of the two systems, industrial equipment was selected providing reliable, long-term support and remote control of the target as well as measurement and optimization of its operating parameters. The interlock system has been implemented on the basis of SIEMENS SIMATIC S7-300 family of programmable logic controllers. In order to unify the interfacing to the control computer, all front-end equipment is connected via the PROFIBUS DP fieldbus. The process control software was implemented using the Windows-based WinCC toolkit from SIEMENS. The variety of components, to be controlled, and the logical structure of the control and interlock system are described. Finally, a number of applications derived from the present development to other, new installations are briefly mentioned.

Software Sub-system in Loading Automatic Test System for the Measurement of Power Line Filters

Directory of Open Access Journals (Sweden)

Yu Bo

2017-01-01

Full Text Available The loading automatic test system for measurement of power line filters are in urgent demand. So the software sub-system of the whole test system was proposed. Methods: structured the test system based on the virtual instrument framework, which consisted of lower and up computer and adopted the top down approach of design to perform the system and its modules, according to the measurement principle of the test system. Results: The software sub-system including human machine interface, data analysis and process software, expert system, communication software, control software in lower computer, etc. had been designed. Furthermore, it had been integrated into the entire test system. Conclusion: This sub-system provided a fiendly software platform for the whole test system, and had many advantages such as strong functions, high performances, low prices. It not only raises the test efficiency of EMI filters, but also renders some creativities.

A Reusable Software Architecture for Small Satellite AOCS Systems

DEFF Research Database (Denmark)

Alminde, Lars; Bendtsen, Jan Dimon; Laursen, Karl Kaas

2006-01-01

This paper concerns the software architecture called Sophy, which is an abbreviation for Simulation, Observation, and Planning in HYbrid systems. We present a framework that allows execution of hybrid dynamical systems in an on-line distributed computing environment, which includes interaction...... with both hardware and on-board software. Some of the key issues addressed by the framework are automatic translation of mathematical specifications of hybrid systems into executable software entities, management of execution of coupled models in a parallel distributed environment, as well as interaction...... with external components, hardware and/or software, through generic interfaces. Sophy is primarily intended as a tool for development of model based reusable software for the control and autonomous functions of satellites and/or satellite clusters....

Using Software Architectures for Designing Distributed Embedded Systems

DEFF Research Database (Denmark)

Christensen, Henrik Bærbak

In this paper, we outline an on-going project of designing distributed embedded systems for closed-loop process control. The project is a joint effort between software architecture researchers and developers from two companies that produce commercial embedded process control systems. The project...... has a strong emphasis on software architectural issues and terminology in order to envision, design and analyze design alternatives. We present two results. First, we outline how focusing on software architecture, architectural issues and qualities are beneficial in designing distributed, embedded......, systems. Second, we present two different architectures for closed-loop process control and discuss benefits and reliabilities....

Patología de pavimentos articulados Pathology of interlocking pavements

Directory of Open Access Journals (Sweden)

Carlos Hernando Higuera Sandoval

2010-07-01

Full Text Available Este artículo presenta los resultados de un proyecto de grado sobre patología de pavimentos articulados, el cual fue elaborado con el propósito de hacer una recolección de los deterioros típicos de los pavimentos articulados construidos con adoquines de concreto o de ladrillo; y de esta forma, elaborar un catálogo de deterioros para este tipo de estructuras que facilitará la identificación y cuantificación de los deterioros en una inspección visual. El segundo propósito de este proyecto, es la formulación para Colombia de una metodología que permita determinar el Índice de Condición de las estructuras de pavimentos articulados.This article presents the results of a thesis on pathology of interlocking pavements, which objective was to make a compilation of typical damages of interlocking pavements constructed with concrete or brick pavers and, in this way, to elaborate a catalogue of damages for this kind of structures which will make the identification and quantification of deteriorations possible in a visual inspection. The second purpose of this project is the formulation of a methodology which allows determining the Index of pavement conditions for Colombia.

Software reliability and safety in nuclear reactor protection systems

Energy Technology Data Exchange (ETDEWEB)

Lawrence, J.D. [Lawrence Livermore National Lab., CA (United States)

1993-11-01

Planning the development, use and regulation of computer systems in nuclear reactor protection systems in such a way as to enhance reliability and safety is a complex issue. This report is one of a series of reports from the Computer Safety and Reliability Group, Lawrence Livermore that investigates different aspects of computer software in reactor National Laboratory, that investigates different aspects of computer software in reactor protection systems. There are two central themes in the report, First, software considerations cannot be fully understood in isolation from computer hardware and application considerations. Second, the process of engineering reliability and safety into a computer system requires activities to be carried out throughout the software life cycle. The report discusses the many activities that can be carried out during the software life cycle to improve the safety and reliability of the resulting product. The viewpoint is primarily that of the assessor, or auditor.

Software reliability and safety in nuclear reactor protection systems

International Nuclear Information System (INIS)

Lawrence, J.D.

1993-11-01

Planning the development, use and regulation of computer systems in nuclear reactor protection systems in such a way as to enhance reliability and safety is a complex issue. This report is one of a series of reports from the Computer Safety and Reliability Group, Lawrence Livermore that investigates different aspects of computer software in reactor National Laboratory, that investigates different aspects of computer software in reactor protection systems. There are two central themes in the report, First, software considerations cannot be fully understood in isolation from computer hardware and application considerations. Second, the process of engineering reliability and safety into a computer system requires activities to be carried out throughout the software life cycle. The report discusses the many activities that can be carried out during the software life cycle to improve the safety and reliability of the resulting product. The viewpoint is primarily that of the assessor, or auditor

Generation of Embedded Hardware/Software from SystemC

Directory of Open Access Journals (Sweden)

Dominique Houzet

2006-08-01

Full Text Available Designers increasingly rely on reusing intellectual property (IP and on raising the level of abstraction to respect system-on-chip (SoC market characteristics. However, most hardware and embedded software codes are recoded manually from system level. This recoding step often results in new coding errors that must be identified and debugged. Thus, shorter time-to-market requires automation of the system synthesis from high-level specifications. In this paper, we propose a design flow intended to reduce the SoC design cost. This design flow unifies hardware and software using a single high-level language. It integrates hardware/software (HW/SW generation tools and an automatic interface synthesis through a custom library of adapters. We have validated our interface synthesis approach on a hardware producer/consumer case study and on the design of a given software radiocommunication application.

Generation of Embedded Hardware/Software from SystemC

Directory of Open Access Journals (Sweden)

Ouadjaout Salim

2006-01-01

Full Text Available Designers increasingly rely on reusing intellectual property (IP and on raising the level of abstraction to respect system-on-chip (SoC market characteristics. However, most hardware and embedded software codes are recoded manually from system level. This recoding step often results in new coding errors that must be identified and debugged. Thus, shorter time-to-market requires automation of the system synthesis from high-level specifications. In this paper, we propose a design flow intended to reduce the SoC design cost. This design flow unifies hardware and software using a single high-level language. It integrates hardware/software (HW/SW generation tools and an automatic interface synthesis through a custom library of adapters. We have validated our interface synthesis approach on a hardware producer/consumer case study and on the design of a given software radiocommunication application.

Software V ampersand V methods for digital plant protection system

International Nuclear Information System (INIS)

Kim, Hung-Jun; Han, Jai-Bok; Chun, Chong-Son; Kim, Sung; Kim, Kern-Joong.

1997-01-01

Careful thought must be given to software design in the development of digital based systems that play a critical role in the successful operation of nuclear power plants. To evaluate the software verification and validation methods as well as to verify its system performance capabilities for the upgrade instrumentation and control system in the Korean future nuclear power plants, the prototype Digital Plant, Protection System (DPPS) based on the Programmable Logic Controller (PLC) has been constructed. The system design description and features are briefly presented, and the software design and software verification and validation methods are focused. 6 refs., 2 figs

Adaptive intrusion data system (AIDS) software routines

International Nuclear Information System (INIS)

Corlis, N.E.

1980-07-01

An Adaptive Intrusion Data System (AIDS) was developed to collect information from intrusion alarm sensors as part of an evaluation system to improve sensor performance. AIDS is a unique digital data-compression, storage, and formatting system; it also incorporates a capability for video selection and recording for assessment of the sensors monitored by the system. The system is software reprogrammable to numerous configurations that may be used for the collection of environmental, bilevel, analog, and video data. This report describes the software routines that control the different AIDS data-collection modes, the diagnostic programs to test the operating hardware, and the data format. Sample data printouts are also included

Software of the System Protection for the PEFP 20MeV Proton Linac

International Nuclear Information System (INIS)

Song, Young-Gi; Hong, In-Seok; Cho, Yong-Sub

2007-01-01

A 20 MeV proton linear accelerator (linac) has been developed at Proton Engineering Frontier Project (PEFP). A 20 MeV linac consists of 50 keV proton injector, 3 MeV radio frequency quadrupole (RFQ), and 20 MeV drift tube linac (DTL). PEFP control system is developed with several sub-systems (e.g. machine control, diagnostic control, timing control, and interlock systems). These systems have each EPICS based control system which provides a network-based real time distributed control. For stable and harmonic operation, we had developed sequential logic by using state notation language (SNL) and database records with alarm fields for warning signal. The various control system can drop a transmission rate of the control network traffic. We need to manage control signals by a control network gateway and protect values of control servers by security management. In this paper, the stabilization methods of the control signals are described and the results of the stabilized signals are presented

Software architecture considerations for ion source control systems

International Nuclear Information System (INIS)

Sinclair, J.W.

1997-09-01

General characteristics of distributed control system software tools are examined from the perspective of ion source control system requirements. Emphasis is placed on strategies for building extensible, distributed systems in which the ion source element is one component of a larger system. Vsystem, a commercial software tool kit from Vista Control Systems was utilized extensively in the control system upgrade of the Holifield Radioactive Ion Beam Facility. Part of the control system is described and the characteristics of Vsystem are examined and compared with those of EPICS, the Experimental Physics and Industrial Control System

Evolvable Neural Software System

Science.gov (United States)

Curtis, Steven A.

2009-01-01

The Evolvable Neural Software System (ENSS) is composed of sets of Neural Basis Functions (NBFs), which can be totally autonomously created and removed according to the changing needs and requirements of the software system. The resulting structure is both hierarchical and self-similar in that a given set of NBFs may have a ruler NBF, which in turn communicates with other sets of NBFs. These sets of NBFs may function as nodes to a ruler node, which are also NBF constructs. In this manner, the synthetic neural system can exhibit the complexity, three-dimensional connectivity, and adaptability of biological neural systems. An added advantage of ENSS over a natural neural system is its ability to modify its core genetic code in response to environmental changes as reflected in needs and requirements. The neural system is fully adaptive and evolvable and is trainable before release. It continues to rewire itself while on the job. The NBF is a unique, bilevel intelligence neural system composed of a higher-level heuristic neural system (HNS) and a lower-level, autonomic neural system (ANS). Taken together, the HNS and the ANS give each NBF the complete capabilities of a biological neural system to match sensory inputs to actions. Another feature of the NBF is the Evolvable Neural Interface (ENI), which links the HNS and ANS. The ENI solves the interface problem between these two systems by actively adapting and evolving from a primitive initial state (a Neural Thread) to a complicated, operational ENI and successfully adapting to a training sequence of sensory input. This simulates the adaptation of a biological neural system in a developmental phase. Within the greater multi-NBF and multi-node ENSS, self-similar ENI s provide the basis for inter-NBF and inter-node connectivity.

Software challenges in extreme scale systems

International Nuclear Information System (INIS)

Sarkar, Vivek; Harrod, William; Snavely, Allan E

2009-01-01

Computer systems anticipated in the 2015 - 2020 timeframe are referred to as Extreme Scale because they will be built using massive multi-core processors with 100's of cores per chip. The largest capability Extreme Scale system is expected to deliver Exascale performance of the order of 10 18 operations per second. These systems pose new critical challenges for software in the areas of concurrency, energy efficiency and resiliency. In this paper, we discuss the implications of the concurrency and energy efficiency challenges on future software for Extreme Scale Systems. From an application viewpoint, the concurrency and energy challenges boil down to the ability to express and manage parallelism and locality by exploring a range of strong scaling and new-era weak scaling techniques. For expressing parallelism and locality, the key challenges are the ability to expose all of the intrinsic parallelism and locality in a programming model, while ensuring that this expression of parallelism and locality is portable across a range of systems. For managing parallelism and locality, the OS-related challenges include parallel scalability, spatial partitioning of OS and application functionality, direct hardware access for inter-processor communication, and asynchronous rather than interrupt-driven events, which are accompanied by runtime system challenges for scheduling, synchronization, memory management, communication, performance monitoring, and power management. We conclude by discussing the importance of software-hardware co-design in addressing the fundamental challenges for application enablement on Extreme Scale systems.

The use of intelligent systems for risk management in software projects

Directory of Open Access Journals (Sweden)

Oksana A. Gushchina

2017-06-01

Full Text Available Introduction: The article identifies the main risks of a software project, examines the use of different types of intelligent systems in the risk management process for software projects, discusses the basic methods used for process estimation and forecasting in the field of software engineering, identifies currently used empty expert systems, software systems for analysis and risk management of software projects. Materials and Methods: The author describes the peculiarities of risk management in the field of software engineering with involvement of intelligent systems. The intelligent techniques allow solving the control task with expert precision without the involvement of human experts. Results: The result of this work: – identification of the key risks of a software project (tax, legal, financial and commercial risks, IT risks, personnel risks, risks related to competitors, suppliers, marketing and demand and market; – investigation of the current, applied to risk management of software system projects, artificial intelligence, particularly expert systems and software tools for evaluation of the process results; – identification of the most popular empty expert systems (Clips, G2 and Leonardo and software products of the analysis of large databases (Orange, Weka, Rattle GUI, Apache Mahout, SCaViS, RapidMiner, Databionic ESOM Tools, ELKI, KNIME, Pandas and UIMA; – consideration of the cluster, correlation, regression, factor and dispersion analysis methods for the estimation and prediction of the processes of software engineering. Discussion and Conclusions: The results show the feasibility of the application of various intelligent systems in the risk management process. The analysis of methods of evaluating risks and the tendency of their application in the modern systems of intellectual analysis can serve as a start point for creating a unified system of risk management for software projects of medium and high complexity with a

A flexible software architecture for tokamak discharge control systems

International Nuclear Information System (INIS)

Ferron, J.R.; Penaflor, B.; Walker, M.L.; Moller, J.; Butner, D.

1995-01-01

The software structure of the plasma control system in use on the DIII-D tokamak experiment is described. This system implements control functions through software executing in real time on one or more digital computers. The software is organized into a hierarchy that allows new control functions needed to support the DIII-D experimental program to be added easily without affecting previously implemented functions. This also allows the software to be portable in order to create control systems for other applications. The tokamak operator uses an X-windows based interface to specify the time evolution of a tokamak discharge. The interface provides a high level view for the operator that reduces the need for detailed knowledge of the control system operation. There is provision for an asynchronous change to an alternate discharge time evolution in response to an event that is detected in real time. Quality control is enhanced through off-line testing that can make use of software-based tokamak simulators

eXascale PRogramming Environment and System Software (XPRESS)

Energy Technology Data Exchange (ETDEWEB)

Chapman, Barbara [Univ. of Houston, TX (United States); Gabriel, Edgar [Univ. of Houston, TX (United States)

2015-11-30

Exascale systems, with a thousand times the compute capacity of today’s leading edge petascale computers, are expected to emerge during the next decade. Their software systems will need to facilitate the exploitation of exceptional amounts of concurrency in applications, and ensure that jobs continue to run despite the occurrence of system failures and other kinds of hard and soft errors. Adapting computations at runtime to cope with changes in the execution environment, as well as to improve power and performance characteristics, is likely to become the norm. As a result, considerable innovation is required to develop system support to meet the needs of future computing platforms. The XPRESS project aims to develop and prototype a revolutionary software system for extreme-­scale computing for both exascale and strong­scaled problems. The XPRESS collaborative research project will advance the state-­of-­the-­art in high performance computing and enable exascale computing for current and future DOE mission-­critical applications and supporting systems. The goals of the XPRESS research project are to: A. enable exascale performance capability for DOE applications, both current and future, B. develop and deliver a practical computing system software X-­stack, OpenX, for future practical DOE exascale computing systems, and C. provide programming methods and environments for effective means of expressing application and system software for portable exascale system execution.

Software Defined Common Processing System (SDCPS), Phase I

Data.gov (United States)

National Aeronautics and Space Administration — Coherent Logix, Incorporated proposes the Software Defined Common Processing System (SDCPS) program to facilitate the development of a Software Defined Radio...

Re-engineering software systems in the Department of Defense using integrated computer aided software engineering tools

OpenAIRE

Jennings, Charles A.

1992-01-01

Approved for public release; distribution is unlimited The Department of Defense (DoD) is plagues with severe cost overruns and delays in developing software systems. Existing software within Dod, some developed 15-to 20 years ago, require continual maintenance and modification. Major difficulties arise with maintaining older systems due to cryptic source code and a lack of adequate documentation. To remedy this situation, the DoD, is pursuing the integrated computer aided software engi...

Optimal structure of fault-tolerant software systems

International Nuclear Information System (INIS)

Levitin, Gregory

2005-01-01

This paper considers software systems consisting of fault-tolerant components. These components are built from functionally equivalent but independently developed versions characterized by different reliability and execution time. Because of hardware resource constraints, the number of versions that can run simultaneously is limited. The expected system execution time and its reliability (defined as probability of obtaining the correct output within a specified time) strictly depend on parameters of software versions and sequence of their execution. The system structure optimization problem is formulated in which one has to choose software versions for each component and find the sequence of their execution in order to achieve the greatest system reliability subject to cost constraints. The versions are to be chosen from a list of available products. Each version is characterized by its reliability, execution time and cost. The suggested optimization procedure is based on an algorithm for determining system execution time distribution that uses the moment generating function approach and on the genetic algorithm. Both N-version programming and the recovery block scheme are considered within a universal model. Illustrated example is presented

NIF Projects Controls and Information Systems Software Quality Assurance Plan

Energy Technology Data Exchange (ETDEWEB)

Fishler, B

2011-03-18

Quality achievement for the National Ignition Facility (NIF) and the National Ignition Campaign (NIC) is the responsibility of the NIF Projects line organization as described in the NIF and Photon Science Directorate Quality Assurance Plan (NIF QA Plan). This Software Quality Assurance Plan (SQAP) is subordinate to the NIF QA Plan and establishes quality assurance (QA) activities for the software subsystems within Controls and Information Systems (CIS). This SQAP implements an activity level software quality assurance plan for NIF Projects as required by the LLNL Institutional Software Quality Assurance Program (ISQAP). Planned QA activities help achieve, assess, and maintain appropriate quality of software developed and/or acquired for control systems, shot data systems, laser performance modeling systems, business applications, industrial control and safety systems, and information technology systems. The objective of this SQAP is to ensure that appropriate controls are developed and implemented for management planning, work execution, and quality assessment of the CIS organization's software activities. The CIS line organization places special QA emphasis on rigorous configuration control, change management, testing, and issue tracking to help achieve its quality goals.

NIF Projects Controls and Information Systems Software Quality Assurance Plan

International Nuclear Information System (INIS)

Fishler, B.

2011-01-01

Quality achievement for the National Ignition Facility (NIF) and the National Ignition Campaign (NIC) is the responsibility of the NIF Projects line organization as described in the NIF and Photon Science Directorate Quality Assurance Plan (NIF QA Plan). This Software Quality Assurance Plan (SQAP) is subordinate to the NIF QA Plan and establishes quality assurance (QA) activities for the software subsystems within Controls and Information Systems (CIS). This SQAP implements an activity level software quality assurance plan for NIF Projects as required by the LLNL Institutional Software Quality Assurance Program (ISQAP). Planned QA activities help achieve, assess, and maintain appropriate quality of software developed and/or acquired for control systems, shot data systems, laser performance modeling systems, business applications, industrial control and safety systems, and information technology systems. The objective of this SQAP is to ensure that appropriate controls are developed and implemented for management planning, work execution, and quality assessment of the CIS organization's software activities. The CIS line organization places special QA emphasis on rigorous configuration control, change management, testing, and issue tracking to help achieve its quality goals.

Failure mode and effects analysis of software-based automation systems

International Nuclear Information System (INIS)

Haapanen, P.; Helminen, A.

2002-08-01

Failure mode and effects analysis (FMEA) is one of the well-known analysis methods having an established position in the traditional reliability analysis. The purpose of FMEA is to identify possible failure modes of the system components, evaluate their influences on system behaviour and propose proper countermeasures to suppress these effects. The generic nature of FMEA has enabled its wide use in various branches of industry reaching from business management to the design of spaceships. The popularity and diverse use of the analysis method has led to multiple interpretations, practices and standards presenting the same analysis method. FMEA is well understood at the systems and hardware levels, where the potential failure modes usually are known and the task is to analyse their effects on system behaviour. Nowadays, more and more system functions are realised on software level, which has aroused the urge to apply the FMEA methodology also on software based systems. Software failure modes generally are unknown - 'software modules do not fail, they only display incorrect behaviour' - and depend on dynamic behaviour of the application. These facts set special requirements on the FMEA of software based systems and make it difficult to realise. In this report the failure mode and effects analysis is studied for the use of reliability analysis of software-based systems. More precisely, the target system of FMEA is defined to be a safety-critical software-based automation application in a nuclear power plant, implemented on an industrial automation system platform. Through a literature study the report tries to clarify the intriguing questions related to the practical use of software failure mode and effects analysis. The study is a part of the research project 'Programmable Automation System Safety Integrity assessment (PASSI)', belonging to the Finnish Nuclear Safety Research Programme (FINNUS, 1999-2002). In the project various safety assessment methods and tools for

Three-dimensional Interlocking Professional Management Mechanism of Agricultural Family-Owned Enterprise

OpenAIRE

Zhong-ming, Shen; Cheng-jun, Zhang

2010-01-01

The establishment of the three-dimensional interlocking professional management mechanism of agricultural family-owned enterprise was studied through the following three mechanisms; the stimulation and restriction mechanism within the agricultural family-owned enterprises, the credit mechanism of professional manager and the social environment mechanism. The relationship between the agricultural family-owned enterprise, professional manager and the society was studied. In the first place, the...

Summary of the International Conference on Software and System Processes

DEFF Research Database (Denmark)

Kuhrmann, Marco; O'Connor, Rory V.; Perry, Dewayne E.

2016-01-01

The International Conference on Software and Systems Process (ICSSP), continuing the success of Software Process Workshop (SPW), the Software Process Modeling and Simulation Workshop (ProSim) and the International Conference on Software Process (ICSP) conference series, has become the established...... premier event in the field of software and systems engineering processes. It provides a leading forum for the exchange of research outcomes and industrial best-practices in process development from software and systems disciplines. ICSSP 2016 was held in Austin, Texas, from 14-15 May 2016, co......-located with the 38th International Conference on Software Engineering (ICSE). The theme of mICSSP 2016 was studying "Process(es) in Action" by recognizing that the AS-Planned and AS-Practiced processes can be quite different in many ways including their ows, their complexity and the evolving needs of stakeholders...

Software safety analysis techniques for developing safety critical software in the digital protection system of the LMR

Energy Technology Data Exchange (ETDEWEB)

Lee, Jang Soo; Cheon, Se Woo; Kim, Chang Hoi; Sim, Yun Sub

2001-02-01

This report has described the software safety analysis techniques and the engineering guidelines for developing safety critical software to identify the state of the art in this field and to give the software safety engineer a trail map between the code and standards layer and the design methodology and documents layer. We have surveyed the management aspects of software safety activities during the software lifecycle in order to improve the safety. After identifying the conventional safety analysis techniques for systems, we have surveyed in details the software safety analysis techniques, software FMEA(Failure Mode and Effects Analysis), software HAZOP(Hazard and Operability Analysis), and software FTA(Fault Tree Analysis). We have also surveyed the state of the art in the software reliability assessment techniques. The most important results from the reliability techniques are not the specific probability numbers generated, but the insights into the risk importance of software features. To defend against potential common-mode failures, high quality, defense-in-depth, and diversity are considered to be key elements in digital I and C system design. To minimize the possibility of CMFs and thus increase the plant reliability, we have provided D-in-D and D analysis guidelines.

Software safety analysis techniques for developing safety critical software in the digital protection system of the LMR

International Nuclear Information System (INIS)

Lee, Jang Soo; Cheon, Se Woo; Kim, Chang Hoi; Sim, Yun Sub

2001-02-01

This report has described the software safety analysis techniques and the engineering guidelines for developing safety critical software to identify the state of the art in this field and to give the software safety engineer a trail map between the code and standards layer and the design methodology and documents layer. We have surveyed the management aspects of software safety activities during the software lifecycle in order to improve the safety. After identifying the conventional safety analysis techniques for systems, we have surveyed in details the software safety analysis techniques, software FMEA(Failure Mode and Effects Analysis), software HAZOP(Hazard and Operability Analysis), and software FTA(Fault Tree Analysis). We have also surveyed the state of the art in the software reliability assessment techniques. The most important results from the reliability techniques are not the specific probability numbers generated, but the insights into the risk importance of software features. To defend against potential common-mode failures, high quality, defense-in-depth, and diversity are considered to be key elements in digital I and C system design. To minimize the possibility of CMFs and thus increase the plant reliability, we have provided D-in-D and D analysis guidelines

Computer software design description for the integrated control and data acquisition system LDUA system

International Nuclear Information System (INIS)

Aftanas, B.L.

1998-01-01

This Computer Software Design Description (CSDD) document provides the overview of the software design for all the software that is part of the integrated control and data acquisition system of the Light Duty Utility Arm System (LDUA). It describes the major software components and how they interface. It also references the documents that contain the detailed design description of the components

Systems, methods and apparatus for developing and maintaining evolving systems with software product lines

Science.gov (United States)

Hinchey, Michael G. (Inventor); Rash, James L. (Inventor); Pena, Joaquin (Inventor)

2011-01-01

Systems, methods and apparatus are provided through which an evolutionary system is managed and viewed as a software product line. In some embodiments, the core architecture is a relatively unchanging part of the system, and each version of the system is viewed as a product from the product line. Each software product is generated from the core architecture with some agent-based additions. The result may be a multi-agent system software product line.

Artificial intelligence and expert systems in-flight software testing

Science.gov (United States)

Demasie, M. P.; Muratore, J. F.

1991-01-01

The authors discuss the introduction of advanced information systems technologies such as artificial intelligence, expert systems, and advanced human-computer interfaces directly into Space Shuttle software engineering. The reconfiguration automation project (RAP) was initiated to coordinate this move towards 1990s software technology. The idea behind RAP is to automate several phases of the flight software testing procedure and to introduce AI and ES into space shuttle flight software testing. In the first phase of RAP, conventional tools to automate regression testing have already been developed or acquired. There are currently three tools in use.

Software engineering for the EBR-II data acquisition system conversion

International Nuclear Information System (INIS)

Schorzman, W.

1988-01-01

The purpose of this paper is to outline how EBR-II engineering approached the data acquisition system (DAS) software conversion project with the restraints of operational transparency and six weeks for final implementation and testing. Software engineering is a relatively new discipline that provides a structured philosopy for software conversion. The software life cycle is structured into six basic steps: 1) initiation, 2) requirements definition, 3) design, 4) programming, 5) testing, and 6) operations. These steps are loosely defined and can be altered to fit specific software applications. DAS software is encompassed from three sources: 1) custom software, 2) system software, and 3) in-house application software. A data flow structure is used to describe the DAS software. The categories are: 1) software used to bring signals into the central processer, 2) software that transforms the analog data to engineering units and then logs the data in the data store, and 3) software used to transport and display the data. The focus of this paper is to describe how the conversion team used a structured engineering approach and utilized the resources available to produce a quality system on time. Although successful, the conversion process provided some pit falls and stumbling blocks. Working through these obstacles enhanced our understanding and surfaced in the form of LESSONS LEARNED, which are gracefully shared in this paper

Training Requirements and Information Management System. Software user guide

Energy Technology Data Exchange (ETDEWEB)

Cillan, T.F.; Hodgson, M.A.

1992-05-01

This is the software user`s guide for the Training Requirements and Information Management System. This guide defines and describes the software operating procedures as they apply to the end user of the software program. This guide is intended as a reference tool for the user who already has an indepth knowledge of the Training Requirements and Information Management System functions and data reporting requirement.

36 CFR 1194.21 - Software applications and operating systems.

Science.gov (United States)

2010-07-01

... operating systems. 1194.21 Section 1194.21 Parks, Forests, and Public Property ARCHITECTURAL AND... Standards § 1194.21 Software applications and operating systems. (a) When software is designed to run on a... shall not disrupt or disable activated features of any operating system that are identified as...

Tank monitor and control system (TMACS) software configuration management plan

International Nuclear Information System (INIS)

GLASSCOCK, J.A.

1999-01-01

This Software Configuration Management Plan (SCMP) describes the methodology for control of computer software developed and supported by the Systems Development and Integration (SD and I) organization of Lockheed Martin Services, Inc. (LMSI) for the Tank Monitor and Control System (TMACS). This plan controls changes to the software and configuration files used by TMACS. The controlled software includes the Gensym software package, Gensym knowledge base files developed for TMACS, C-language programs used by TMACS, the operating system on the production machine, language compilers, and all Windows NT commands and functions which affect the operating environment. The configuration files controlled include the files downloaded to the Acromag and Westronic field instruments

Testing digital safety system software with a testability measure based on a software fault tree

International Nuclear Information System (INIS)

Sohn, Se Do; Hyun Seong, Poong

2006-01-01

Using predeveloped software, a digital safety system is designed that meets the quality standards of a safety system. To demonstrate the quality, the design process and operating history of the product are reviewed along with configuration management practices. The application software of the safety system is developed in accordance with the planned life cycle. Testing, which is a major phase that takes a significant time in the overall life cycle, can be optimized if the testability of the software can be evaluated. The proposed testability measure of the software is based on the entropy of the importance of basic statements and the failure probability from a software fault tree. To calculate testability, a fault tree is used in the analysis of a source code. With a quantitative measure of testability, testing can be optimized. The proposed testability can also be used to demonstrate whether the test cases based on uniform partitions, such as branch coverage criteria, result in homogeneous partitions that is known to be more effective than random testing. In this paper, the testability measure is calculated for the modules of a nuclear power plant's safety software. The module testing with branch coverage criteria required fewer test cases if the module has higher testability. The result shows that the testability measure can be used to evaluate whether partitions have homogeneous characteristics

Development of a fatigue analysis software system

International Nuclear Information System (INIS)

Choi, B. I.; Lee, H. J.; Han, S. W.; Kim, J. Y.; Hwang, K. H.; Kang, J. Y.

2001-01-01

A general purpose fatigue analysis software to predict fatigue lives of mechanical components and structures was developed. This software has some characteristic features including functions of searching weak regions on the free surface in order to reduce computing time significantly, a database of fatigue properties for various materials, and an expert system which can assist any users to get more proper results. This software can be used in the environment consists of commercial finite element packages. Using the software developed fatigue analyses for a SAE keyhole specimen and an automobile knuckle were carried out. It was observed that the results were agree well with those from commercial packages

Photovoltaic module and interlocked stack of photovoltaic modules

Science.gov (United States)

Wares, Brian S.

2012-09-04

One embodiment relates to an arrangement of photovoltaic modules configured for transportation. The arrangement includes a plurality of photovoltaic modules, each photovoltaic module including a frame having at least a top member and a bottom member. A plurality of alignment features are included on the top member of each frame, and a plurality of alignment features are included on the bottom member of each frame. Adjacent photovoltaic modules are interlocked by the alignment features on the top member of a lower module fitting together with the alignment features on the bottom member of an upper module. Other embodiments, features and aspects are also disclosed.

Shutdown channels and fitted interlocks in atomic reactors

International Nuclear Information System (INIS)

Furet, J.; Landauer, C.

1968-01-01

This catalogue consists of tables (one per reactor) giving the following information: number and type of detectors, range of the shutdown channels, nature of the associated electronics, thresholds setting off the alarms, fitted interlocks. These cards have been drawn up with a view to an examination of the reactors safety by the 'Reactor Safety Sub-Commission', they take into account the latest decisions. The reactors involved in this review are: Azur, Cabri, Castor-Pollux, Cesar-Marius-2, Edf-2, EL3, EL4, Eole, G1, G2-G3, Harmonie, Isis, Masurca, Melusine, Minerve, Osiris, Pegase, Peggy, PAT, Rapsodie, SENA, Siloe, Siloette, Triton-Nereide, and Ulysse. (authors) [fr

Software for MR imaging system VISTA-E50

International Nuclear Information System (INIS)

Nakatao, Shirou; Iino, Mitsutoshi; Fukuda, Kazuhiko

1989-01-01

VISTA-E50 has the advantages of high-quality imaging, fast scanning, high patient throughput and easy operation featured by AI (artificial intelligence) technologies, as well as merits of compact, light-weight, space- and energy-saving system. This paper presents system software and clinical application software of VISTA-E50, especially for each function and advantage. (author)

Some aspects of operational reliability of the JET central interlock and safety system (CISS) in the period March 1984 to December 1986

International Nuclear Information System (INIS)

Montfoort, Joop van.

1987-01-01

The Central Interlock and Safety System (CISS) provides basic safety functions for the JET plant. It monitors the status of emergency push buttons, access doors and plant equipment and takes corrective shutdown actions in the case that plant conditions are not compatible with safe operation. CISS consists of a hierarchical network of PLCs (programmable logic controllers) paralleling the CODAS architecture. It has been successfully in operation since June 1983 and has intervened many times and halted operation to protect JET from (further) damage or personnel against danger. The note will analyse genuine CISS failures only, and as will be shown, these failures are all due to malfunctioning of PLC hardware. All CISS failures have failed-safe and resulted in the expected shutdown action. Hence CISS failures have never resulted in a dangerous situation but they have restricted operational availability of JET. (author)

Concept of software interface for BCI systems

Science.gov (United States)

Svejda, Jaromir; Zak, Roman; Jasek, Roman

2016-06-01

Brain Computer Interface (BCI) technology is intended to control external system by brain activity. One of main part of such system is software interface, which carries about clear communication between brain and either computer or additional devices connected to computer. This paper is organized as follows. Firstly, current knowledge about human brain is briefly summarized to points out its complexity. Secondly, there is described a concept of BCI system, which is then used to build an architecture of proposed software interface. Finally, there are mentioned disadvantages of sensing technology discovered during sensing part of our research.

A General Water Resources Regulation Software System in China

Science.gov (United States)

LEI, X.

2017-12-01

To avoid iterative development of core modules in water resource normal regulation and emergency regulation and improve the capability of maintenance and optimization upgrading of regulation models and business logics, a general water resources regulation software framework was developed based on the collection and analysis of common demands for water resources regulation and emergency management. It can provide a customizable, secondary developed and extensible software framework for the three-level platform "MWR-Basin-Province". Meanwhile, this general software system can realize business collaboration and information sharing of water resources regulation schemes among the three-level platforms, so as to improve the decision-making ability of national water resources regulation. There are four main modules involved in the general software system: 1) A complete set of general water resources regulation modules allows secondary developer to custom-develop water resources regulation decision-making systems; 2) A complete set of model base and model computing software released in the form of Cloud services; 3) A complete set of tools to build the concept map and model system of basin water resources regulation, as well as a model management system to calibrate and configure model parameters; 4) A database which satisfies business functions and functional requirements of general water resources regulation software can finally provide technical support for building basin or regional water resources regulation models.

Software Configuration Management Plan for the Sodium Removal System

International Nuclear Information System (INIS)

HILL, L.F.

2000-01-01

This document establishers the Software Configuration Management Plan (SCMP) for the software associated with the control system of the Sodium Removal System (SRS) located in the Interim Examination and Maintenance (IEM Cell) Facility of the FFTF Flux Test

Ground-state kinetics of bistable redox-active donor-acceptor mechanically interlocked molecules.

Science.gov (United States)

Fahrenbach, Albert C; Bruns, Carson J; Li, Hao; Trabolsi, Ali; Coskun, Ali; Stoddart, J Fraser

2014-02-18

The ability to design and confer control over the kinetics of theprocesses involved in the mechanisms of artificial molecular machines is at the heart of the challenge to create ones that can carry out useful work on their environment, just as Nature is wont to do. As one of the more promising forerunners of prototypical artificial molecular machines, chemists have developed bistable redox-active donor-acceptor mechanically interlocked molecules (MIMs) over the past couple of decades. These bistable MIMs generally come in the form of [2]rotaxanes, molecular compounds that constitute a ring mechanically interlocked around a dumbbell-shaped component, or [2]catenanes, which are composed of two mechanically interlocked rings. As a result of their interlocked nature, bistable MIMs possess the inherent propensity to express controllable intramolecular, large-amplitude, and reversible motions in response to redox stimuli. In this Account, we rationalize the kinetic behavior in the ground state for a large assortment of these types of bistable MIMs, including both rotaxanes and catenanes. These structures have proven useful in a variety of applications ranging from drug delivery to molecular electronic devices. These bistable donor-acceptor MIMs can switch between two different isomeric states. The favored isomer, known as the ground-state co-conformation (GSCC) is in equilibrium with the less favored metastable state co-conformation (MSCC). The forward (kf) and backward (kb) rate constants associated with this ground-state equilibrium are intimately connected to each other through the ground-state distribution constant, KGS. Knowing the rate constants that govern the kinetics and bring about the equilibration between the MSCC and GSCC, allows researchers to understand the operation of these bistable MIMs in a device setting and apply them toward the construction of artificial molecular machines. The three biggest influences on the ground-state rate constants arise from

Advanced transport operating system software upgrade: Flight management/flight controls software description

Science.gov (United States)

Clinedinst, Winston C.; Debure, Kelly R.; Dickson, Richard W.; Heaphy, William J.; Parks, Mark A.; Slominski, Christopher J.; Wolverton, David A.

1988-01-01

The Flight Management/Flight Controls (FM/FC) software for the Norden 2 (PDP-11/70M) computer installed on the NASA 737 aircraft is described. The software computes the navigation position estimates, guidance commands, those commands to be issued to the control surfaces to direct the aircraft in flight based on the modes selected on the Advanced Guidance Control System (AGSC) mode panel, and the flight path selected via the Navigation Control/Display Unit (NCDU).

Prototype Software for Automated Structural Analysis of Systems

DEFF Research Database (Denmark)

Jørgensen, A.; Izadi-Zamanabadi, Roozbeh; Kristensen, M.

2004-01-01

In this paper we present a prototype software tool that is developed to analyse the structural model of automated systems in order to identify redundant information that is hence utilized for Fault detection and Isolation (FDI) purposes. The dedicated algorithms in this software tool use a tri......-partite graph that represents the structural model of the system. A component-based approach has been used to address issues such as system complexity and reconfigurability possibilities....

Real time data acquisition and processing system software supported by RDOS

International Nuclear Information System (INIS)

Yang Huimin; Chou Gongchun; Hao Shuxiang

1982-01-01

The paper describes a system software supported by RDOS operating system for management and supervision a multiuser nuclear spectrum data acquisition and processing system to be made of NOVA/840 computer. The system has manifold functions including four direct address data acquisition channels. One multi-dimension nuclear data acquisition channel, four scalers and four automatic control entrances. Every channel is used competitively by each user. The system's management and all processing functions are performed by system software. The architecture of the system can renew according to users' requirement with support of the system software.This article explains the logical structure of the system software and discusses some technical keys

An expert system based software sizing tool, phase 2

Science.gov (United States)

Friedlander, David

1990-01-01

A software tool was developed for predicting the size of a future computer program at an early stage in its development. The system is intended to enable a user who is not expert in Software Engineering to estimate software size in lines of source code with an accuracy similar to that of an expert, based on the program's functional specifications. The project was planned as a knowledge based system with a field prototype as the goal of Phase 2 and a commercial system planned for Phase 3. The researchers used techniques from Artificial Intelligence and knowledge from human experts and existing software from NASA's COSMIC database. They devised a classification scheme for the software specifications, and a small set of generic software components that represent complexity and apply to large classes of programs. The specifications are converted to generic components by a set of rules and the generic components are input to a nonlinear sizing function which makes the final prediction. The system developed for this project predicted code sizes from the database with a bias factor of 1.06 and a fluctuation factor of 1.77, an accuracy similar to that of human experts but without their significant optimistic bias.

The art of software thermal management for embedded systems

CERN Document Server

Benson, Mark

2014-01-01

This book introduces Software Thermal Management (STM) as a means of reducing power consumption in a computing system, in order to manage heat, improve component reliability, and increase system safety.  Readers will benefit from this pragmatic guide to the field of STM for embedded systems and its catalog of software power management techniques.  Since thermal management is a key bottleneck in embedded systems design, this book focuses on power as the root cause of heat. Since software has an enormous impact on power consumption in an embedded system, this book guides readers to manage heat effectively by understanding, categorizing, and developing new ways to reduce dynamic power. Whereas most books on thermal management describe mechanisms to remove heat, this book focuses on ways to avoid generating heat in the first place.   • Explains fundamentals of software thermal management, application techniques and advanced optimization strategies; • Describes a novel method for managing dynamic power, e...

Formal synthesis of application and platform behaviors of embedded software systems

DEFF Research Database (Denmark)

Kim, Jin Hyun; Kang, Inhye; Choi, Jin-Young

2015-01-01

Two main embedded software components, application software and platform software, i.e., the real-time operating system (RTOS), interact with each other in order to achieve the functionality of the system. However, they are so different in behaviors that one behavior modeling language is not suff......Two main embedded software components, application software and platform software, i.e., the real-time operating system (RTOS), interact with each other in order to achieve the functionality of the system. However, they are so different in behaviors that one behavior modeling language...... is not sufficient to model both styles of behaviors and to reason about the characteristics of their individual behaviors as well as their parallel behavior and interaction properties. In this paper, we present a formal approach to the synthesis of the application software and the RTOS behavior models...

Software for managing multicrate FASTBUS Systems

International Nuclear Information System (INIS)

Deiss, S.R.; Gustavson, D.B.

1982-10-01

The FASTBUS System Manager software that was designed and implemented on an LSI-11 system using PASCAL is described. Particular attention is given to the file structures, file access mechanisms, and basic routing algorithms. Portability to other machines and languages is described

Analyzing Software Errors in Safety-Critical Embedded Systems

Science.gov (United States)

Lutz, Robyn R.

1994-01-01

This paper analyzes the root causes of safty-related software faults identified as potentially hazardous to the system are distributed somewhat differently over the set of possible error causes than non-safety-related software faults.

Software upgrade for the DIII-D neutral beam control systems

International Nuclear Information System (INIS)

Cummings, J.W.; Thurgood, P.A.

1992-01-01

This paper reports on the Neutral Beam Software Upgrade project which was launched in early 1990. The major goals were to upgrade the MAC IV operating system to the latest revision (K.1), use standard MODCOMP software (as much as possible), and to develop a very user friendly, versatile system. Accomplishing these goals required new software to be developed and modifications to existing applications software to make it compatible with the latest operating system. The custom operating system modules to handle the message service and interrupt handling were replaced by the standard MODCOMP Inter Task Communication (ITC) and interrupt routines that are part of the MAX IV operating system. The message service provides the mechanism for doing shot task sequencing (task scheduling). The interrupt routines are used to connect external irterrupts to the system

Present status of the JT-60 control system

International Nuclear Information System (INIS)

Kimura, T.

1992-01-01

The present status of the control system for a large fusion device of the JT-60 upgrade tokamak is reported including its original design concept, the progress of the system in the past five-year operation and modification for the upgrade. The control system has the features of hierarchical structure, computer control, adoption of CAMAC interfaces and protective interlock by both software and hard-wired systems. Plant monitoring and control are performed by an efficient data communication via CAMAC highways. Sequential discharge control of is executed by a combination of computers and a timing system. A plasma feedback control system with fast 32-bit microprocessors and a man/machine interface with modern workstations have been newly developed for the operation of the JT-60 upgrade. (author)

Prototype Software for Automated Structural Analysis of Systems

DEFF Research Database (Denmark)

Jørgensen, A.; Izadi-Zamanabadi, Roozbeh; Kristensen, M.

2004-01-01

In this paper we present a prototype software tool that is developed to analyse the structural model of automated systems in order to identify redundant information that is hence utilized for Fault detection and Isolation (FDI) purposes. The dedicated algorithms in this software tool use a tri......-partite graph that represents the structural model of the system. A component-based approach has been used to address issues such as system complexity and recon¯gurability possibilities....

The NSC 16 MV tandem accelerator control system

International Nuclear Information System (INIS)

Ajith Kumar, B.P.; Kannaiyan, J.; Sugathan, P.; Bhowmik, R.K.

1994-01-01

The computerized control system for the 16 MV Pelletron accelerator at the Nuclear Science Centre runs on a PC-AT 386 computer. Devices in the accelerator are interfaced to the computer by using a CAMAC Serial Highway. The software, written in C, is Database oriented and supports many features useful for the accelerator operation. The control console consists of an EGA monitor, keyboard, assignable control knobs and meters, a diagrammatic display showing the overall status of the machine and a similar panel for showing the status of radiation safety interlocks. The system has been operational for the past three years and is discussed below. (orig.)

Early Conversion of External Fixation to Interlocked Nailing in Open Fractures of Both Bone Leg Assisted with Vacuum Closure (VAC) - Final Outcome.

Science.gov (United States)

Gill, Simrat Pal Singh; Raj, Manish; Kumar, Sunil; Singh, Pulkesh; Kumar, Dinesh; Singh, Jasveer; Deep, Akash

2016-02-01

Management of compound grade III fractures of both bone leg includes external stabilization for long period, followed by various soft tissue coverage procedures. Primary interlocking of tibia had been also done with variable results. External fixation for long time without any bone loss often leads to infected nonunion, loss of reduction, pin tract infection and failure of fixation, primary interlocking in compound grade III fractures had shown high medullary infection rate. We managed all cases of compound grade III A/B fractures with primary external fixation, simultaneous wound management using vacuum assisted closure (VAC) followed by early conversion to interlocking within 2 weeks of fixator application. To determine the effectiveness of vacuum assisted closure (VAC) for the early conversion of external fixator to definitive interlocking in open fractures of the both bone leg. In current study we selected 84 cases of compound grade IIIA/B diaphyseal fractures of both bone leg during period of May 2010 to September 2013. We managed these cases by immediate debridement and application of external fixation followed by repeated debridement, application of vacuum assisted closure (VAC) and conversion to interlocking within two weeks. Out of 84 cases union was achieved in 80(95%) of cases with definitive tibial interlocking. Excellent to good result were obtained in 77(91.8%) of cases and fair to poor result seen in rest of 7(8.2%) of cases according to modified Ketenjian's criteria. 5 out of these 7 poor result group cases were from Compound Grade III B group to start with. Deep infection rate in our series were 7% i.e. total 6 cases and 4 out of these were from compound Grade III B group to start with. Vacuum assisted closure (VAC) give a good help for rapid closure of the wound and help in early conversion to definitive intramedullary nailing. Reamed nail could well be used in compound grade IIIA/B fractures without increasing the risk of infection. It gives

Enhancing requirements engineering for patient registry software systems with evidence-based components.

Science.gov (United States)

Lindoerfer, Doris; Mansmann, Ulrich

2017-07-01

Patient registries are instrumental for medical research. Often their structures are complex and their implementations use composite software systems to meet the wide spectrum of challenges. Commercial and open-source systems are available for registry implementation, but many research groups develop their own systems. Methodological approaches in the selection of software as well as the construction of proprietary systems are needed. We propose an evidence-based checklist, summarizing essential items for patient registry software systems (CIPROS), to accelerate the requirements engineering process. Requirements engineering activities for software systems follow traditional software requirements elicitation methods, general software requirements specification (SRS) templates, and standards. We performed a multistep procedure to develop a specific evidence-based CIPROS checklist: (1) A systematic literature review to build a comprehensive collection of technical concepts, (2) a qualitative content analysis to define a catalogue of relevant criteria, and (3) a checklist to construct a minimal appraisal standard. CIPROS is based on 64 publications and covers twelve sections with a total of 72 items. CIPROS also defines software requirements. Comparing CIPROS with traditional software requirements elicitation methods, SRS templates and standards show a broad consensus but differences in issues regarding registry-specific aspects. Using an evidence-based approach to requirements engineering for registry software adds aspects to the traditional methods and accelerates the software engineering process for registry software. The method we used to construct CIPROS serves as a potential template for creating evidence-based checklists in other fields. The CIPROS list supports developers in assessing requirements for existing systems and formulating requirements for their own systems, while strengthening the reporting of patient registry software system descriptions. It may be

A Reference Model for Software and System Inspections. White Paper

Science.gov (United States)

He, Lulu; Shull, Forrest

2009-01-01

Software Quality Assurance (SQA) is an important component of the software development process. SQA processes provide assurance that the software products and processes in the project life cycle conform to their specified requirements by planning, enacting, and performing a set of activities to provide adequate confidence that quality is being built into the software. Typical techniques include: (1) Testing (2) Simulation (3) Model checking (4) Symbolic execution (5) Management reviews (6) Technical reviews (7) Inspections (8) Walk-throughs (9) Audits (10) Analysis (complexity analysis, control flow analysis, algorithmic analysis) (11) Formal method Our work over the last few years has resulted in substantial knowledge about SQA techniques, especially the areas of technical reviews and inspections. But can we apply the same QA techniques to the system development process? If yes, what kind of tailoring do we need before applying them in the system engineering context? If not, what types of QA techniques are actually used at system level? And, is there any room for improvement.) After a brief examination of the system engineering literature (especially focused on NASA and DoD guidance) we found that: (1) System and software development process interact with each other at different phases through development life cycle (2) Reviews are emphasized in both system and software development. (Figl.3). For some reviews (e.g. SRR, PDR, CDR), there are both system versions and software versions. (3) Analysis techniques are emphasized (e.g. Fault Tree Analysis, Preliminary Hazard Analysis) and some details are given about how to apply them. (4) Reviews are expected to use the outputs of the analysis techniques. In other words, these particular analyses are usually conducted in preparation for (before) reviews. The goal of our work is to explore the interaction between the Quality Assurance (QA) techniques at the system level and the software level.

77 FR 50724 - Developing Software Life Cycle Processes for Digital Computer Software Used in Safety Systems of...

Science.gov (United States)

2012-08-22

... review of applications for permits and licenses. The DG entitled ``Developing Software Life Cycle... NUCLEAR REGULATORY COMMISSION [NRC-2012-0195] Developing Software Life Cycle Processes for Digital Computer Software Used in Safety Systems of Nuclear Power Plants AGENCY: Nuclear Regulatory Commission...

Three-dimensional iron sulfide-carbon interlocked graphene composites for high-performance sodium-ion storage

DEFF Research Database (Denmark)

Huang, Wei; Sun, Hongyu; Shangguan, Huihui

2018-01-01

Three-dimensional (3D) carbon-wrapped iron sulfide interlocked graphene (Fe7S8@C-G) composites for high-performance sodium-ion storage are designed and produced through electrostatic interactions and subsequent sulfurization. The iron-based metal–organic frameworks (MOFs, MIL-88-Fe) interact with...

Software for airborne radiation monitoring system

International Nuclear Information System (INIS)

Sheinfeld, M.; Kadmon, Y.; Tirosh, D.; Elhanany, I.; Gabovitch, A.; Barak, D.

1997-01-01

The Airborne Radiation Monitoring System monitors radioactive contamination in the air or on the ground. The contamination source can be a radioactive plume or an area contaminated with radionuclides. This system is composed of two major parts: Airborne Unit carried by a helicopter, and Ground Station carried by a truck. The Airborne software is intended to be the core of a computerized airborne station. The software is written in C++ under MS-Windows with object-oriented methodology. It has been designed to be user-friendly: function keys and other accelerators are used for vital operations, a help file and help subjects are available, the Human-Machine-Interface is plain and obvious. (authors)

78 FR 47011 - Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants

Science.gov (United States)

2013-08-02

... NUCLEAR REGULATORY COMMISSION [NRC-2012-0195] Software Unit Testing for Digital Computer Software... revised regulatory guide (RG), revision 1 of RG 1.171, ``Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants.'' This RG endorses American National Standards...

77 FR 50722 - Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants

Science.gov (United States)

2012-08-22

... NUCLEAR REGULATORY COMMISSION [NRC-2012-0195] Software Unit Testing for Digital Computer Software...) is issuing for public comment draft regulatory guide (DG), DG-1208, ``Software Unit Testing for Digital Computer Software used in Safety Systems of Nuclear Power Plants.'' The DG-1208 is proposed...

Architecture of a software quench management system

International Nuclear Information System (INIS)

Jerzy M. Nogiec et al.

2001-01-01

Testing superconducting accelerator magnets is inherently coupled with the proper handling of quenches; i.e., protecting the magnet and characterizing the quench process. Therefore, software implementations must include elements of both data acquisition and real-time controls. The architecture of the quench management software developed at Fermilab's Magnet Test Facility is described. This system consists of quench detection, quench protection, and quench characterization components that execute concurrently in a distributed system. Collaboration between the elements of quench detection, quench characterization and current control are discussed, together with a schema of distributed saving of various quench-related data. Solutions to synchronization and reliability in such a distributed quench system are also presented

A Methodological Framework for Software Safety in Safety Critical Computer Systems

OpenAIRE

P. V. Srinivas Acharyulu; P. Seetharamaiah

2012-01-01

Software safety must deal with the principles of safety management, safety engineering and software engineering for developing safety-critical computer systems, with the target of making the system safe, risk-free and fail-safe in addition to provide a clarified differentaition for assessing and evaluating the risk, with the principles of software risk management. Problem statement: Prevailing software quality models, standards were not subsisting in adequately addressing the software safety ...

Achieving Critical System Survivability Through Software Architectures

National Research Council Canada - National Science Library

Knight, John C; Strunk, Elisabeth A

2006-01-01

.... In a system with a survivability architecture, under adverse conditions such as system damage or software failures, some desirable function will be eliminated but critical services will be retained...

Guidelines for the verification and validation of expert system software and conventional software. Volume 7, User's manual: Final report

International Nuclear Information System (INIS)

Miller, L.A.; Hayes, J.E.; Mirsky, S.M.

1995-05-01

Reliable software is required for nuclear power industry applications. Verification and validation techniques applied during the software development process can help eliminate errors that could inhibit the proper operation of digital systems and cause availability and safety problems. Most of the techniques described in this report are valid for conventional software systems as well as for expert systems. The project resulted in a set of 16 V ampersand V guideline packages and 11 sets of procedures based on the class, development phase, and system component being tested. These guideline packages and procedures help a utility define the level of V ampersand V, which involves evaluating the complexity and type of software component along with the consequences of failure. In all, the project identified 153 V ampersand V techniques for conventional software systems and demonstrated their application to all aspects of expert systems except for the knowledge base, which requires specially developed tools. Each of these conventional techniques covers anywhere from 2-52 total types of conventional software defects, and each defect is covered by 21-50 V ampersand V techniques. The project also identified automated tools to Support V ampersand V activities

Software Safety Risk in Legacy Safety-Critical Computer Systems

Science.gov (United States)

Hill, Janice L.; Baggs, Rhoda

2007-01-01

Safety Standards contain technical and process-oriented safety requirements. Technical requirements are those such as "must work" and "must not work" functions in the system. Process-Oriented requirements are software engineering and safety management process requirements. Address the system perspective and some cover just software in the system > NASA-STD-8719.13B Software Safety Standard is the current standard of interest. NASA programs/projects will have their own set of safety requirements derived from the standard. Safety Cases: a) Documented demonstration that a system complies with the specified safety requirements. b) Evidence is gathered on the integrity of the system and put forward as an argued case. [Gardener (ed.)] c) Problems occur when trying to meet safety standards, and thus make retrospective safety cases, in legacy safety-critical computer systems.

Software for graphic display systems

International Nuclear Information System (INIS)

Karlov, A.A.

1978-01-01

In this paper some aspects of graphic display systems are discussed. The design of a display subroutine library is described, with an example, and graphic dialogue software is considered primarily from the point of view of the programmer who uses a high-level language. (Auth.)

A communication-channel-based representation system for software

NARCIS (Netherlands)

Demirezen, Zekai; Tanik, Murat M.; Aksit, Mehmet; Skjellum, Anthony

We observed that before initiating software development the objectives are minimally organized and developers introduce comparatively higher organization throughout the design process. To be able to formally capture this observation, a new communication channel representation system for software is

Lessons learned from development and quality assurance of software systems at the Halden Project

International Nuclear Information System (INIS)

Bjorlo, T.J.; Berg, O.; Pehrsen, M.; Dahll, G.; Sivertsen, T.

1996-01-01

The OECD Halden Reactor Project has developed a number of software systems within the research programmes. These programmes have comprised a wide range of topics, like studies of software for safety-critical applications, development of different operator support systems, and software systems for building and implementing graphical user interfaces. The systems have ranged from simple prototypes to installations in process plants. In the development of these software systems, Halden has gained much experience in quality assurance of different types of software. This paper summarises the accumulated experience at the Halden Project in quality assurance of software systems. The different software systems being developed at the Halden Project may be grouped into three categories. These are plant-specific software systems (one-of-a-kind deliveries), generic software products, and safety-critical software systems. This classification has been found convenient as the categories have different requirements to the quality assurance process. In addition, the experience from use of software development tools and proprietary software systems at Halden, is addressed. The paper also focuses on the experience gained from the complete software life cycle, starting with the software planning phase and ending with software operation and maintenance

Conceptual design for controller software of mechatronic systems

NARCIS (Netherlands)

Broenink, Johannes F.; Hilderink, G.H.; Bakkers, André; Bradshaw, Alan; Counsell, John

1998-01-01

The method and software tool presented here, aims at supporting the development of control software for mechatronic systems. Heterogeneous distributed embedded processors are considered as target hardware. Principles of the method are that the implementation process is a stepwise refinement from

Advanced information processing system: Input/output network management software

Science.gov (United States)

Nagle, Gail; Alger, Linda; Kemp, Alexander

1988-01-01

The purpose of this document is to provide the software requirements and specifications for the Input/Output Network Management Services for the Advanced Information Processing System. This introduction and overview section is provided to briefly outline the overall architecture and software requirements of the AIPS system before discussing the details of the design requirements and specifications of the AIPS I/O Network Management software. A brief overview of the AIPS architecture followed by a more detailed description of the network architecture.

Modular system for the control of complex accelerators using portable software

International Nuclear Information System (INIS)

von der Schmitt, H.; Aufhaus, H.

1982-01-01

When designing the Mainz Microtron control system, care was taken to achieve an expandable system with long-lived application software. A multi-processor system was built from the beginning. The software is split into modules, according to function and position in hierarchy, which are distributed over the computers. The decoupling which results from modularity eases software development and maintainance. RATFOR was chosen as implementation language. With a message system for communication between the modules, several aims were reached at once: (1) symbolic addressing of the accelerator components throughout the software layers, (2) transparent access to I/O devices (CAMAC) at remote computers, (3) multitasking in FORTRAN (and RATFOR) programs, (4) a separating layer for adaptation to different operating systems - essential points for software portability. The system is in operation since April 1979 for the control of MAMI stage I

User and system considerations for the TCSTEK software library

International Nuclear Information System (INIS)

Gray, W.H.

1979-08-01

This report documents the idiosyncrasies of the Tektronix PLOT 10 Terminal Control System level 3.3 software as it currently exists on the ORNL Fusion Energy Division DECsystem-10 computer. It is intended to serve as a reference for future Terminal Control System updates in order that continuity between releases of Terminal Control System PLOT 10 software may be maintained

Digital image processing software system using an array processor

International Nuclear Information System (INIS)

Sherwood, R.J.; Portnoff, M.R.; Journeay, C.H.; Twogood, R.E.

1981-01-01

A versatile array processor-based system for general-purpose image processing was developed. At the heart of this system is an extensive, flexible software package that incorporates the array processor for effective interactive image processing. The software system is described in detail, and its application to a diverse set of applications at LLNL is briefly discussed. 4 figures, 1 table

User and system considerations for the TCSTEK software library

Energy Technology Data Exchange (ETDEWEB)

Gray, W.H.

1979-08-01

This report documents the idiosyncrasies of the Tektronix PLOT 10 Terminal Control System level 3.3 software as it currently exists on the ORNL Fusion Energy Division DECsystem-10 computer. It is intended to serve as a reference for future Terminal Control System updates in order that continuity between releases of Terminal Control System PLOT 10 software may be maintained.

Advanced Transport Operating System (ATOPS) color displays software description microprocessor system

Science.gov (United States)

Slominski, Christopher J.; Plyler, Valerie E.; Dickson, Richard W.

1992-01-01

This document describes the software created for the Sperry Microprocessor Color Display System used for the Advanced Transport Operating Systems (ATOPS) project on the Transport Systems Research Vehicle (TSRV). The software delivery known as the 'baseline display system', is the one described in this document. Throughout this publication, module descriptions are presented in a standardized format which contains module purpose, calling sequence, detailed description, and global references. The global reference section includes procedures and common variables referenced by a particular module. The system described supports the Research Flight Deck (RFD) of the TSRV. The RFD contains eight cathode ray tubes (CRTs) which depict a Primary Flight Display, Navigation Display, System Warning Display, Takeoff Performance Monitoring System Display, and Engine Display.

Feasibility of a fast optical pressure interlock for the ITER neutral beam injectors

International Nuclear Information System (INIS)

Ash, Andrew; Surrey, Elizabeth

2009-01-01

The feasibility of using Balmer-α emission for a high-speed pressure diagnostic and beam interlock for the ITER neutral beam heating system is investigated. An interlock is needed to prevent excessive re-ionisation of the neutral beam when rapid excursions of pressure occur in either the electrostatic residual ion dump (ERID), or the neutral beam duct (NBD). The re-ionised fraction of the beam, will be deflected by stray tokamak fields, potentially causing excessive thermal loads on beam line components. Experience from JET indicates that a response time of order 100 μs is required in order to prevent fast pressure excursions. Fast penning gauges have a time response of around 30-50 ms, however, a faster response (around 1 μs) is possible by monitoring the H α (656.3 nm)/D α (656.1 nm) emission from collisional excitation of the background gas and neutral beam. Published total cross-sections are used to calculate a signal of 3.5x10 13 -3.0x10 17 photons s -1 m -2 sr -1 for normal conditions. This signal must be distinguished from the background light of the tokamak plasma (line emission and bremsstrahlung). The beam emission is Doppler shifted by up to 21 nm (D operation) and up to 27 nm (H operation) depending on angle of observation and this can be used to help distinguish against background line emission. The distribution of background light along the beam line is calculated with a two-dimensional radiosity code, solving the equilibrium energy balance within the beam line enclosure. The Balmer-α signal and background signal due to bremsstrahlung are compared for a 500-MW reference plasma.

Automation of Aditya vacuum control system based on CODAC Core System

Energy Technology Data Exchange (ETDEWEB)

Raulji, Vismaysinh D., E-mail: vismay@ipr.res.in; Pujara, Harshad; Arambhadiya, Bharat; Jadeja, Kumarpalsinh; Bhatt, Shailesh; Rajpal, Rachana

2016-11-15

Highlights: • Monitor and control of vacuum control system based on CODAC Core System. • Communication between SIEMENS PLC and open source software EPICS. • With CODAC Core easy to configure and programming of slow controller. - Abstract: The main objective of vacuum control system is to provide ultrahigh vacuum for Aditya Tokamak operations. Aditya Vacuum vessel is having four vacuum pumping lines. To demonstrate implementation of automation; a study case is under taken by automating single Pumping Line of the Aditya vacuum system using CODAC Core System (CCS). Currently, vacuum system is operated manually. The CCS based control system allows remote control, monitoring, alarm handling of vacuum parameters. The CODAC Core System is the Linux based software package that is distributed by ITER Organization for the development of Plant System I&C software. CODAC Core System includes EPICS, CSS (Control System Studio) etc. CSS is used for HMI (Human Machine Interface), alarms and archives. SDD (Self Description Data) tool is used to configure plant system I&C. SDD Editor is an Eclipse based application to define the plant system, interface, I&C component, interfaced signals, configure variable. SCADA (Supervisory Control and Data Acquisition) system is developed in CSS. Data is transferred between PLC and CSS through EPICS. The complete system is tested with Aditya Vacuum Control System with process interlocks. Operator interface is also developed using Lab VIEW as a choice of the user. This paper will describe the salient features of the developed control system in detail.

The achievement and assessment of safety in systems containing software

International Nuclear Information System (INIS)

Ball, A.; Dale, C.J.; Butterfield, M.H.

1986-01-01

In order to establish confidence in the safe operation of a reactor protection system, there is a need to establish, as far as it is possible, that: (i) the algorithms used are correct; (ii) the system is a correct implementation of the algorithms; and (iii) the hardware is sufficiently reliable. This paper concentrates principally on the second of these, as it applies to the software aspect of the more accurate and complex trip functions to be performed by modern reactor protection systems. In order to engineer safety into software, there is a need to use a development strategy which will stand a high chance of achieving a correct implementation of the trip algorithms. This paper describes three broad methodologies by which it is possible to enhance the integrity of software: fault avoidance, fault tolerance and fault removal. Fault avoidance is concerned with making the software as fault free as possible by appropriate choice of specification, design and implementation methods. A fault tolerant strategy may be advisable in many safety critical applications, in order to guard against residual faults present in the software of the installed system. Fault detection and removal techniques are used to remove as many faults as possible of those introduced during software development. The paper also discusses safety and reliability assessment as it applies to software, outlining the various approaches available. Finally, there is an outline of a research project underway in the UKAEA which is intended to assess methods for developing and testing safety and protection systems involving software. (author)

Space Flight Software Development Software for Intelligent System Health Management

Science.gov (United States)

Trevino, Luis C.; Crumbley, Tim

2004-01-01

The slide presentation examines the Marshall Space Flight Center Flight Software Branch, including software development projects, mission critical space flight software development, software technical insight, advanced software development technologies, and continuous improvement in the software development processes and methods.

Customizable software architectures in the accelerator control system environment

CERN Document Server

Mejuev, I; Kadokura, E

2001-01-01

Tailoring is further evolution of an application after deployment in order to adapt it to requirements that were not accounted for in the original design. End-user customization has been extensively researched in applied computer science from HCI and software engineering perspectives. Customization allows coping with flexibility requirements, decreasing maintenance and development costs of software products. In general, dynamic or diverse software requirements constitute the need for implementing end-user customization in computer systems. In accelerator physics research the factor of dynamic requirements is especially important, due to frequent software and hardware modifications resulting in correspondingly high upgrade and maintenance costs. We introduce the results of feasibility study on implementing end-user tailorability in the software for accelerator control system, considering the design and implementation of a distributed monitoring application for the 12 GeV KEK Proton Synchrotron as an example. T...

Software Tools for Development on the Peregrine System | High-Performance

Science.gov (United States)

Computing | NREL Software Tools for Development on the Peregrine System Software Tools for and manage software at the source code level. Cross-Platform Make and SCons The "Cross-Platform Make" (CMake) package is from Kitware, and SCons is a modern software build tool based on Python

Research and Development of Statistical Analysis Software System of Maize Seedling Experiment

OpenAIRE

Hui Cao

2014-01-01

In this study, software engineer measures were used to develop a set of software system for maize seedling experiments statistics and analysis works. During development works, B/S structure software design method was used and a set of statistics indicators for maize seedling evaluation were established. The experiments results indicated that this set of software system could finish quality statistics and analysis for maize seedling very well. The development of this software system explored a...

76 FR 30426 - Notice of Receipt of Petition for Decision That Nonconforming 2006 Mercedes-Benz CLS Class...

Science.gov (United States)

2011-05-25

... Interlock, and Transmission Braking Effect, 103 Windshield Defrosting and Defogging Systems, 104 Windshield... Vehicle Brake Fluids, 124 Accelerator Control Systems, 135 Light Vehicle Brake Systems, 201 Occupant....-version software in the vehicle's computer system. Standard No. 108 Lamps, Reflective Devices and...