Related papers: Method of Manufactured Solutions Code Verification…
The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes analysis difficult. This paper proposes a model checking…
Currently, components of consistent mass matrix are computed using various numerical integration schemes, each one alters in number of integration (Gauss) points, requires different amount of computations and possess different level of…
The Heterogeneous Multiscale Finite Element Method (FE-HMM) is a two-scale FEM based on asymptotic homogenization for solving multiscale partial differential equations. It was introduced in [W. E and B. Engquist, \emph{Commun. Math. Sci.},…
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices in which electric as well as mechanical and fluid phenomena…
The paper studies how code generation by LLMs can be combined with formal verification to produce critical embedded software. The first contribution is a general framework, spec2code, in which LLMs are combined with different types of…
Bounded model finding is a key technique for validating software designs, usually obtained by translating high-level specifications into SAT/SMT problems. Although effective, such translations introduce a semantic gap and a dependency on…
An engineering design process may involve software modules that can executed concurrently. Concurrent modules can be very easily subject to some synchronization errors. This paper discusses verification process for such engineering…
In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., test results, proofs). ACs can also be studied as formal…
Large language models (LLMs) have recently advanced text-driven 3D generation, yet Text-to-CAD remains far from supporting industrial product design. Existing benchmarks focus primarily on generating single-part CAD models and evaluate them…
This is a study of certain finite element methods designed for convection-dominated, time-dependent partial differential equations. Specifically, we analyze high order space-time tensor product finite element discretizations, used in a…
In this article, a novel explicit approach for designing complex thin-walled structures based on the Moving Morphable Component (MMC) method is proposed, which provides a unified framework to systematically address various design issues,…
This work investigates the existing capabilities and limitations in numerical modeling of fracture problems in functionally graded materials (FGMs) by means of the well-known finite element code ABAQUS. Quasi-static crack initiation and…
The family of Multiscale Hybrid-Mixed (MHM) finite element methods has received considerable attention from the mathematics and engineering community in the last few years. The MHM methods allow solving highly heterogeneous problems on…
In the automotive industry, the sequence of vehicles to be produced is determined ahead of the production day. However, there are some vehicles, failed vehicles, that cannot be produced due to some reasons such as material shortage or paint…
The phenomenon of linear motion of conductor in a magnetic field is commonly found in electric machineries such as, electromagnetic brakes, linear induction motor, electromagnetic flowmeter etc. The design and analysis of the same requires…
We consider finite element methods of multiscale type to approximate solutions for two-dimensional symmetric elliptic partial differential equations with heterogeneous $L^\infty$ coefficients. The methods are of Galerkin type and follow the…
We present a machine-learning strategy for finite element analysis of solid mechanics wherein we replace complex portions of a computational domain with a data-driven surrogate. In the proposed strategy, we decompose a computational domain…
Micro-Electro-Mechanical Systems (MEMS) normally have fixed or moving structures (plates or array of thin beams) with cross-sections of the order of microns and lengths of the order of tens or hundreds of microns. Electrostatic forces play…
The automated discovery of constitutive laws forms an emerging research area, that focuses on automatically obtaining symbolic expressions describing the constitutive behavior of solid materials from experimental data. Existing…
Context: Software metrics, as one form of static analyses, is a commonly used approach in software engineering in order to understand the state of a software system, in particular to identify potential areas prone to defects. Family-based…