| Naslov: | Specification PEARL constructs for embedded real-time systems co-design |
|---|
| Avtorji: | ID Gumzej, Roman (Avtor)
ID Colnarič, Matjaž (Avtor) |
|---|
| Datoteke: |  http://www.real-time.de/news/news02-2.pdf
|
|---|
| Jezik: | Angleški jezik |
|---|
| Vrsta gradiva: | Neznano |
|---|
| Tipologija: | 1.01 - Izvirni znanstveni članek |
|---|
| Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
|---|
| Opis: | 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. |
|---|
| Ključne besede: | embedded systems, real-time systems, co-design, modelling, PEARL |
|---|
| Leto izida: | 2002 |
|---|
| PID: | 20.500.12556/DKUM-27881  |
|---|
| UDK: | 004.3.031.4 |
|---|
| COBISS.SI-ID: | 7543574 |
|---|
| ISSN pri članku: | 1437-5966 |
|---|
| NUK URN: | URN:SI:UM:DK:OLLRODX2 |
|---|
| Datum objave v DKUM: | 01.06.2012 |
|---|
| Število ogledov: | 2750 |
|---|
| Število prenosov: | 30 |
|---|
| Metapodatki: |    |
|---|
| Področja: | Ostalo
|
|---|
|
:
|
Kopiraj citat |
|---|
| | | | Skupna ocena: | (0 glasov) |
|---|
| Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
|---|
| Objavi na: |  |
|---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |
