Reducing V&V Cost of Flight Critical Systems: Myth or Reality?

This paper presents an overview of NASA research program on the V&V of flight critical systems. Five years ago, NASA started an effort to reduce the cost and possibly increase the effectiveness of V&V for flight critical systems. It is the right time to take a look back and realize what progress has been made. This paper describes our overall approach and the tools introduced to address different phases of the software lifecycle. For example, we have improved testing by developing a statistical learning approach tor defining test cases. The tool automatically identifies possible unsafe conditions by analyzing outliers in output data; using an iterative learning process, it can then generate more test cases that represent potentially unsafe regions of operation. At the code level, we have developed and made available as open source a static analyzer for C and C++ programs called IKOS. We have shown that IKOS is very precise in the analysis of embedded C programs (very few false positives) and a bit less for regular C and C++ code. At the design level, in collaboration with our NRA partners, we have developed a suite of analysis tools for Simulink models. The analysis is done in a compositional framework for scalability

Linear Phase FIR Low Pass Filter Design Based on Firefly Algorithm

In this paper, a linear phase Low Pass FIR filter is designed and proposed based on Firefly algorithm. We exploit the exploitation and exploration mechanism with a local search routine to improve the convergence and get higher speed computation. The optimum FIR filters are designed based on the Firefly method for which the finite word length is used to represent coefficients. Furthermore, Particle Swarm Optimization (PSO) and Differential Evolution algorithm (DE) will be used to show the solution. The results will be compared with PSO and DE methods. Firefly algorithm and Parks–McClellan (PM) algorithm are also compared in this paper thoroughly. The design goal is successfully achieved in all design examples using the Firefly algorithm. They are compared with that obtained by using the PSO and the DE algorithm. For the problem at hand, the simulation results show that the Firefly algorithm outperforms the PSO and DE methods in some of the presented design examples. It also performs well in a portion of the exhibited design examples particularly in speed and quality

Approximate impedance models for point-to-point sound propagation over acoustically-hard ground containing rectangular grooves

A modal model for diffraction by a contiguous array of rectangular grooves in an acoustically-hard plane is extended to predict the free space acoustic field from a point source above such a structure. Subsequently, an approximate effective impedance model for grooved surfaces is presented. Measurements have shown that these ground surfaces can be used for outdoor noise reduction but accurate modelling has required the use of computationally expensive numerical methods. The extended modal model and approximate impedance model inspired by it yield equivalent results in a fraction of the time taken by the boundary element method, for example, and could be used when designing grooved surfaces to reduce noise from road traffic

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis

Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical systems are imperative. This assurance is effectively realized through the utilization of Safety Assurance Cases. The use of safety assurance cases allows for verifying the correctness of the created systems capabilities, preventing system failure. The latter may result in loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Still, the emergence of complex technologies such as cyber-physical systems (CPSs), characterized by their heterogeneity, autonomy, machine learning capabilities, and the uncertainty of their operational environments poses significant challenges for safety assurance activities. Several papers have tried to propose solutions to tackle these challenges, but to the best of our knowledge, no secondary study investigates the trends, patterns, and relationships characterizing the safety case scientific literature. This makes it difficult to have a holistic view of the safety case landscape and to identify the most promising future research directions. In this paper, we, therefore, rely on state-of-the-art bibliometric tools(e.g., VosViewer) to conduct a bibliometric analysis that allows us to generate valuable insights, identify key authors and venues, and gain a birds eye view of the current state of research in the safety assurance area. By revealing knowledge gaps and highlighting potential avenues for future research, our analysis provides an essential foundation for researchers, corporate safety analysts, and regulators seeking to embrace or enhance safety practices that align with their specific needs and objectives

Simulation tool implementing centralized and distributed algorithms for tracking acoustic targets

The goal of this document is the implementation of a software tool for the simulation of the acoustic tracking problem over a wireless sensor network working in a centralized or distributed manner. Its Graphical User Interface (GUI) allows the user to configure the parameters associated to the diffusion adaptive algorithms implemented in the simulation tool, in order to offer a visual representation of the behavior of a real sensor network working with those settings. For illustration we ran several simulations, which allowed us to visualize the performance of different network configurations. The results obtained with the implemented simulation tool show it can be very helpful to study the audio target tracking problem and ultimately for the design of sensor networks that can guarantee certain performance criteria. Moreover, we have developed the code for the implementation of a real acoustictracking sensor network working in a centralized manner, using ©Libelium’sWaspmote™ sensor boards as the network nodes and using ©Libelium’s Meshlium-Xtreme™ as central node.Ingeniería de Sistemas Audiovisuale

Morphology and acoustic artefacts of copper deposits electroplated using megasonic assisted agitation

Purpose – This study aims to understand the influence of megasonic (MS)-assisted agitation on printed circuit boards (PCBs) electroplated using copper (Cu) electrolyte solutions to improve plating efficiencies through enhanced ion transportation. Design/methodology/approach – The impact of MS-assisted agitation on topographical properties of the electroplated surfaces was studied through a design of experiments by measuring surface roughness, which is characterised by values of the parameter Ra as measured by white light phase shifting interferometry and high-resolution scanning electron microscopy. Findings – An increase in Ra from 400 to 760 nm after plating was recorded for an increase in acoustic power from 45 to 450 W. Roughening increased because of micro-bubble cavitation energy and was supported through direct imaging of the cavitation. Current thieving effect by the MS transducer induced low currents, leading to large Cu grain frosting and reduction in the board quality. Current thieving was negated in plating trials through specific placement of transducer. Wavy electroplated surfaces, due to surface acoustic waves, were also observed to reduce the uniformity of the deposit. Research limitations/implications – The formation of unstable transient cavitation and variation of the topology of the Cu surface are unwanted phenomena. Further plating studies using MS agitation are needed, along with fundamental simulations, to determine how the effects can be reduced or prevented. Practical implications – This study can help identify manufacturing settings required for high-quality MS-assisted plating and promote areas for further investigation, leading to the development of an MS plating manufacturing technique. Originality/value – This study quantifies the topographical changes to a PCB surface in response to MS agitation and evidence for deposited Cu artefacts due to acoustic effects

Aeroacoustic response of an array of tubes with and without bias-flow

Heat exchangers, consisting of tube arrays in a cross-flow are a vital component of power generation systems. They are of interest from an acoustic point of view, because they can reflect, transmit and absorb an incident sound wave; in other words, they have the potential to act as a sound absorber and even as a passive control device to prevent a thermoacoustic instability in the power generation system. This paper presents a fundamental study of the aeroacoustic response of a tube array with and without bias-flow (also called cross-flow). The study has a theoretical and experimental side. On the theoretical side, a new model, based on the assumption of quasi-steady flow, was developed to predict the acoustic reflection and transmission coefficient of a tube array with bias-flow. Also, the model by Huang and Heckl (Huang and Heckl, 1993, Acustica 78, 191–200) for the case without bias-flow was evaluated. On the experimental side, flow-duct experiments using a multi-microphone technique were performed to validate the predictions from both models. The agreement was found to be very good for low frequencies. The measurements revealed the limit of validity of the quasi-steady model in terms of the Strouhal number. Although this limit is quite low, our quasi-steady model can serve as a valuable tool for designers of heat exchangers