Specification PEARL constructs for embedded real-time systems co-design
Abstract
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.
Keywords
vgrajeni sistemi;sistemi v realnem času;vzporedno načrtovanje;modeliranje;PEARL;embedded systems;real-time systems;co-design;modelling;
Data
| Language: | English |
|---|---|
| Year of publishing: | 2002 |
| Typology: | 1.04 - Professional Article |
| Organization: | UM FERI - Faculty of Electrical Engineering and Computer Science |
| UDC: | 004.3.031.4 |
| COBISS: |
7543574
|
| ISSN: | 1437-5966 |
| Views: | 1988 |
| Downloads: | 20 |
| Average score: | 0 (0 votes) |
| Metadata: |
|
Other data
| Secondary language: | English |
|---|---|
| Secondary keywords: | vgrajeni sistemi;sistemi v realnem času;vzporedno načrtovanje;modeliranje;PEARL; |
| URN: | URN:SI:UM: |
| Pages: | str. 5-10 |
| Issue: | ǂAusg. ǂ2 |
| Chronology: | nov. 2002 |
| Keywords (UDC): | 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 |
Recommended works:
Specification PEARL constructs for embedded real-time systems co-design
2002,
no subtitle data available
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,
no subtitle data available