Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications

Nikeshin, Alexei Viacheslavovich; Shnitman, Victor Zinovievich

doi:10.1134/s0361768819070090

Cited by 2 publications

(4 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…LabVIEW is a development environment based on graphical programming language. As a standard instrument control and data acquisition software, LabVIEW has been widely used in the field of measurement and testing [26][27][28]. LabVIEW software uses "VI" as the abbreviation for the graphical program, and each program includes a "front panel" for similar instrument regulation and control and a "program block diagram" for similar internal processing connection lines.…”

Section: Software Design Of On-line Monitoring Systemmentioning

confidence: 99%

Research on On-Line Monitoring System of Hydraulic Actuator of Combine Harvester

Cheng

et al. 2021

Processes

View full text Add to dashboard Cite

In view of the complicated hydraulic system, the many driving parts and the great load variation in the combine harvester, and on-line monitoring methods of hydraulic actuating parts such as cutting tables, conveyors and threshing drums were studied. By analyzing the working principle of the hydraulic system of the combine harvester, a mathematical model of the hydraulic system of the combine harvester was established; a simulation model for the fault diagnosis of the hydraulic system of the combine harvester was established based on AMESim. The load signal was introduced to simulate the feeding amount, and the simulation test was carried out. According to the simulation analysis results, the best position of each monitoring point was determined. The on-line monitoring system of the hydraulic actuators of the combine harvester was designed by using LabView, which can collect and display the working parameters of the main working parts of a combine harvester in real time, and alarm the user to faulty working conditions. The field experiment results show that the function and precision of the monitoring system completely meet the requirements of field operation condition monitoring of combine harvesters. The accuracy rate of the fault alarm is 96.5%, and the automatic diagnosis time of the fault alarm is less than 1 min and 18 s, which greatly improves the operation efficiency of the combine harvester.

show abstract

Section: Software Design Of On-line Monitoring Systemmentioning

confidence: 99%

Research on On-Line Monitoring System of Hydraulic Actuator of Combine Harvester

Cheng

et al. 2021

Processes

View full text Add to dashboard Cite

show abstract

“…Conformance testing checks observable behaviours of implementation with that described by its specification, i.e., whether the implementation satisfies the properties provided by the specification. 12,42 It can be applied to various areas, e.g., protocol engineering, [43][44][45] process mining, 46 model reduction, [47][48][49] build a model from a simple one, and verification of implementation against the specification. 12,13,50 A test sequence is needed to apply conformance testing to a protocol implementation.…”

Section: Conformance Testingmentioning

confidence: 99%

“…12,13,50 A test sequence is needed to apply conformance testing to a protocol implementation. [43][44][45] consist of a sequence of input-output pairs derived from its protocol specification or standard. The test sequence should characterize the specification.…”

Section: Conformance Testingmentioning

confidence: 99%

“…Lin et al 43 proposed a method based on overlapping by invertibility and multiple unique input/output sequences to validate the practical behaviours of a wireless protocol. Nikeshin and Shnitman 45 proposed to check the conformance of implementations of the extensible authentication protocol and its methods to internet specifications. The test sequence is the test suit and can be generated through test generation approaches, e.g., Buonanno et al 44 introduced one for protocols presented by finite state machines (FSMs).…”

Section: Conformance Testingmentioning

confidence: 99%

See 1 more Smart Citation

Multiple conformance to hybrid-automata-modelled requirements for detecting indoor temperature anomalies

Yang

Aoki

Tan

2020

Indoor and Built Environment

View full text Add to dashboard Cite

Detections of different thermal problems resort to approaches that utilize different indices, respectively. From an engineering viewpoint, they are neither flexible in detecting multiple thermal problems nor flexible in dealing with new concerned thermal problems. This article proposes a multiple-conformance approach to requirements that modelled by hybrid automata for flexibly detecting temperature anomalies. Temperature anomalies could lead to thermal problems, i.e., thermal discomfort as well as serious health problems. This approach extended a conventional conformance approach. The flexibility of the proposal is reflected in two aspects. First, it is an integrated approach that can deal with multiple thermal problems at different states of hybrid automata. Second, we can devise conformance relations concerning new thermal problems, and add them to the multiple-conformance approach. Experimental results show the feasibility and high performance of our proposal in detecting indoor temperature anomalies comprehensively.

show abstract

Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications

Cited by 2 publications

References 12 publications

Research on On-Line Monitoring System of Hydraulic Actuator of Combine Harvester

Research on On-Line Monitoring System of Hydraulic Actuator of Combine Harvester

Multiple conformance to hybrid-automata-modelled requirements for detecting indoor temperature anomalies

Contact Info

Product

Resources

About