• Aucun résultat trouvé

Component-Based Design of Embedded Systems

N/A
N/A
Protected

Academic year: 2021

Partager "Component-Based Design of Embedded Systems"

Copied!
2
0
0

Texte intégral

(1)

HAL Id: hal-01061218

https://hal.inria.fr/hal-01061218

Submitted on 5 Sep 2014

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Distributed under a Creative Commons Attribution| 4.0 International License

Component-Based Design of Embedded Systems

Hermann Kopetz

To cite this version:

Hermann Kopetz. Component-Based Design of Embedded Systems. 8th IFIP WG 10.2 Interna-

tional Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010,

Waidhofen/Ybbs, Austria. pp.1, �10.1007/978-3-642-16256-5_1�. �hal-01061218�

(2)

Component-Based Design of Embedded Systems

Hermann Kopetz

TU Wien, Austria hk@vmars.tuwien.ac.at

Abstract. In many engineering disciplines, large systems are built from prefabricated components with known and validated properties. Compo- nents are connected via stable, understandable, and standardized inter- faces. The system engineer has knowledge about the global properties of the components-as they relate to the system functions-and of the detailed specification of the component interfaces. Knowledge about the internal design and implementation of the components is neither needed, nor available in many cases. A prerequisite for such a constructive approach to system building is that the validated properties of the components are not affected by the system integration. This composability require- ment is an important constraint for the selection of a platform for the component-based design of large distributed embedded systems.

Component-based design is a meet-in-the middle design method. On one side the functional and temporal requirements on the components are de- rived top-down from the desired application functions. On the other side, the functional and temporal capabilities of the components are contained in the specifications of the available components (bottom up). During the design process a proper match between component requirements and component capabilities must be established. If there is no component available that meets the requirements, a new component must be devel- oped.

A prerequisite of any component-based design is a crystal clear compo- nent concept that supports the precise specification of the services that are delivered and acquired across the component interfaces. In real-time systems, where the temporal properties of component services are as im- portant as the value properties, the proper notion of a component is a hardware software unit.

In the first part of this presentation the different interfaces of an embed- ded system component will be introduced. The services of the compo- nent are provided by the linking interface (LIF) that must be precisely specified in the domains of value and time. The technology independent interface TII is used to parameterize a component to the given appli- cation environment. While a component provider must assure that the component works properly in all configurations that are covered by the parameter space, the component user is primarily interested in the cor- rect operation of the concrete component configuration. The following parts will be concerned with the composition of components and the notion of emerging properties in systems of components.

Références

Documents relatifs

The lower layer describes the behavior of a component as a set of atomic compo- nents; the intermediate layer includes connectors describing interactions between transitions of

CALICO provides architects with a set model-based tools for edit- ing AD models and checking model consistency during the design task, for generating skeleton code during

In this paper, we propose a design and real-time analysis process that is compliant with the current usage of robotic software developers, uses an accurate model of the

The corrosion fatigue analysis mainly considered the effect of variable amplitude loading (pressure fluctuation) on small weld defects. The Miners rule and Paris

The presence of T (C) in the composition tree indicates that a number of objects of the class C can be instantiated at this point in the final product, but their exact number

Indeed, the real-time BIP engine becomes a temporal plan execution controller by providing a correct schedule of actions, which communicates with the functional level through an

Thus, the capabilities of the platform along with the presented in the paper workflow component on the base of SIL component and CMIL help to create the meso level functionality of

Section IV explains concretely how we envision to integrate the Palladio Component Model (PCM) [6], a mod- elling formalism capable of expressing complex software ar- chitectures