| Naslov: | Modeling distributed real-time applications with specification PEARL |
|---|
| Avtorji: | ID Gumzej, Roman (Avtor)
ID Lu, Shourong (Avtor) |
|---|
| Datoteke: |  http://dx.doi.org/10.1007/s11241-006-9007-9
|
|---|
| Jezik: | Angleški jezik |
|---|
| Vrsta gradiva: | Neznano |
|---|
| Tipologija: | 1.01 - Izvirni znanstveni članek |
|---|
| Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
|---|
| Opis: | The methodology of hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software are modeled with the language Specification PEARL, which has its origins in standard Multiprocessor PEARL. Its usefulness is enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional parameters for schedulability analysis. Graphical symbols are introduced for its constructs to enable graphical modeling while maintaining the semantical background. It is meant to be a superlayer for programs, based on the PEARL programming model. To model program tasks, Timed State Transition Diagrams have been defined. The model of a co-designed system is verified for feasibility with co-simulation. The resulting information should be used when considering changes in a current design with the goal of producing a temporally feasible model. To support dynamic re-configurations, configuration management is introduced into the models. Since UML is becoming a de facto standard also for designing embedded control systems, and since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface of the methodology to UML 2 is defined, using UML's extension mechanisms. |
|---|
| Ključne besede: | specification language, application modeling, co-design, co-simulation, configuration management, PEARL, UML |
|---|
| Leto izida: | 2007 |
|---|
| PID: | 20.500.12556/DKUM-27449  |
|---|
| UDK: | 004.41.031.4 |
|---|
| COBISS.SI-ID: | 10952470 |
|---|
| ISSN pri članku: | 0922-6443 |
|---|
| NUK URN: | URN:SI:UM:DK:MPWODJSD |
|---|
| Datum objave v DKUM: | 01.06.2012 |
|---|
| Število ogledov: | 2094 |
|---|
| Število prenosov: | 123 |
|---|
| 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. |
