Estamos realizando la búsqueda. Por favor, espere...


Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics

Abstract: Nowadays, multi-processor systems play a critical role in embedded system engineering. As a result, the generation of optimal concurrent implementations is an unavoidable but difficult task. Correct concurrent codes achieving maximum performance on the target platform are hard to obtain. On the one hand, dependencies on concurrent computations, such as shared variables or synchronizations, are extremely difficult to analyze from source code. On the other hand, it is completely unfeasible for designers to manually generate multiple implementations in order to evaluate and compare all the possible design alternatives. To overcome these limitations, this paper presents an automatic code generation approach focusing on communication channel semantics. The approach proposes the use of UML/MARTE models to enable designers to graphically handle dependencies and concurrency of the models. As a result, the automatic generation process enables multiple design alternatives to be easily obtained and evaluated without adding manual effort to the design process. To demonstrate these capabilities, the methodology is tested with two large examples.

 Autoría: Posadas H., Peñil P., Nicolás A., Villar E.,

 Fuente: Journal of systems architecture, 2015, 61(8), 341-360

Editorial: Elsevier

 Fecha de publicación: 01/09/2015

Nº de páginas: 20

Tipo de publicación: Artículo de Revista

 DOI: 10.1016/j.sysarc.2015.07.002

ISSN: 1383-7621

Proyecto español: TEC2014-58036-C4-3-R

Proyecto europeo: info:eu-repo/grantAgreement/EC/FP7/288307/EU/Parallel and Heterogeneous Architecture for Real-time ApplicatiONs/PHARAON/

Url de la publicación: https://doi.org/10.1016/j.sysarc.2015.07.002