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.<<ETX>>