The growing demand for lithium-ion batteries (LIBs) in industries such as electric vehicles (EVs) and renewable energy storage underscores the need for tools that ensure transparent, sustainable, and compliant production processes. This paper presents the Battery Production Ontology (BPO), a comprehensive framework designed to standardize the representation and traceability of LIB production lifecycles. By modeling key aspects such as material flows, energy consumption, carbon emissions, and production activities, the BPO supports environmental impact assessments, supply chain transparency, and process optimization. The BPO is aligned with existing standards, including the EU’s digital battery passport requirements, ensuring interoperability across diverse systems. Developed using a structured methodology, the ontology underwent rigorous validation. Real-world case studies demonstrated its capacity to model emissions, trace materials, and represent production sequences, while quantitative assessments confirmed its scalability, reasoning efficiency, and accuracy for industrial applications. Additionally, the ontology integrates seamlessly with external standards like BONSAI, FOAF, Schema, and OWL Time, fostering semantic reuse and interoperability. By addressing the critical need for transparency and sustainability in LIB production, the BPO provides stakeholders with a robust tool to drive the green energy transition and achieve global sustainability goals. • A novel ontology models the lifecycle of lithium-ion battery (LIB) production. • Enhances traceability, sustainability, and compliance with EU battery regulations. • Integrates material flows, energy use, and emissions for lifecycle assessment (LCA). • Validated through case studies and quantitative performance evaluations. • Aligns with BONSAI, FOAF, Schema, and the EU Digital Battery Passport standards.

The topic of this paper is the development of compact models reaction-advection-diffusion phenomenon compatible with a SPICE simulation environment. From a mathematical perspective, biological systems that involve such phenomena are described by partial differential equations, which are not naturally handeled by SPICE. Our approach consists of discretizing these equations according to the finite-difference method and converting the resulting set of ordinary differential equations into an assembly of elementary equivalent electronic circuits written in Verilog-A. The main interest of this approach is the capability of coupling such models with third- party SPICE models of electronic circuits, sensors and transducers as well as biochemical models that can also be written in SPICE. The tool is validated both on simple problems for which analytical solutions are known and by comparison with a finite element simulator of reference: COMSOL Multiphysics.

Synthetic biology is an emerging field at the interface between biotechnology and engineering sciences. It aims at designing new biological functions by assembling elementary parts (DNA sequences) based on design approaches inspired from those used for the design of complex microsystems. The development of efficient tools to support the design is therefore a technological bottleneck that could prevent the development of this technology. This issue is tackled in this paper by reusing as much as possible the existing design flow of heterogeneous microsystems. Focus is put on modeling and simulation tasks for which biology differs from standard physical domains by different aspects. In this paper, some methods that have been implemented to address these issues are discussed. The main shortcoming is that they lead to models that are far more complex than their electronics counterparts. As a consequence, simulation time becomes a big challenge in design processes. A solution suggested in the last section consists in simulating these models on Graphics Processing Unit, with a x40 speed up.

The paper presents an innovative approach for the modeling and simulation of heterogeneous biological systems based on SystemC-AMS, an open-source C++ extension to the OSCI SystemC Standard. After some basic notions on synthetic biology, an analogy is drawn between this active field of research and nanoelectronics. The paper then presents the SystemC-AMS Timed DataFlow (TDF) modeling formalism used to model these multidomain devices. It also details the presented case study, a bio-compatible system with feedback consisting of a biological sensor instanciating a T flip-flop BioBrick and a EnFET, a voluntarily simple digital processing unit and an actuator based on the Hodgkin-Huxley neuron model. Some simulation results are given that validate the use of SystemC-AMS as an attractive, open-source and flexible framework for modeling complex bio-compatible systems.

This paper focuses on commonalities and differences between the two mixed-signal hardware description languages, VHDL-AMS and Verilog-AMS, in the case of modeling heterogeneous or multidiscipline systems. The paper has two objectives. The first one is modeling the structure and the behavior of an airbag system using both the VHDL-AMS and the Verilog-AMS languages. Such a system encompasses several time abstractions (i.e., discrete-time and continuous-time), several disciplines, or energy domains (i.e., electrical, thermal, optical, mechanical, and chemical), and several continuous-time description formalisms (i.e., conservative-law and signal-flow descriptions). The second objective is to discuss the results of the proposed modeling process in terms of the descriptive capabilities of the VHDL-AMS and Verilog-AMS languages and of the generated simulation results. The tools used are the Advance-MS from Mentor Graphics for VHDL-AMS and the AMS Simulator from Cadence Design Systems for Verilog-AMS. This paper shows that both languages offer effective means to describe and simulate multidiscipline systems, though using different descriptive approaches. It also highlights current tool limitations, since full language definitions are not yet supported.

One of the most important problems in the field of power electronics is heat dissipation. During the last ten years, different models of power MOSFET transistors (VDMOS transistors) have been developed but only a few of them take the temperature dynamically into account. A constant temperature for the model can distort the electrical behavior of the device. In this paper we propose an analytical one-dimensional thermoelectrical model for the VDMOS transistor, implemented in the SABER circuit simulator, in which the device's temperature becomes an interactive variable during the simulation. This model is built on a combination of an electrical network with a thermal network. The accuracy of the model is appreciated with a complete characterization, and its capabilities are explored by a circuit example.>