Specification PEARL constructs for embedded real-time systems co-designGumzej, Roman (Avtor) Colnarič, Matjaž (Avtor) embedded systemsreal-time systemsco-designmodellingPEARLIn 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 ori-gins are in the standard Multiprocessor PEARL language. It has been enhanced by addi-tional components for asymmetrical multiprocessor systems design as well as by additional parameters for RTOS parameterisation and feasibility analysis. Timed State Transition Diagrams have been introduced for program/task modelling, supporting the PEARL pro-cess model. The resulting task models are easily translated to PEARL task prototypes. The methodology and its specification language components are being presented.20022012-06-01 13:07:54Neznano27881UDK: 004.3.031.4COBISS_ID: 7543574ISSN pri članku: 1437-5966NUK URN: URN:SI:UM:DK:OLLRODX2sl