The Experts below are selected from a list of 6243 Experts worldwide ranked by ideXlab platform
Valeriy Vyatkin - One of the best experts on this subject based on the ideXlab platform.
-
a formal methodology for accomplishing iec 61850 real time communication requirements
IEEE Transactions on Industrial Electronics, 2017Co-Authors: Guilherme Kunz, Jose Machado, Eduardo Andre Perondi, Valeriy VyatkinAbstract:Reliability is extremely important for control systems of energy distribution and generation. The IEC 61850 standard specifies an open architecture and communication protocols for such applications. The standard defines an open control architecture for networked control systems composed by intelligent electronic devices, stating some requirements that must be accomplished when developing reliable controllers for such systems. In this paper, we present a systematic and formal methodology to be adopted to achieve the correct implementation of the communication requirements of this standard. The methodology consists in five steps: modeling of real-time communication requirements defined by the standard; simulation of the obtained model; formal verification of the model, improved in the previous step; translation of the global model (simulated and verified) into the input language of the real controller; and finally, application of Conformance Testing technique to the computational routine implemented in the real controller. Presented research deals with the proposition of a strategy to synthesize and validate models of systems developed under IEC61850 real-time requirements (GOOSE and SMV) through simple operational conditions cases that, once validated, can be used in performance and Conformance Testing of more complex systems. The proposed methodology allows designers to synthesize reliable systems under IEC61850 real-time communication requirements.
Gao Qiang - One of the best experts on this subject based on the ideXlab platform.
-
Conformance Testing of bluetooth protocol stack
Computer Engineering, 2001Co-Authors: Gao QiangAbstract:Conformance Testing of Bluetooth protocol stack is the first step for interoperability among products from a number of different manufacturers. From the OSI standard for the methodology and framework of Conformance Testing, the Conformance Testing research and real Testing of the Bluetooth protocol is presented in this paper. As an example of L2CAP, the authors introduce the method and architecture of Conformance Testing and the designing , generation and sufficiency analysis of Testing suite.
Franz Wotawa - One of the best experts on this subject based on the ideXlab platform.
-
asynchronous input output Conformance Testing
Computer Software and Applications Conference, 2009Co-Authors: Martin Weiglhofer, Franz WotawaAbstract:This paper studies model-based input-output Conformance Testing in the presence of queues. Normally, it is assumed that a test case communicates synchronously with an implementation under test. This causes some challenges in practice, since Testing is often conducted asynchronously. In an asynchronous environment messages between a tester and the implementation are queued. This may lead to incorrect verdicts. In this paper we show how one can guarantee correct verdicts in the asynchronous case for a large set of implementations. If choices between inputs and outputs are restricted to internal choices with respect to an implementation one can use the observation of quiescence as a handshake between a test case and the implementation. Such a handshake allows us to test for input-output Conformance in the context of queues. In addition, the input-enabledness assumption on implementations is relaxed. Besides a formal discussion of this approach, we show the practical relevance by applying our approach to a conference protocol.
-
protocol Conformance Testing a sip registrar an industrial application of formal methods
Software Engineering and Formal Methods, 2007Co-Authors: Bernhard K Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz WotawaAbstract:Various research prototypes and a well-founded theory of model based Testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying the well-known TGV tool for protocol Conformance Testing of a Session Initiation Protocol (SIP) server. Particularly, we discuss the performed abstractions along with corresponding rationales. Furthermore, we show how to use structural and fault-based techniques for test purpose design. We present first empirical results obtained from applying our test cases to a commercial implementation and to a popular open source implementation of a SIP Registrar. Notably, in both implementations our input output labeled transition system model proved successful in revealing severe violations of the protocol.
Guilherme Kunz - One of the best experts on this subject based on the ideXlab platform.
-
a formal methodology for accomplishing iec 61850 real time communication requirements
IEEE Transactions on Industrial Electronics, 2017Co-Authors: Guilherme Kunz, Jose Machado, Eduardo Andre Perondi, Valeriy VyatkinAbstract:Reliability is extremely important for control systems of energy distribution and generation. The IEC 61850 standard specifies an open architecture and communication protocols for such applications. The standard defines an open control architecture for networked control systems composed by intelligent electronic devices, stating some requirements that must be accomplished when developing reliable controllers for such systems. In this paper, we present a systematic and formal methodology to be adopted to achieve the correct implementation of the communication requirements of this standard. The methodology consists in five steps: modeling of real-time communication requirements defined by the standard; simulation of the obtained model; formal verification of the model, improved in the previous step; translation of the global model (simulated and verified) into the input language of the real controller; and finally, application of Conformance Testing technique to the computational routine implemented in the real controller. Presented research deals with the proposition of a strategy to synthesize and validate models of systems developed under IEC61850 real-time requirements (GOOSE and SMV) through simple operational conditions cases that, once validated, can be used in performance and Conformance Testing of more complex systems. The proposed methodology allows designers to synthesize reliable systems under IEC61850 real-time communication requirements.
Stavros Tripakis - One of the best experts on this subject based on the ideXlab platform.
-
an expressive and implementable formal framework for Testing real time systems
Lecture Notes in Computer Science, 2005Co-Authors: Moez Krichen, Stavros TripakisAbstract:We propose a new framework for black-box Conformance Testing of real-time systems, based on the model of timed automata. The framework is expressive: it can fully handle partially-observable, non-deterministic timed automata. It also allows the user to define, through appropriate modeling, assumptions on the environment of the system under test (SUT) as well as on the interface between the tester and the SUT. The framework is implementable: tests can be implemented as finite-state machines accessing a finite-precision digital clock. We propose, for this framework, a set of test-generation algorithms with respect to different coverage criteria. We have implemented these algorithms in a prototype tool called TTG. Experimental results obtained by applying TTG on the Bounded Retransmission Protocol show that only a few tests suffice to cover thousands of reachable symbolic states in the specification.
