Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Thesis title in Czech: | Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems |
---|---|
Thesis title in English: | Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems |
Key words: | časová analýza proměnných, analýza zastarávání hodnot, EBCS, systémy reálného času, zpoždění ve vestavěných systémech |
English key words: | timing analysis, knowledge obsolescence analysis, knowledge field obsolescence, Ensemble-Based distributed systems, DEECo, real-time system, delays in component systems |
Academic year of topic announcement: | 2013/2014 |
Thesis type: | diploma thesis |
Thesis language: | angličtina |
Department: | Department of Distributed and Dependable Systems (32-KDSS) |
Supervisor: | prof. RNDr. Tomáš Bureš, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 08.11.2013 |
Date of assignment: | 09.11.2013 |
Confirmed by Study dept. on: | 21.11.2013 |
Date and time of defence: | 15.06.2015 09:00 |
Date of electronic submission: | 04.05.2015 |
Date of submission of printed version: | 05.05.2015 |
Date of proceeded defence: | 15.06.2015 |
Opponents: | doc. RNDr. Jan Kofroň, Ph.D. |
Guidelines |
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behaviour of the system during the runtime. It demands verification that information propagated through the system is reliable. The goal of this thesis is a research and implementation of an analysis that should identify obsolescence of variables due to delays caused by scheduling and communication in real-time systems. Analysis will be designed for Ensemble-Based Component System (EBCS) semantics because it enables precise specification and analysis of important properties. The main problem is to find a suitable input model of the analysis and find its possible limits. Effort should be put in balancing between the level of abstraction given to a RDS developer and power of the analysis itself. The main benefit of the analysis will be detection of situations in which data processed in RDS are outdated and can cause incorrect behaviour of particular components. |
References |
[1] Jiří Barnat, Nikola Beneš, Bureš T., Ivana Černá, Keznikl J.: Towards Verification of Ensemble-Based Component Systems, Proceedings of FACS 2013, Nanchang, China, Springer, October 2013
[2] Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo Computational Model - I, Tech. Report No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2013 [3] Keznikl J., Bureš T., Plášil F., Gerostathopoulos I., Hnětynka P., Nicklas Hoch: Design of Ensemble-Based Component Systems by Invariant Refinement, In Proceedings of CBSE 2013, Vancouver, Canada, ACM, June 2013 |