PUMA
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. Proceedings Published by IEEE Computer Society Link The document has been submitted to Conference: RTAS 2005, S. Francisco, 2005, 7-10 March, Technical report, 2005.
 
 
Abstract
(English)
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.
Subject Software models
Architecture level design
Scheduling
Dynamic priorities
D.4 Operating Systems
D.4.7 Organization and Design



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