|
|
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
Matěna, Vladimír ; Bureš, Tomáš (vedoucí práce) ; Carlson, Jan (oponent) ; Brada, Přemysl (oponent)
Smart Cyber-Physical Systémy (sCPS) jsou komplexní systémy zaměřené na chytrou koordinaci která často vyžaduje decentralizované řízení a síťovou odolnost. Nový vývoj v oblasti robotických systémů, Průmyslu 4.0 a systémů autonomních vozidel přináší výzvy které se dají řešit za pomocí sCPS založených na ensemblech, ale pro správnou funkci vyžadují zpřesnění jejich práce se sítí a propagací dat. Tato disertační práce mapuje příklady použití sCPS ve zmíněných doménách, diskutuje požadavky na architekturu založenou na ensemblech v oblasti vztahu k síti a předkládá doporučení společně s technickým řešením které pomáhá při vývoji sítových na ensemblech založených sCPS. navržená řešení jsou vyhodnocována pomocí simulace cílových systémů za použití aktuálních realistických simulátorů sítě a pohybu automobilů.
|
|
|
Component-based engineering of Smart Cyber-Physical systems
Kit, Michal ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Carlson, Jan (oponent)
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním chováním celého systému (emergent behaviors), jež by jinak nebyly možné. Komponenty, ze kterých se jednotlivý SCPS skládá, jsou velmi často rozdílné co do účelu, chování i dostupných zdrojů. Tyto charakteristiky SCPS komponent (zejména kombinace jejich různorodosti a kooperace) přispívají k celkové odolnosti (resilience) takovýchto systémů, stejně jako k jejich souvislému fungování (availability) - což jsou klíčové vlastnosti, jejichž maximální splnění je očekáváno od moderních distribuovaných systémů. Jelikož jsou SCPS poměrně nový koncept, není pro ně podpora ve formě nástrojů pro návrh a vývoj, které by umožnily systematický inženýrský proces jejich tvorby. Cílem této práce je poskytnout metody, které se soustředí na fáze vývoje, verifikace a nasazení v rámci takového procesu. Zejména si práce klade za cíl poskytnout následující: (i) vhodné abstrakce pro modelování SCPS; (ii) běhové prostředí pro jejich nasazení a operaci; (iii) simulační nástroj umožňující verifikaci na systémové úrovni. Tyto prvky dohromady jsou dodány coby součásti frameworku DEECo, který je postaven na bázi...
|
|
|
Components and Services in Resource-Constrained Environments
Pop, Tomáš ; Plášil, František (vedoucí práce) ; Ježek, Kamil (oponent) ; Carlson, Jan (oponent)
disertační práce Název: Komponenty a servisy v prostředí s omezenými zdroji Autor: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Katedra: Katedra distribuovaných a spolehlivých systémů Matematicko-fyzikální fakulta Univerzita Karlova v Praze Školitel: Prof. František Plášil plasil@d3s.mff.cuni.cz Abstract Zařízení denní potřeby, například spotřební elektronika, telekomunikační pří- stroje, zařízení potřebná v automobilech nebo nejrůznější kontrolní systémy, se stala běžnou ale důležitou součástí našich životů. Ve srovnání s desktopovými a serverovými systémy jsou tato zařízení více omezena například množstvím dostupné paměti, limitovaným výkonem CPU nebo kapacitou baterie. Vývoj založený na softwarových komponentách je uznávanou technikou vývoje, která byla v průběhu let úspěšně aplikována v rozličných průmyslových odvětvích. Na druhou stranu, komponentové systémy využívané v průmyslu nebyly navrženy pro požití v prostředí s omezenými zdroji a nemohou tam být přímo nasazeny. Cílem práce je prozkoumat potenciál vývoje založeného na softwarových kom- ponentách v prostředí s omezenými zdroji. Na základě analýzy existujících kom- ponentových řešení zaměřených do prostředí s omezenými...
|
host ::
RSS.