Thesis (Selection of subject)Thesis (Selection of subject)(version: 307)
Assignment details
The Progress run-time architecture
Thesis title in Czech: The Progress run-time architecture
Thesis title in English: The Progress run-time architecture
Academic year of topic announcement: 2008/2009
Type of assignment: diploma thesis
Thesis language: angličtina
Department: Department of Software Engineering (32-KSI)
Supervisor: prof. RNDr. Tomáš Bureš, Ph.D.
Author: hidden - assigned and confirmed by the Study Dept.
Date of registration: 02.10.2008
Date of assignment: 02.10.2008
Date and time of defence: 25.05.2009 00:00
Date of proceeded defence: 25.05.2009
Reviewers: Mgr. Martin Děcký, Ph.D.
Models and components have become an indispensable part in the development of embedded systems. They reduce the complexity of embedded systems and provide a formal ground on which analysis and synthesis may be performed. This thesis is part of a large project, called PROGRESS, which aims at providing component-based techniques for the development of embedded systems.

The design and development of components in PROGRESS is supplemented by deployment activities consisting of four parts: (1) allocation of components to virtual nodes, (2) synthesis of the code belonging to each virtual node, (3) mapping virtual nodes to physical nodes and (4) creating of the glue and system wrapper code for previously synthesized virtual node code. In code synthesis, the code of components are merged, optimized and mapped to artifacts of an underlying real-time operating system. In creating of glue and system wrapper code, the communication between tasks from different virtual nodes is solved and main executable file responsible for running appropriate virtual nodes for each physical node is created.

The aim of the thesis is to identify necessary questions about patterns for API and runtime environment of the synthesized code created in the second phase of the development process described above and about fourth phase of the this process.

The thesis should investigate the structure of virtual nodes and the supporting mechanisms needed to run them on the physical nodes, includig the support for communication between virtual nodes. A part of the thesis will be an implementation of a simple application based on the component approach which will help in identifying concerns and demonstrate possible solutions. The implementation should cover the handling of local and remote communication, event driven and timer driven tasks and running system with two physical nodes of embedded hardware.
[1] Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., Crnkovic, I.: A Component Model for Control-Intensive Distributed Embedded Systems, Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE2008), Karlsruhe, Germany, Editor(s):Michel R.V. Chaudron and Clemens Szyperski, October, 2008

[2] Bures, T., Carlson, J., Crnkovic, I., Sentilles, S., Vulgarakis, A.: ProCom - the Progress Component Model Reference Manual, version 1.0, Tomas Bures, Jan Carlson, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2008
Charles University | Information system of Charles University |