Specification PEARL constructs for embedded real-time systems co-design
Povzetek
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
vgrajeni sistemi;sistemi v realnem času;vzporedno načrtovanje;modeliranje;PEARL;embedded systems;real-time systems;co-design;modelling;
Podatki
| Jezik: | Angleški jezik |
|---|---|
| Leto izida: | 2002 |
| Tipologija: | 1.04 - Strokovni članek |
| Organizacija: | UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko |
| UDK: | 004.3.031.4 |
| COBISS: |
7543574
|
| ISSN: | 1437-5966 |
| Št. ogledov: | 1988 |
| Št. prenosov: | 20 |
| Ocena: | 0 (0 glasov) |
| Metapodatki: |
|
Ostali podatki
| Sekundarni jezik: | Angleški jezik |
|---|---|
| Sekundarne ključne besede: | vgrajeni sistemi;sistemi v realnem času;vzporedno načrtovanje;modeliranje;PEARL; |
| URN: | URN:SI:UM: |
| Strani: | str. 5-10 |
| Zvezek: | ǂAusg. ǂ2 |
| Čas izdaje: | nov. 2002 |
| Ključne besede (UDK): | science and knowledge;organization;computer science;information;documentation;librarianship;institutions;publications;znanost in znanje;organizacije;informacije;dokumentacija;bibliotekarstvo;institucije;publikacije;prolegomena;fundamentals of knowledge and culture;propaedeutics;prolegomena;splošne osnove znanosti in kulture;computer science and technology;computing;data processing;računalniška znanost in tehnologija;računalništvo;obdelava podatkov;computer hardware;računalniška strojna oprema; |
| ID: | 1437435 |
Priporočena dela:
Specification PEARL constructs for embedded real-time systems co-design
2002,
ni podatka o podnaslovu
Konsolidacija strežnikov
2008,
diplomsko delo visokošolskega strokovnega študija
Nadzor programskih rešitev s pomočjo SMS 2003 strežnika
2006,
diplomsko delo univerzitetnega študija
Teorija vezij
2008,
zapiski predavanj
Embedded systems architecture co-design
1999,
ni podatka o podnaslovu