%0 Conference Proceedings
%T Component-Based Design of Embedded Systems
%+ Vienna University of Technology = Technische Universität Wien (TU Wien)
%A Kopetz, Hermann
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)
%C Waidhofen/Ybbs, Austria
%Y Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer
%I Springer
%3 Software Technologies for Embedded and Ubiquitous Systems
%V LNCS-6399
%P 1
%8 2010-10-13
%D 2010
%R 10.1007/978-3-642-16256-5_1
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X In many engineering disciplines, large systems are built from prefabricated components with known and validated properties. Components are connected via stable, understandable, and standardized interfaces. 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 requirement is an important constraint for the selection of a platform for the component-based design of large distributed embedded systems.
%G English
%2 https://inria.hal.science/hal-01061218/document
%2 https://inria.hal.science/hal-01061218/file/63990001.pdf
%L hal-01061218
%U https://inria.hal.science/hal-01061218
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-LNCS-6399
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-2010
%~ IFIP-SEUS
%~ IFIP-WG10-2