There are several languages for modeling a Cyber-Physical System (CPS). One of them is Verilog-AMS, which allows representing a system belonging to the electrical and mechanical physical domains in a single model through different disciplines. A framework for the automatic fault injection in the electrical and mechanical domains is proposed in this context. In particular, starting from a mechanical system, it is possible to represent it as an electrical circuit by exploiting the physical analogies. In the electrical domain, fault modeling and injection techniques are more advanced than in other physical domains. Extending the analogies to fault models makes it possible to apply the electrical fault models in the equivalent circuit to the mechanical system. These yields mechanical-level faulty behaviors, which can be injected into the mechanical domain, resulting in mechanical (physical) faults, depending on the component. It is finally shown an example of execution of this flow through a model of an electric motor, in which mechanical faults are injected. Simultaneously, the equivalent electrical faults are injected into the equivalent electrical circuit.

A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS

Francesco Tosoni
;
Nicola Dall'Ora
;
Enrico Fraccaroli;Franco Fummi
2022

Abstract

There are several languages for modeling a Cyber-Physical System (CPS). One of them is Verilog-AMS, which allows representing a system belonging to the electrical and mechanical physical domains in a single model through different disciplines. A framework for the automatic fault injection in the electrical and mechanical domains is proposed in this context. In particular, starting from a mechanical system, it is possible to represent it as an electrical circuit by exploiting the physical analogies. In the electrical domain, fault modeling and injection techniques are more advanced than in other physical domains. Extending the analogies to fault models makes it possible to apply the electrical fault models in the equivalent circuit to the mechanical system. These yields mechanical-level faulty behaviors, which can be injected into the mechanical domain, resulting in mechanical (physical) faults, depending on the component. It is finally shown an example of execution of this flow through a model of an electric motor, in which mechanical faults are injected. Simultaneously, the equivalent electrical faults are injected into the equivalent electrical circuit.
Cyber-physical systems
Safety
Fault modeling
Fault injection
Verilog-AMS
File in questo prodotto:
File Dimensione Formato  
A_Framework_for_Modeling_and_Concurrently_Simulating_Mechanical_and_Electrical_Faults_in_Verilog-AMS.pdf

solo utenti autorizzati

Descrizione: Articolo
Tipologia: Versione dell'editore
Licenza: Copyright dell'editore
Dimensione 1.39 MB
Formato Adobe PDF
1.39 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1076706
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact