SUMMARYThe thin-layer method is a semi-analytical, numerical tool that has been successfully used in the past for wave motion in layered media, and differs from finite elements in that the medium is discretized only along a subset of the problem's dimensions, i.e. it combines partial discretization with analytical solutions. This paper shows that it can be applied just as well to heat diffusion, and results are given for impulsive as well as distributed point and dipole thermal sources with formulations in Cartesian and cylindrical coordinates. In essence, the method involves the discretization of the governing equations in the direction of layering together with analytical solutions for the remaining directions and for the variation in time. The solutions in response to spatially and temporally impulsive sources can also be used as fundamental solutions in the context of a boundary element formulation. This is illustrated herein by means of an example of a concrete slab overlain by two layers of carbon fiber reinforced polymers (CFRP), where a penny-shaped crack is meant to simulate an area where the CFRP has debonded from the concrete.
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is currently one of the key approaches to cope with increasing development complexity, in general. Applying similar concepts to reliability, availability, maintainability and safety (RAMS) analysis activities is a promising approach to extend the advantages of model driven development to safety engineering activities aiming at a reduction of development costs, a higher product quality and a shorter time-to-market. Nevertheless, many model-based safety or reliability engineering approaches aim at reducing the analysis complexity but applications or case studies are rare. Therefore we present here a large scale industrial case study which shows the benefits of the application of component fault trees when it comes to complex safety mechanisms. We compare the methodology of component fault trees against classic fault trees and summarize benefits and drawbacks of both modeling methodologies.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.