Thesis (Selection of subject)Thesis (Selection of subject)(version: 308)
Assignment details
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
Type of assignment: 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
Reviewers: doc. RNDr. Jan Kofroň, Ph.D.
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.
[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
Charles University | Information system of Charles University |