VVAF - Worst case & safety analysis tools for autonomous rendezvous system

Author(s):  
Nuno Paulino ◽  
Emanuele Di Sotto ◽  
Sohrab Salehi ◽  
Aymeric Kron ◽  
Jean-François Hamel ◽  
...  
2010 ◽  
Vol 43 (15) ◽  
pp. 321-326 ◽  
Author(s):  
Wenfei Wang ◽  
Prathyush P. Menon ◽  
Nuno M. Gomes Paulino ◽  
Emanuele Di Sotto ◽  
Sohrab Salehi ◽  
...  

2019 ◽  
Vol 8 (2) ◽  
pp. 159-169
Author(s):  
David William Hummel ◽  
Yu-Shan Chin ◽  
Andrew Prudil ◽  
Anthony Williams ◽  
Eugene Masala ◽  
...  

Canada has attracted specific interest from developers of nonwater-cooled small modular reactor (SMR) technologies, including concepts based on high-temperature gas-cooled reactors (HTGRs). It is anticipated that some research and development (R&D) will be necessary to support safety analysis and licensing of these reactors in Canada. The Phenomena Identification and Ranking Table (PIRT) process is a formalized method in which a panel of experts identifies which physical phenomena are most relevant to the reactor safety analysis and how well understood these phenomena are. The PIRT process is thus a tool to assess current knowledge levels and (or) predictive capabilities of models, thus providing direction to a focused R&D program. This paper summarizes the results of a PIRT process performed by a panel of experts at Canadian Nuclear Laboratories for a limiting or “worst-case” accident scenario at a generic HTGR-type SMR. Suggestions are given regarding the highest priority R&D items to support severe accidents analysis of these reactors.


2020 ◽  
Vol 3 (1) ◽  
pp. 509-518
Author(s):  
Özge Gökçe ◽  
Veysel Harun Şahin

Validation is an important part of the development process of real-time systems. During validation, it should be proved that, the system meets its timing constraints. Therefore, worst-case execution time (WCET) analysis is performed. Currently, several WCET analysis tools are being developed. Researchers who develop new WCET analysis tools, need benchmarks to evaluate and compare their tools with alternatives. These benchmarks are called WCET benchmarks. In this paper a new WCET benchmark suite named ABench2020 is introduced. Its main focus is to provide benchmark programs in Ada programming language for WCET research. Therefore, ABench2020 includes several benchmark programs which were written in Ada programming language. The benchmark programs implement different program structures and properties to help researchers test their systems from different aspects. ABench2020 was published as open source. It is freely available over the Internet.


Author(s):  
J.D. Geller ◽  
C.R. Herrington

The minimum magnification for which an image can be acquired is determined by the design and implementation of the electron optical column and the scanning and display electronics. It is also a function of the working distance and, possibly, the accelerating voltage. For secondary and backscattered electron images there are usually no other limiting factors. However, for x-ray maps there are further considerations. The energy-dispersive x-ray spectrometers (EDS) have a much larger solid angle of detection that for WDS. They also do not suffer from Bragg’s Law focusing effects which limit the angular range and focusing distance from the diffracting crystal. In practical terms EDS maps can be acquired at the lowest magnification of the SEM, assuming the collimator does not cutoff the x-ray signal. For WDS the focusing properties of the crystal limits the angular range of acceptance of the incident x-radiation. The range is dependent upon the 2d spacing of the crystal, with the acceptance angle increasing with 2d spacing. The natural line width of the x-ray also plays a role. For the metal layered crystals used to diffract soft x-rays, such as Be - O, the minimum magnification is approximately 100X. In the worst case, for the LEF crystal which diffracts Ti - Zn, ˜1000X is the minimum.


2008 ◽  
Author(s):  
Sonia Savelli ◽  
Susan Joslyn ◽  
Limor Nadav-Greenberg ◽  
Queena Chen

Author(s):  
William Elm ◽  
Scott Potter ◽  
James Tittle ◽  
David Woods ◽  
Justin Grossman ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document