|  |
| Title:
|
Programming Models and Tools for Intelligent Embedded Systems |
| Type:
|
Ph.d. thesisPh.d. thesis |
| Participant(s):
|
Technical University of Denmark
Technical University of Denmark
Email:
|
| Abstract:
|
Design automation and analysis tools targeting embedded platforms, developed
using a component-based design approach, must be able to reason about the
capabilities of the platforms. In the general case where nothing is assumed
about the components comprising a platform or the platform topology, analysis
must be employed to determine its capabilities. This kind of analysis is the
subject of this dissertation.
The main contribution of this work is the Service Relation Model used to
describe and analyze the flow of service in models of platforms and systems
composed of re-usable components. Fundamental to the service relation model
is the novel concept of service aggregation that simply states that one service is
accessible through another.
The usefulness and versatility of the Service Relation Model is demonstrated
by means of three different applications. In the first application, the model is
used for checking the consistency of a design with respect to the availablity of
services and resources. In the second application, a tool for automatically implementing
the communication infrastructure of a process network application,
the Service Relation Model is used for analyzing the capabilities of a platform
and as a basis for efficient code generation. In the third application, the Service
Relation Model and the concept of consistency are used to guide an automated
procedure for designing systems composed of components.Værktøjer til automatisering af design opgaver målrettet indlejrede platforme,
der er udviklet ved brug af en komponent-baseret design metode, skal have
adgang til information vedrørende platformenes funktionelle egenskaber. I det
generelle tilfælde hvor intet kan antages vedrørende en platforms topologi eller
komponenterne, der indgår i platformen, må analyse benyttes til at bestemme
platformens egenskaber. Denne form for analyse er emnet for denne afhandling.
Hovedbidraget i dette arbejde er Service Relations Modellen, som benyttes til
at beskrive og analysere tilgængeligheden af tjenester i modeller af platforme og
systemer bestående af gen-brugbare komponenter. Service Relations Modellen
er baseret tjeneste-opsamlings konceptet, der beskriver hvorledes tjenester kan
være tilrådighed igennem andre tjenester.
Brugbarheden og alsidigheden af service relations modellen bliver demonsteret
igennem tre eksempeler på forskellige anvendelser. I den første anvendelse
benyttes modellen til at kontrollere konsistensen af et design med hensyn
til tilrådigheden af tjenester og resourcer. I den anden anvendelse, et værktøj
til automatisk at implementere kommunikations infrastrukturen i et process
netværk, benyttes Service Relations Modellen til at analysere en platforms funktionelle
egenskaber og som grundlag for effektiv kode generering. I den tredje
anvendelse, benyttes Service Relations Modellen sammen med konceptet om
konsistens som grundlag for en automatiseret procedure til at designe systemer
bestående af komponenter. |
| Published:
|
|
| File(s):
|
|
|
|