A formal method to real-time protocol interoperability testing

Wang, Zhiliang; Yin, Xia; Jing, Chuanming

doi:10.1007/s11432-008-0153-7

Cited by 3 publications

(2 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Most of all, the above studies have been utilized in operating the complex systems. For system design and integration phases, the interoperability testing is a similar concept to our approach [37,48]. For example, Vijayaraghavan et al [49] proposed an open communication standard for data interoperability.…”

Section: Complexitymentioning

confidence: 99%

Interface Data Modeling to Detect and Diagnose Intersystem Faults for Designing and Integrating System of Systems

Seo

Park

2018

Complexity

View full text Add to dashboard Cite

In system of systems engineering, system integrators are in charge of compatible and reliable interfaces between subsystems. This study explains a systematic solution to identify and diagnose interface faults during designing and integrating systems of systems. Because the systems targeted in this study are real underwater vessels, we first have anatomized 188 interface data transferred between 22 subsystems of them. Based on this, two interface data models are proposed, which include data sets regarding messages and inner fields and transition and decision functions for them. Specifically, a structure model at the message level evaluates how inner fields belong to a message, and a logic model at the field level assesses how each field is interpreted and if the interpreted value is understandable. The software that supports the modeling is implemented using the following concepts: (1) a model-view-viewmodel pattern for overall software design and (2) a computer network for representing sequential properties of field interpretations. The proposed modeling and software facilitate diagnostic decisions by checking the consistency between interface protocols and obtained real data. As a practical use, the proposed work was applied to an underwater shipbuilding project. Within 10 interfaces, 14 fault cases were identified and diagnosed. They were gradually resolved during the system design and integration phases, which formed the basis of successful submarine construction.

show abstract

Section: Complexitymentioning

confidence: 99%

Interface Data Modeling to Detect and Diagnose Intersystem Faults for Designing and Integrating System of Systems

Seo

Park

2018

Complexity

View full text Add to dashboard Cite

show abstract

“…This technique, combined with their algorithms to eliminate inconsistencies, allows generation of feasible test sequences without compromising their fault coverage. Reference [15] studied interoperability test generation of time dependent protocols and Reference [16] further presented a formal method to real‐time protocol interoperability testing. As for robustness testing of protocol with time constraints, References [8, 9] used TA (Timed Automaton) model and gave a preliminary study.…”

Section: Related Workmentioning

confidence: 99%

A formal approach to robustness testing of network protocol with time constraints

Yin

Wang

Jing

et al. 2011

Security Comm Networks

Self Cite

View full text Add to dashboard Cite

Network protocols often have time constraints. Robustness testing of network protocol with time constraints aims to detect vulnerabilities of its implementation. However, related theory is not well developed. This paper proposes a novel Timed NPEFSM model containing sufficient inputs with various time values and their processing rules to formalize complex protocol with time constraints. In order to test delay transitions, Grid Timed NPEFSM is proposed and it can be generated by state characterization of Timed NPEFSM based on time sampling. Thus, these two models jointly guide robustness testing of protocol with time constraints. For test generation, we propose timed anomalous test case in which only state under test is characterized by time sampling and this method can simplify test sequences largely without compromising test coverage. We also propose several strategies to construct test sequences for timed transitions. To inject test data efficiently and effectively, three types of timed compound anomalous test cases are proposed and the algorithm of generating timed compound anomalous test cases considering both single-field and multi-field mutations is then presented. Standard test specification language TTCN-3 is extended to describe timed compound anomalous test case. We illustrate our test method using an intra-domain routing protocol OSPFv2.

show abstract

A New Method for Setting Calculation Sequence of Directional Relay Protection in Multi-Loop Networks

Huagang

Zhou

2016

International Journal of Emerging Electric Power Systems

View full text Add to dashboard Cite

Workload of relay protection setting calculation in multi-loop networks may be reduced effectively by optimization setting calculation sequences. A new method of setting calculation sequences of directional distance relay protection in multi-loop networks based on minimum broken nodes cost vector (MBNCV) was proposed to solve the problem experienced in current methods. Existing methods based on minimum breakpoint set (MBPS) lead to more break edges when untying the loops in dependent relationships of relays leading to possibly more iterative calculation workloads in setting calculations. A model driven approach based on behavior trees (BT) was presented to improve adaptability of similar problems. After extending the BT model by adding real-time system characters, timed BT was derived and the dependency relationship in multi-loop networks was then modeled. The model was translated into communication sequence process (CSP) models and an optimization setting calculation sequence in multi-loop networks was finally calculated by tools. A 5-nodes multi-loop network was applied as an example to demonstrate effectiveness of the modeling and calculation method. Several examples were then calculated with results indicating the method effectively reduces the number of forced broken edges for protection setting calculation in multi-loop networks.

show abstract

A formal method to real-time protocol interoperability testing

Cited by 3 publications

References 28 publications

Interface Data Modeling to Detect and Diagnose Intersystem Faults for Designing and Integrating System of Systems

Interface Data Modeling to Detect and Diagnose Intersystem Faults for Designing and Integrating System of Systems

A formal approach to robustness testing of network protocol with time constraints

A New Method for Setting Calculation Sequence of Directional Relay Protection in Multi-Loop Networks

Contact Info

Product

Resources

About