Roman Gumzej (Avtor), Matjaž Colnarič (Avtor)

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:
Tipologija: 1.04 - Strokovni članek
Organizacija: UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
UDK: 004.3.031.4
COBISS: 7543574 Povezava se bo odprla v novem oknu
ISSN: 1437-5966
Št. ogledov: 1988
Št. prenosov: 20
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

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:
, diplomsko delo visokošolskega strokovnega študija
, diplomsko delo univerzitetnega študija
, zapiski predavanj
, ni podatka o podnaslovu