70 resultados para Data-based Safety Evaluation
em University of Queensland eSpace - Australia
Resumo:
Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage
Resumo:
A methodological framework for conducting a systematic, mostly qualitative, meta-synthesis of community-based rehabilitation (CBR) project evaluation reports is described. Developed in the course of an international pilot study, the framework proposes a systematic review process in phases which are strongly collaborative, methodologically rigorous and detailed. Through this suggested process, valuable descriptive data about CBR practice, strategies and outcomes may be synthesized. It is anticipated that future application of this methodology will contribute to an improved evidence base for CBR, which will facilitate the development of more appropriate policy and practice guidelines for disability service delivery in developing countries. The methodology will also have potential applications in areas beyond CBR, which are similarly. evidence poor' (lacking empirical research) but 'data rich' (with plentiful descriptive and evaluative reports).
Resumo:
This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.
Resumo:
Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.
Resumo:
Remotely sensed data have been used extensively for environmental monitoring and modeling at a number of spatial scales; however, a limited range of satellite imaging systems often. constrained the scales of these analyses. A wider variety of data sets is now available, allowing image data to be selected to match the scale of environmental structure(s) or process(es) being examined. A framework is presented for use by environmental scientists and managers, enabling their spatial data collection needs to be linked to a suitable form of remotely sensed data. A six-step approach is used, combining image spatial analysis and scaling tools, within the context of hierarchy theory. The main steps involved are: (1) identification of information requirements for the monitoring or management problem; (2) development of ideal image dimensions (scene model), (3) exploratory analysis of existing remotely sensed data using scaling techniques, (4) selection and evaluation of suitable remotely sensed data based on the scene model, (5) selection of suitable spatial analytic techniques to meet information requirements, and (6) cost-benefit analysis. Results from a case study show that the framework provided an objective mechanism to identify relevant aspects of the monitoring problem and environmental characteristics for selecting remotely sensed data and analysis techniques.
Resumo:
In modern magnetic resonance imaging (MRI), both patients and radiologists are exposed to strong, nonuniform static magnetic fields inside or outside of the scanner, in which the body movement may be able to induce electric currents in tissues which could be possibly harmful. This paper presents theoretical investigations into the spatial distribution of induced E-fields in the human model when moving at various positions around the magnet. The numerical calculations are based on an efficient, quasistatic, finite-difference scheme and an anatomically realistic, full-body, male model. 3D field profiles from an actively-shielded 4 T magnet system are used and the body model projected through the field profile with normalized velocity. The simulation shows that it is possible to induce E-fields/currents near the level of physiological significance under some circumstances and provides insight into the spatial characteristics of the induced fields. The results are easy to extrapolate to very high field strengths for the safety evaluation at a variety of field strengths and motion velocities.
Resumo:
A field study was performed in a hospital pharmacy aimed at identifying positive and negative influences on the process of detection of and further recovery from initial errors or other failures, thus avoiding negative consequences. Confidential reports and follow-up interviews provided data on 31 near-miss incidents involving such recovery processes. Analysis revealed that organizational culture with regard to following procedures needed reinforcement, that some procedures could be improved, that building in extra checks was worthwhile and that supporting unplanned recovery was essential for problems not covered by procedures. Guidance is given on how performance in recovery could be measured. A case is made for supporting recovery as an addition to prevention-based safety methods.
Resumo:
There is evidence that high-tillering, small-panicled pearl millet landraces are better adapted to the severe, unpredictable drought stress of the and zones of NW India than are low-tillering, large-panicled modern varieties, which significantly outyield the landraces under favourable conditions. In this paper, we analyse the relationship of and zone adaptation with the expression, under optimum conditions, of yield components that determine either the potential sink size or the ability to realise this potential. The objective is to test whether selection under optimal conditions for yield components can identify germplasm with adaptation to and zones in NW India, as this could potentially improve the efficiency of pearl millet improvement programs targeting and zones. We use data from an evaluation of over 100 landraces from NW India, conducted for two seasons under both severely drought-stressed and favourable conditions in northwest and south India. Trial average grain yields ranged from 14 g m(-2) to 182 g m(-2). The landraces were grouped into clusters, based on their phenology and yield components as measured under well-watered conditions in south India. In environments without pre-flowering drought stress, tillering type had no effect on potential sink size, but low-tillering, large-panicled landraces yielded significantly more grain, as they were better able to realise their potential sink size. By contrast, in two low-yielding and zone environments which experienced pre-anthesis drought stress, low-fillering, large-panicled landraces yielded significantly less grain than high-tillering ones with comparable phenology, because of both a reduced potential sink size and a reduced ability to realise this potential. The results indicate that the high grain yield of low-tillering, large-panicled landraces under favourable conditions is due to improved partitioning, rather than resource capture. However, under severe stress with restricted assimilate supply, high-tillering, small-panicled landraces are better able to produce a reproductive sink than are large-panicled ones. Selection under optimum conditions for yield components representing a resource allocation pattern favouring high yield under severe drought stress, combined with a capability to increase grain yield if assimilates are available, was more effective than direct selection for grain yield in identifying germplasm adapted to and zones. Incorporating such selection in early generations of variety testing could reduce the reliance on random stress environments. This should improve the efficiency of millet breeding programs targeting and zones. (c) 2005 Elsevier B.V. All rights reserved.
Resumo:
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other side, is defined as an isolated window query. A multi-resolution spatial database system should support both progressive queries and traditional direct queries. It is conceptually challenging to support both types of query at the same time, as direct queries favour location-based data clustering, whereas progressive queries require fragmented data clustered by resolutions. Two new scaleless data structures are proposed in this paper. Experimental results using both synthetic and real world datasets demonstrate that the query processing time based on the new multiresolution approaches is comparable and often better than multi-representation data structures for both types of queries.