Formal methods for generating protocol conformance test sequences
Article Abstract:
Formal methods are necessary for the protocol conformance testing of communications protocols because of the wide range and complexity of such protocols. Testing is further complicated by limitations on the controllability and observability of protocol implementations. Four major methods of conformance test generation, each based on the finite-state machine (FSM) concept, have been identified. They comprise the transition tour method, the distinguishing sequences method, the characterizing sequences method, and the unique input/output sequences method, and are used to test the control portion of the protocol specification. Four formal test methods have been defined by various standards bodies to take account of the controllability and observability factors. They include the local testing method, the distributed testing method, the coordinated testing method, and the ferry testing method. Each method is explained and some of the issues arising from them are noted.
Publication Name: Proceedings of the IEEE
Subject: Electronics
ISSN: 0018-9219
Year: 1990
User Contributions:
Comment about this article or add new information about this topic:
Application of modern control techniques to motor control
Article Abstract:
Advances in power electronics, including power semiconductor switching components, in microprocessors and digital signal processors (DSPs) have enabled the principles of modern control theory to be applied to a wide range of motor control problems. Modern control theory is basically a time-domain approach to assessments of state in multi-input, multi-output systems. It enables designers to facilitate optimal control systems relative to performance specifications. Strategies are reviewed for implementation of modern control theory in the design of systems with optimal control, robust control, feedback-feedforward control, passive adaptive control, active adaptive control, learning, and intelligent control. Several exemplifying applications are described. Optimal controller design is achieved if the design process is systematic and modern control theory-based.
Publication Name: Proceedings of the IEEE
Subject: Electronics
ISSN: 0018-9219
Year: 1988
User Contributions:
Comment about this article or add new information about this topic: