Programming Models and Tools for Intelligent Embedded Systems

Technical University of Denmark 2010-09

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.
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.

Open access content. Open access content
info:eu-repo/semantics/openAccess

application/pdf
English

EDN oai:pure.atira.dk:publications/82f807de-4ad1-44c8-9ae8-ad6f94ca09ba
1110497332

TECHNICAL KNOWLEDGE CTR DENMARK
From OAIster®, provided by the OCLC Cooperative.

edsoai.on1110497332