Modelling the IXP1200 network processor using OO techniques

We examine how the IXP1200 network processor can be modelled using object-oriented techniques. The parallel object oriented specification language (POOSL) is an example of an object-oriented language. POOSL is an expressive modelling language for analysing parallel real time distributed systems. We examine the Intel IXP1200 network processor and discuss how POOSL can be utilised to allow an evaluation of a system before implementing it with hardware and software components. With the case study of the IXP1200, we illustrate the suitability of POOSL for system level modelling and design exploration.