Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems

Abstract

Návrh distribuovaných vestavěných systémů je často netriviální proces. Jedna z potřeb je zaručení korektního chování systému. To vyžaduje ověřit, že informace propagované skrze systém jsou spolehlivé tedy především aktuální. Cílem práce je výzkum a implementace analýzy, která bude schopna identifikovat zastarávání hodnot, které vzniká z důvodu zpoždění při rozvrhování a komunikaci v systémech reálného času. Analýza bude navržena pro Ensemble-Based Component System (EBCS) sémantiku, která umožňuje formální specifikaci vstupu a zároveň je dostatečně obecná. Hlavním úkolem bude nalézt správný vstupní model analýzy a její možné limity. Úsilí by mělo být vloženo do balancování mezi úrovní abstrakce, kterou poskytneme uživateli, a sílou analýzy jako takové. Hlavním přínosem analýzy bude detekce situací, při nichž jsou data, která jsou zpracovávána v systému, zastaralá a mohou způsobit nevhodné chování jednotlivých komponent.

Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior 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 behavior of particular components.