HW/SW components for real-time systems co-design

In the article a HW/SW co-design methodology is presented, which enables early reasoning about system integration as well as verification of the designs. Specification PEARL methodology is based on a specification language with the same name, whose origins are in the standard Multiprocessor PEARL language. It has been enhanced by additional components for asymmetrical multiprocessor systems design as well as by additional parameters for schedulability analysis. Timed State Transition Diagrams have been introduced for program/task modelling, supporting the PEARL process model. The resulting task models are easily translated to PEARL task prototypes. The methodology and its specification language components are presented.