Implementation of POOSL in Hardware

Software/Hardware Engineering (SHE) is a new object-oriented method for the cospecification and design of complex reactive hardware /software systems. SHE incorporates a framework for design activities, and a formal description language called POOSL (Parallel Object-Oriented Specification Language). Starting from informal object-oriented analysis, SHE produces rigorous system-level behaviour and architecture descriptions expressed in the POOSL language. This paper describes a first exploration of the path from a specification in POOSL towards an implementation in hardware. As we will mainly focus on the communication between process objects, some restrictions are applied to the POOSL model. Only FSM-like descriptions are allowed and the data part of POOSL will be left out. A scheduler will be implemented in hardware to handle process communication. Keywords--- reactive (hardware/software) systems, formal specification, object-oriented methods, hardware implementation, system-level sy..