To make feasible and scalable the verification of large complex concurrent systems, it is necessary use compositional techniques even at highest abstraction layers. When focusing on lowest software layers, such as implementation or machine code, high level detail those layers makes direct properties very difficult expensive. It therefore essential to allowing simplify these One technique tackle...

A microstructure-sensitive fatigue life prediction framework based on CP-FFT is proposed to study SLM fabricated Hastelloy-X. The microstructure enters in the model through shape, size and orientation distributions of grains RVEs, which are generated from experimental EBSD data. has been applied specimens built two different directions with polycrystalline microstructures able accurately predic...