20.500.12556/DKUM-27881 Specification PEARL constructs for embedded 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 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. embedded systems real-time systems co-design modelling PEARL vgrajeni sistemi sistemi v realnem času vzporedno načrtovanje modeliranje PEARL true false false Angleški jezik Angleški jezik Neznano 2012-06-01 13:07:54 2012-06-01 13:07:54 2022-04-15 03:45:52 2021-04-11 03:28:19 2002 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.3.031.4 7543574 1437-5966 URN:SI:UM:DK:OLLRODX2 http://www.real-time.de/news/news02-2.pdf 1 https://dk.um.si/Dokument.php?lang=slv&id=37227 Fakulteta za elektrotehniko, računalništvo in informatiko 0 0 0