A method for logic design of ATM adaptation layer protocol

In an asynchronous transfer mode (ATM)-based broadband integrated services digital network (BISDN), an ATM adaptation layer (AAL) is needed to adapt each non-ATM application to the ATM layer. This paper proposes an abstract AAL logic design methodology which combines the concept of `quotient problem´ defined by Calvert and Lam, 1987, with the concept of supervisory control in the context of discrete event system theory. A 5-step AAL synthesis algorithm is developed. It is shown that if an AAL does exist, then the algorithm indeed finds a desired AAL FSM. Analysis also indicates that the synthesis algorithm is of polynomial computation time complexity, which lays a foundation for future extension to realistic applications