| List publications: | by year | by research area | by keywords | by document type | by author |
|
|
||||
|
|
|
|
|
/ by ID / PaDe09
Total: 1
Amrit Panda and
Onur Derin,
"Assembling components from requirement specifications".
In
(presented) Work-in-Progress session of Model-Driven Design for Distributed Real-time Embedded Systems (MDD4DRES'09),
Aussois, France,
April
2009
.
| Abstract | Component based design has proved to be an effective approach in the development of large and complex software systems. Extending this methodology to the design of embedded systems requires identifying and assembling reusable components that capture the behavioral properties of the system which are independent from the implementation. One of the most important benefits here is to provide the designer with very high level semantics of the components and let the framework care about creating communicating channels between components and satisfying extrta-functional properties. In this design process from the specifications to the final synthesizable blueprint we focus on the composition of components given a set of specifications and a repository of components. In order to validate the correctness of our composition algorithm we emphasize on the use of executable specifications at different levels of abstraction viz. service, functional and non-functional levels. We also propose a very abstract way of specifying the system that would be the input for the composition algorithm and lead to the final design. |
| Keywords | |
| Research area | |
| Document |  permanent link
BibTeX
DOI
full text
slides
poster |
| Share |
Use this URL to link to this page:
http://people.alari.ch/derino/apps/bebop/?action=showcategory&by=ID&pub=PaDe09
http://people.alari.ch/derino/apps/bebop/?action=showcategory&by=ID&pub=PaDe09