Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2019)
EWDTS-2019 explores the novel trends in testing, diagnosis, repair of microelectronic systems, and also cyber security, automotive, IoT, artificial intelligence.
The aim of research is determine the feasibility of using the methodology for calculating availability and mean delay time to demand fulfilling for spare part by local package of electronic means (EM) with a compound structure of spare parts, tools and accessories(SPTA) kit. Methodology is based on the usage of the analytical model “EM – SPTA kit” with an assessment of the failure level. The main advantages of this technique are possibility to split the main structure of the spare parts system to set of simple, possibility of calculating spare parts sets for several types of replenishment strategies, the simplicity of verification the model for assessing the availability rate and the average delay in satisfying a request for a spare part. Possibility of calculating spare parts sets for several types of replenishment strategies. Simultaneously the technique has a significant drawback, such as methodical technique gives an approximate value of the sufficiency indicators with an calculation error. At the conclusion were proved the ability to use electronic methods for calculating the availability`s rate and the average latency in satisfying the request for the spare part of the spare parts kit system for some replenishment strategies, which also allows to calculate the availability rate for the “EM- SPTA system” model, which is proved to be possible for modern structures of the spare parts system.
Abstract——State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs.