Istituto di Scienza e Tecnologie dell'Informazione     
Bartolini C., Lipari G., Di Natale M. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. In: Real-Time and Embedded Technology and Applications - RTAS 2005 (San Francisco, California, 7-10 March 2005). Proceedings, pp. 458 - 467. IEEE, Computer Society, 2005.
The development of software for complex reactive embedded systems requires automated support for the verification of functional and non-functional properties. Currently, a language (or a design methodology) that can provide both at the same time without incurring in excessive inefficiencies is not available and separation of concerns is the solution advocated by many. Most research and commercial languages and tools focus on providing support for the design and validation of functional properties. At a different level, models and theory have been developed for supporting the description of the threads and resources composing the software architecture, and schedulability analysis provides support for the validation of timing constraints. However, the design of the concurrent structure of the application is still done manually. The system designer has to decide the number of threads, their structure and interactions, without the possibility of evaluating the trade-off between different solutions. This paper presents a solution towards what we believe to be a key objective, that is the synthesis of the architecture-level design and the automated logical-to-architectural mapping. Our proposal tries to reduce the overheads and excessive priority inversions of existing solutions that map all functional blocks (or reactions) into a single thread or assign a thread of execution to each action or possibly to each active object. After presenting our algorithm, we compare it with existing solutions and provide a schedulability analysis of the resulting system.
URL: http://www.computer.org/proceedings
Subject Software models
Architecture level design
Dynamic priorities
D.4 Operating Systems
D.4.7 Organization and Design

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional