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.

Telecommunications, Tests, Communications protocols, Protocol, Testing, Communications Technology, technical, Finite State Automata

---

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.

Systems analysis, Control theory, System Design, Applications, Power Systems, Case Study

---

Similar abstracts:

• Abstracts: Communication protocol standards for space data systems. Formal Description Techniques

This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible.