z-logo
Premium
5.1.2 Designing Embedded Systems using Heterogeneous Rich Components 1
Author(s) -
Josko Bernhard,
Ma Qin,
Metzner Alexander
Publication year - 2008
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2008.tb00827.x
Subject(s) - computer science , key (lock) , component (thermodynamics) , boosting (machine learning) , functional design , software engineering , cover (algebra) , systems engineering , computer architecture , artificial intelligence , engineering , operating system , physics , thermodynamics , mechanical engineering
This paper aims at boosting the level of re‐use in embedded system design. A key concept to achieve this goal is given by an appropriate heterogeneous rich component model – called HRC – which is (1) expressive enough to cover the complete development cycle from high‐level specifications to design models and which (2) addresses both functional and non‐functional aspects. HRC components are characterized by formal contracts allowing various analysis techniques to validate a design already in early design stages. The described approach has been developed jointly with the partners of the SPEEDS project.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom