2011 ◽  
Vol 37 (1) ◽  
pp. 79-86
Author(s):  
Ming-Xia WANG ◽  
Xiang GAO ◽  
Qi-Jiao CHEN ◽  
Jian DONG ◽  
Wan-Chun ZHAO ◽  
...  

2019 ◽  
pp. 38-42
Author(s):  
S. Yu. Strakhov ◽  
A. A. Karasev

Authors explore issue of applicability of the methodology of building diagnostic software using network formal models in the functional testing of electronic equipment as part of complex technical systems. Using methods of system analysis allows to perform a decomposition of interdependent subsystems and to reveal basic acts of interaction between the control‑verification equipment and the object of diagnosis. Mathematical apparatus of Petri nets should be employed for the formalized description of such acts and determined the cause‑and‑effect relations in the diagnosed complex system`s processes. Network models properties studying (such as safety and accomplishment of the final positions) allows us to move to the test object`s algorithm`s developing. The article presents an approach of a formalized description for basic acts of interaction between the diagnosis system and the object.


Author(s):  
Lom Messan Hillah ◽  
Ariele-Paolo Maesano ◽  
Libero Maesano ◽  
Fabio De Rosa ◽  
Fabrice Kordon ◽  
...  

Author(s):  
Yeole Shivraj Narayan ◽  
S. Anand Kumar ◽  
Kode Jaya Prakash ◽  
B. Satyanarayana ◽  
S. Koteswari

2018 ◽  
Vol 51 (12) ◽  
pp. 1-12
Author(s):  
Rudy Braquehais ◽  
Colin Runciman
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document