An Integrated Simulation Method for Built-in Test System Based on Stateflow
To satisfy the application requirements of built-in test (BIT) technology in equipment design for testability and prognostic and health management (PHM), an integrated simulation method for BIT system based on stateflow is proposed. Based on the analysis of the operating modes of BIT system, an inte...
Main Authors: | X.G. Lin, J.Y. Shi, L. Chen |
---|---|
Format: | Article |
Language: | English |
Published: |
AIDIC Servizi S.r.l.
2013-07-01
|
Series: | Chemical Engineering Transactions |
Online Access: | https://www.cetjournal.it/index.php/cet/article/view/6307 |
Similar Items
-
Dynamic Reliability by Using Simulink and Stateflow
by: H. Zhang, et al.
Published: (2013-07-01) -
Formal verification of implementations of stateflow charts
by: Miyazawa, Alvaro Heiji
Published: (2012) -
Using SPIN to Check Simulink Stateflow Models
by: Chikatoshi Yamada, et al.
Published: (2016-06-01) -
Using SPIN to Check Simulink Stateflow Models
by: Chikatoshi Yamada, et al.
Published: (2016-01-01) -
Refinement-based verification of sequential implementations of Stateflow charts
by: Ana Cavalcanti, et al.
Published: (2011-06-01)