Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase

Rozměr: px
Začít zobrazení ze stránky:

Download "Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase"

Transkript

1 Univerzita obrany Fakulta vojenských technologií Katedra komunikačních a informačních systémů Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase Teze disertační práce Školitel: prof. Ing. Václav Přenosil, CSc. Ing. Pavel Čeleda Brno 2007

2 Student: Ing. Pavel Čeleda Studijní program: Vojenská technika - elektrotechnická P Studijní obor: Velení a řízení, informatika a robotika V/036 Předseda komise: Místopředseda: Školitel: Oponent: Oponent: Člen komise: Člen komise: Člen komise: Člen komise: prof. Ing. Vladimír Řeřucha, CSc. prof. Ing. Jaromír Krejčíček, CSc. prof. Ing. Václav Přenosil, CSc. doc. Dr. Ing. Tomáš Brandejský pplk. Ing. Josef Kaderka, Ph.D. doc. Ing. Vladimír Vráb, CSc. doc. Ing. Rudolf Jalovecký, CSc. pplk. Ing. Vlastimil Malý, CSc. prof. Ing. Mirko Novák, DrSc. Datum a hodina obhajoby: 24. května 2007, 10:00 Místo konání obhajoby: Univerzita obrany, Kounicova 65, Brno

3 Abstrakt Disertační práce se zabývá problematikou zvýšení spolehlivosti a diagnostikou operačních systémů pracujících v reálném čase. Programové a technické vybavení je stále složitější a neustále vzniká nebezpečí, že dojde k selhání zařízení v důsledku skrytých chyb. Ke vzniku chyby může dojít během všech etap životního cyklu programového vybavení. V důsledku těchto chyb hrozí materiální i lidské ztráty. Práce analyzuje aktuální stav v oblasti operačních systémů reálného času. K řešení disertační práce byl vybrán OS Linux s real-time rozšířením a navazující open-source programové vybavení vhodné pro vestavné systémy. Navržený diagnostický podsystém umožňuje metodou průběžné diagnostiky detekci a lokalizaci poruch v reálném čase. Metodou MDA je vytvořena úloha s inteligentním diagnostickým časovačem, monitorující chování řídicí úlohy a operačního systému. V rámci provedených experimentů jsou ověřeny real-time vlastnosti OS Linux. Je srovnána metoda MDA a její výstupy s klasickým přístupem, kdy zdrojový kód vytváří programátor. Klíčová slova spolehlivost, diagnostika, operační systém, reálný čas, Linux, RTAI, RTOS, UML, MDA, MTL, PC/104, C Abstract The dissertation deals with the problem of increasing dependability and diagnostics of real-time operating systems. Software and hardware parts in nowadays systems are more and more complex. The threat that system will fail in consequence of software or hardware bug grows continually. The bug may appear at any time during software lifecycle. In consequence of these bugs the material and human losses may arise. The work analyses the state of the art in the real-time operating systems area. Linux operating system is used to solve dissertation goals. The selected operating system uses real-time extension together with other open-source software suitable for embedded systems. Proposed diagnostics subsystem uses on-line diagnostics method to detect and locate system failure. MDA method is used to design intelligent watchdog timer for monitoring control tasks and operating system. The real-time features of Linux operating system are experimentally verified. The results of the MDA method are compared with source code written by programmer. Key words dependability, diagnostics, operating system, real-time, Linux, RTAI, RTOS, UML, MDA, MTL, PC/104, C

4 1 Úvod 1 1 Úvod Vyspělé prvky informačních technologií jsou stále častěji aplikovány do celé řady přístrojů a zařízení. V mnoha případech nejsou nikterak nápadné a unikají naší pozornosti. Staly se nedílnou součástí dnešní doby a jejich vliv do budoucna stále poroste. Společnou vlastností, kterou se vyznačují, je narůstající množství na ně kladených kritérií, požadavků a úkolů. Vnitřní struktura těchto systémů je stále více složitější. Narůstá objem programového vybavení, které je nutné vytvořit a spravovat po celou dobu životnosti systému. Základ programového vybavení, které se využívá při realizaci řídicích úloh tvoří operační systém (OS Operating System). Jeho vlastnosti a chování fundamentálně ovlivňují praktické možnosti výsledného řízení a do značné míry i architekturu řídicích aplikací. Operační systémy určené pro řídicí úlohy jsou označovány jako operační systémy reálného času (RTOS Real-Time Operating System). Hlavní rozdíl, kterým se operační systémy reálného času odlišují od běžně používaných operačních systémů, spočívá v potenciálních následcích, které mohou vzniknout při nesplnění požadovaných kritérií. Tento fakt podtrhuje specifická oblast použití RTOS (automobilní a letecká technika, robotické systémy, náročné výrobní procesy atd.). Zajisté by se nikomu nelíbilo, kdyby brzdový systém automobilu vypověděl službu během brždění. Složitá chemická reakce také nebude čekat, než se řídicí systém rozmyslí, jestli včas přidá další příměsi. Je zřejmé, že spolehlivost hraje v oblasti RTOS důležitou roli. S narůstajícím stupněm složitosti programového vybavení vzniká stále větší nebezpečí, že dojde k selhání celého zařízení v důsledku skrytých chyb. Ke vzniku nové chyby může dojít během návrhu, vývoje či údržby stávajícího programového vybavení. Celá řada odborníků po celém světě řeší tento ožehavý problém. Nelze však hovořit o uspokojivém stavu, protože množství chyb v programech neustále přibývá. V důsledku toho dochází stále k velkým materiálním ztrátám a v horších případech i ke ztrátám na lidských životech [6, 7]. Pojmy spolehlivost a diagnostika zdomácněly v terminologii informačních technologií, jsou však mnohdy chápány nesprávně či vykládány příliš populární formou. Oba pojmy vznikly a rozvíjely se ve vědních oborech jako je strojírenství, elektrotechnika či lékařství odkud je pak převzala informatika. Cílem disertační práce je poukázat na možnosti zvýšení spolehlivosti stávajících operačních systémů reálného času. Je navržena metoda doplnění programového vybavení o diagnostický podsystém schopný sledovat chování systému a reagovat na zjištěné problémy. Disertační práce je orientována na oblast vestavných systémů a použití volného programového vybavení (open source) k vytváření těchto systémů. Prakticky jsou navržené metody ověřeny na technickém a programovém vybavení bezpilotních letounů vytvořených v rámci projektu obranného výzkumu Záznam II.

5 1 Úvod Formulace problému Všechny etapy životního cyklu programového vybavení jsou úzce spjaty s problémem spolehlivosti. Pokud již v počátku dojde ke vzniku chyby v programovém vybavení, je často tato chyba dále přenášena a ovlivňuje navazující etapy. Z tohoto důvodu lze považovat za jednu z klíčových úloh zvýšení inherentní spolehlivosti programového vybavení. Inherentní spolehlivostí je označována spolehlivost vložená do objektu v průběhu jeho návrhu a realizace. S ohledem na kritéria a specifika armádních podmínek lze výše uvedené tvrzení dále rozvést. Dlouhá životnost armádních zařízení (10 a více let) má za následek, že většina programového a technického vybavení přestane být postupem času podporována (ukončení výroby, ukončení podpory produktu, zánik dodavatele atd.). K udržení požadované funkce se pak často musí dané zařízení adaptovat novým technologiím, do určité míry modernizovat, nebo znovu vyvinout. Při malých sériích, které jsou typické pro tento druh zařízení a potřebě kvalitní vývojové základny, dochází k velkým finančním nákladům. Je zřejmé, že spolehlivost nového zařízení nemusí vždy dosahovat úrovně svého provozem ověřeného předchůdce. Z dlouhodobého hlediska lze označit za slabiny současných metod vývoje programového vybavení následující příčiny: za hybnou sílu vývoje je stále považována tvorba zdrojového kódu, postupné vzdalování se zdrojového kódu od původního popisu systému, rostoucí s počtem oprav skrytých chyb programu a inovací úlohy, nízká úroveň opětovného použití již vytvořeného programového vybavení, úzká vazba na konkrétní technologie (technické a programové vybavení), absence univerzálního přístupu umožňující migraci mezi technologiemi, rychlá devalvace technologií a produktů na nich založených, problematické použití metod formální analýzy a verifikace systému. Současné možnosti provádění cílené diagnostiky programového vybavení jsou stále v řadě případů limitované. Většina operačních systémů poskytuje prostředky, které umožňují sledování vnějšího chování systému. Problematické však již bývá sledování vnitřního chování a stavu jednotlivých spuštěných úloh bez toho, aby musely být spuštěny v nějakém speciálním režimu (např. krokování programu, sledování systémových volání a signálů atd.). Systémy funkční (on-line) diagnostiky operačních systémů reálného času mají stále ještě řadu rezerv, mezi které patří: absence standardu, který by definoval podmínky a metodiku průběžné diagnostiky programového vybavení, programové vybavení (aplikace a jádro operačního systému) většinou nepředpokládá průběžnou diagnostiku, diagnostika je zaměřena na technické vybavení a jeho monitorování, diagnostika programového vybavení je opomíjena, zabezpečení distribuovaných diagnostických a monitorovacích systémů proti zneužití, včasné a adekvátní vyhodnocení nashromážděných diagnostických dat.

6 1 Úvod Cíle disertační práce S ohledem na zvýšení inherentní spolehlivosti je důležité nalezení způsobu, jak z dlouhodobého hlediska popsat vytvářené programové vybavení. Popis (model systému) musí vystihovat, jaké funkce má systém plnit a musí být nezávislý na cílové platformě. Postupná transformace modelu systému by měla za výsledek finální podobu aplikace (zdrojový kód). Pozdější úpravy by byly prováděny pouze na úrovni modelu odkud by se změny, pokud možno automaticky, promítnuly do ostatních navazujících částí. Model by zároveň sloužil jako výchozí zdroj pro ostatní procesy spojené s tvorbou programového vybavení. Jednalo by se např. o verifikaci systému formálními metodami či automatické vytváření programové dokumentace. Cílem disertační práce bylo navrhnout diagnostický podsystém pro operační systém reálného času, vhodný pro vestavné systémy s omezenými výpočetními a paměťovými prostředky. Provést specifikaci, analýzu a návrh diagnostického podsystému pomocí zvolené metody pro tvorbu spolehlivého programového vybavení. Výsledný diagnostický podsystém následně experimentálně ověřit v prostředí operačního systému reálného času. Cíle disertační práce byly rozděleny do tří hlavních částí, které tvoří: 1) specifikace, analýza a návrh diagnostického podsystému, 2) vytvoření diagnostického podsystému, 3) experiment v prostředí operačního systému reálného času. Cílem specifikace a analýzy diagnostického podsystému bylo vytvoření koncepce navrhovaného systému. Zvážení dopadů plynoucích z doplnění jádra a aplikačních procesů o rozšiřující diagnostické funkce na real-time vlastnosti celého systému. Volba metody umožňující optimální sledování chování programového vybavení uvnitř systému s možností dynamicky reagovat na vzniklé poruchy. První část je členěna na následující dílčí problémy: diagnostické rozhraní systému, systém diagnostických zpráv, správce diagnostikovaných úloh, dopady na real-time vlastnosti systému, přenositelnost a použitelnost systému pro COTS (Commercial Off-The-Shelf ) operační systémy. Druhá část vychází z návrhu diagnostického podsystému a vybraná část byla postupně transformována do podoby funkční aplikace. Výsledkem je zdrojový kód aplikace obsahující programové konstrukce umožňující on-line diagnostiku: platformově nezávislý model diagnostického podsystému, model diagnostického podsystému pro zvolenou platformu, zdrojový kód diagnostického podsystému. Závěrečný experiment sloužil k ověření funkce navrženého systému v reálných podmínkách. Provedení experimentu vyžadovalo použít operační systém reálného času, podporující standard POSIX. Hlavními cíli experimentu byly: volba a sestavení výpočetního systému vhodného pro experiment, ověření funkce diagnostického podsystému u zvoleného operačního systému reálného času, určení vlivu diagnostického podsystému na real-time vlastnosti systému.

7 2 Charakteristika současného stavu 4 2 Charakteristika současného stavu Operační systémy reálného času Obecně lze pohlížet na systém reálného času jako na systém, který zpracovává asynchronní události a za všech podmínek v pevně stanoveném čase na ně produkuje odpovědi. Systémy reálného času jsou členěny do dvou hlavních kategorií (hard a soft real time). Rozdíl mezi jednotlivými kategoriemi spočívá v dodržení časových podmínek kladených na funkce systému a aplikací na něm spuštěných. Operační systém reálného času je takový systém, v němž správnost výpočtu nezáleží pouze na logické správnosti algoritmu, ale i na čase, ve kterém byl výsledek vypočten. Pokud časové podmínky systému nejsou dodrženy, říká se, že systém selhal [11]. Inherentní spolehlivost programového vybavení V oblasti informačních technologií lze považovat úroveň inherentní spolehlivosti za jeden z klíčových faktorů k dosažení vysoké spolehlivosti výsledného programového vybavení. Postupem času vznikla řada metod jak dosáhnout určitého stupně zvýšení spolehlivosti. Přesto neustále dochází k chybám v programech. Jaké jsou důvody proč tyto chyby neustále vznikají [3]? Neutuchající každoroční prudký růst v oblasti informačních technologií. Tlak na dosažení co největší produktivity a zkrácení doby vývoje produktu (SW a HW) na minimum. Vytváření zdrojového kódu aplikací je považována obecně za nejdůležitější činnost. Používání programovacích jazyků (C, C++, ASM) umožňuje vznik nebezpečných konstrukcí, které mohou vést k selhání programu. Nedostatečné používání nástrojů na testování zdrojových kódů programu. Programátoři jsou lidé a mají tendence si zjednodušovat práci. Často volí jednodušší přístup řešení problému před komplexním přístupem zohledňujícím všechny rizika. Byli, jsou a budou špatní programátoři s nedostatečnými znalostmi a praktickými zkušenostmi. Množství programového vybavení, které je nutné udržovat po delší dobu, stále narůstá. Společně s tím roste i objem zdrojového kódu nezbytného pro jeho realizaci. Často je přehlížen fakt, že i drobné úpravy ve zdrojovém kódu mohou mít dalekosáhlé následky na spolehlivost. Diagnostika operačních systémů reálného času Diagnostické metody [9, 10] používané v systémech pracujících v reálném čase, mohou mít jednu z následujících forem: spouštěcí diagnostika, periodická diagnostika, průběžná diagnostika, diagnostika redundantních částí.

8 2 Charakteristika současného stavu 5 Pro řešení cílů disertační práce byla zvolena metoda průběžné diagnostiky. Tato metoda poskytuje informace o správnosti operací prováděných v systému a je v podstatě totožná se zabezpečením systému proti poruchám. Obvykle je založena na kontrole správnosti bezpečnostního kódu a je prováděna technickými prostředky. Hlavní výhodou průběžné diagnostiky realizované tímto způsobem je její časová nenáročnost (výpočet se nepřerušuje ani nezpomaluje) a velmi jednoduché řízení. Průběžná diagnostika však může být realizována i jinou formou kontroly správnosti výsledku, např. kontrolním výpočtem probíhajícím v jiném procesoru, opakovaným výpočtem ve stejném procesoru, jednoduchou kontrolou důležitých vlastností získaného výsledku (např. porovnáním s mezními hodnotami) apod. Metody návrhu programového vybavení Na počátku vývoje programového vybavení je vždy zadání (popis systému), na základě kterého dojde k vytvoření programového vybavení. Popis systému je často představován modelem, který poskytuje potřebný stupeň abstrakce a prostředky pro popsání chování a vlastností systému. Na obr. 1 jsou znázorněny různé vztahy mezi modelem a zdrojovým kódem [1, 5]. pouze vizualizace obousměrný kód kódu vývoj transformace modelu pouze model model model model model kód kód kód kód model neexistuje kód je modelem kód a model koexistují model je kódem kód neexistuje Obr. 1: Vztah mezi modelem a zdrojovým kódem

9 3 Postup řešení cílů disertační práce 6 3 Postup řešení cílů disertační práce V rámci disertační práce navržený systém se zvýšenou spolehlivostí a zabudovanou diagnostikou, je určen pro vestavné systémy pracující v reálném čase. Systém je tvořen operačním systémem reálného času a úlohami na něm spuštěnými. Vlastnosti výsledného systému jsou součtem vlastností jak jádra RTOS, tak i spuštěných úloh. Vestavný systém má k dispozici omezené výpočetní a paměťové prostředky. Typické řídicí úlohy ve vestavných systémech jsou charakteristické tím, že úloha prochází v nekonečné smyčce konečným počtem stavů. K popisu jednotlivých stavů a přechodů mezi nimi, lze použít stavové automaty [8]. Převod na zdrojový kód lze uskutečnit např. metodou SOP (State-Oriented Programming) [15]. Cílem disertační práce nebylo pokrýt celé spektrum poruch, které mohou na systém působit. Systém má být odolný vůči poruchám v důsledku výskytu chyb v programovém vybavení. Další možné zdroje chyb a poruch nebyly uvažovány. 3.1 Diagnostický podsystém pro operační systémy reálného času Navržený diagnostický podsystém má hierarchickou strukturu, kterou tvoří tři základní úrovně: uživatelské rozhraní pro dohled nad systémem, hlavní diagnostická jednotka (nadřízený), výkonné řídicí jednotky (podřízení) se zabudovanými diagnostickými prvky. řídicí jednotka dohledové centrum hlavní diagnostická jednotka řídicí jednotka řídicí jednotka Obr. 2: Hierarchická struktura diagnostického podsystému S ohledem na konkrétní aplikaci mohou jednotlivé úrovně představovat samostatná navzájem propojená zařízení. Na druhou stranu se však může jednat i o systém, kde jednotlivé vrstvy budou představovat procesy spuštěné v rámci operačního systému reálného času nad společným technickým vybavením viz obr. 3. Diagnostické rozhraní operačního systému Jednotlivé řídicí procesy obsahují rozhraní pro sdílení informací s diagnostickým podsystémem. Operační systém reálného času a diagnostický podsystém sdílí společný procesor, paměť atd. a proto lze označit tento typ monitorování za intrusivní monitorování.

10 3 Postup řešení cílů disertační práce 7 Navržená struktura diagnostického podsystému je založena na struktuře vyobrazené na obr. 3. Diagnostický podsystém je složen ze čtyř základních částí, které tvoří: řídicí procesy s diagnostickým rozhraním, diagnostická sběrnice, diagnostický modul jádra operačního systému, správce diagnostikovaných úloh. uživatelský prostor diagnostický a monitorovací manažer proces 1 proces 2 proces n diagnostická sběrnice diagnostický modul jádra jádro RTOS prostor jádra Obr. 3: Diagnostický podsystém operačního systému reálného času Jednotlivé části diagnostického podsystému jsou umístěny do uživatelského prostoru (user space) a prostoru jádra (kernel space). Prostor jádra je využíván pro privilegované procesy a procesy s vysokou prioritou. Pro ostatní části diagnostického podsystému je vyhrazeno místo v uživatelském prostoru. Z důvodu spolehlivosti a bezpečnosti systému by měla být většina procesů spuštěna v uživatelském prostoru. Diagnostické rozhraní řídicího procesu Řídicí proces je popsán stavovým automatem, který popisuje funkci daného procesu. Současně se stavovým automatem řídicího procesu je prováděn i stavový automat diagnostického rozhraní. Diagnostické rozhraní řídicího procesu je složeno ze tří částí, které tvoří: diagnostický stavový automat - představuje vybraný diagnostický algoritmus, rozhraní mezi diagnostickým a řídicím stavovým automatem - výměna dat mezi řídicí a diagnostickou částí uvnitř prováděné úlohy, rozhraní mezi diagnostickým stavovým automatem a diagnostickou sběrnicí - předávání diagnostických zpráv uvnitř systému. Informace o aktuálním stavu řídicího procesu jsou získávány pomocí diagnostických registrů. Diagnostické registry umožňují přístup do adresového prostoru řídicího procesu a jsou tvořeny sadou základních registrů a uživatelsky definovanými registry. Základní diagnostické registry jsou implementovány ve formě SW-JTAGu [12]. Myšlenka koncepce SW-JTAGu využívá principu IEEE pro potřeby

11 3 Postup řešení cílů disertační práce 8 Proces 1 řídicí stavový diagram Proces 2 řídicí stavový diagram diagnostický stavový diagram diagnostický stavový diagram diagnostická sběrnice Obr. 4: Řídicí proces s diagnostickým rozhraním průběžné diagnostiky programového vybavení. Doplněním SW-JTAGu do programového vybavení se naskýtá možnost sledovat v reálném čase chod jednotlivých částí systému, detekovat a lokalizovat případný výskyt poruchy. 3.2 Inteligentní diagnostický časovač Stávající řešení s diagnostickými časovači (WDT Watchdog Timer) pro použití ve víceúlohových systémech není zcela optimální. Z tohoto důvodu bylo navrženo následující rozšíření WDT: vytvoření a přiřazení dedikovaného (virtuálního) WDT jednotlivým součástem řídicího systému (procesy, jádro OS atd.), zapojení jednotlivých (virtuálních) WDT do centrálního SW-WDT napojeného na fyzický HW-WDT, začlenění mechanizmů obnovení po detekci poruchy v systému. Vytvořená hierarchická struktura WDT umožňuje sledovat chování jednotlivých součástí řídicího systému. Inteligentní diagnostický časovač je nedílnou součástí diagnostického podsystému, který sleduje chování celého systému. úloha č. 1 WDT úloha č. 2 WDT SW watchdog reset HW watchdog úloha č. n WDT RESET systému Obr. 5: Princip inteligentního diagnostického časovače Každá část systému má vlastní charakteristické chování. Úlohy s vysokou prioritou jsou vykonávány častěji v porovnání s úlohami běžícími na pozadí. Použitím jednoho společného WDT by vedlo k tomu, že pokud by jedna část systému selhala,

12 3 Postup řešení cílů disertační práce 9 zbývající části by mohly dál udržovat WDT v iluzi, že je vše v pořádku. Bylo by problematické detekovat, zda úlohy s nižší prioritou jsou funkční a obsluhují WDT. Použitím inteligentního diagnostického časovače se tento problém eliminuje. 3.3 Model diagnostického podsystému Úloha inteligentního diagnostického časovače byla podrobena dalšímu zkoumání. Zejména se jednalo o vytvoření modelu úlohy producent - konzument bez a s diagnostickým časovačem a jeho převod do podoby zdrojového kódu. Bylo provedeno srovnání metody MDA (Model Driven Architecture) [13] s metodou, kdy je zdrojový kód vytvářen programátorem. Popis systému metodou MDA Metoda MDA se sestává z jazyka UML (Unified Modeling Language) pro popis a vizualizaci modelů, standardu MOF (Meta Object Facility), popisujícího abstraktní jazyk pro správu a uchování objektů a modelů vytvořených pomocí UML v datovém skladu a konverzního prostředku XMI (XML Metadata Interchange) pro výměnu modelů mezi jednotlivými MDA nástroji. model platformy model aplikace model diagnostického podsystému platformově specifický model zdrojový kód model RTOS Obr. 6: Transformace modelů PIM na PSM a zdrojový kód Na obr. 6 jsou zobrazeny jednotlivé modely a transformace nutné k vytvoření zdrojového kódu metodou MDA. Metoda MDA definuje obousměrnou transformaci, tj. změny na vyšší úrovni jsou promítány do modelů nižší úrovně a naopak. Platformově nezávislé modely (PIM Platform Independent Model) popisují tři základní části programového vybavení výpočetního systému: model operačního systému reálného času - popisuje entity, které se vyskytují v operačních systémech reálného času (procesy, metody plánování, synchronizační mechanizmy, vstupně/výstupní operace atd.), model diagnostického podsystému - popisuje entity, které jsou součástí diagnostického podsystému (diagnostické rozhraní OS a úloh, diagnostická sběrnice, systém diagnostických zpráv, správce diagnostických úloh atd.),

13 3 Postup řešení cílů disertační práce 10 model aplikace - popisuje entity tvořící aplikaci (uživatelské rozhraní, obsluha vstupů/výstupů, řídicí algoritmy atd.). Platformově nezávislé modely popisují koncepci řešení diagnostiky programového vybavení u systémů reálného času. Modely PIM neobsahují informace spojené s konkrétními technologiemi a umožňují provést řešení na obecné úrovni. Transformace modelů PIM na PSM (Platform Specific Model) zahrnuje následující kroky: Doplnění mapovacích značek do PIM modelu. Mapovací značky definují, která transformační pravidla se mají použít. Výběr cílové platformy (modelu platformy), pro který bude vytvořen PSM model. Transformace modelu PIM na PSM s ohledem na zvolenou cílovou platformu a transformační pravidla. Vytvořený PSM model má strukturu velice blízkou výslednému zdrojovému kódu. Závěrečná transformace převádí PSM model na zdrojový kód. Generátor zdrojového kódu využívá předpřipravených šablon k převedení PSM modelu na zdrojový kód. Výsledný kód je bez dalších úprav použit k sestavení finální aplikace. Generování zdrojového kódu Platformově nezávislý model úlohy producent - konzument byl transformován pomocí jazyka MTL (Model Transformation Language) na PSM model. Vytvořený PSM model byl následně použit jako vstup pro generátor zdrojového kódu. Generování zdrojového kódu bylo provedeno dvěma způsoby: generátor zdrojového kódu napsaný v jazyce MTL, generátor zdrojového kódu modelovacího nástroje Poseidon CE. V prvním případě se jednalo o návrh vlastního generátoru zdrojového kódu pomocí jazyka MTL. Generátor umožňoval převést PSM model úlohy producent - konzument na zdrojový kód v jazyce Java. K transformaci PSM modelu byla použita metoda dopředného vývoje. Výsledný zdrojový kód obsahoval převedené diagramy tříd (data, metody). V kódu však scházely příkazy (operace) v těle metod. Jazyk UML ve verzi 1.4 nedisponuje dostatečnými prostředky, které by byly schopny popsat detailně vstupní model. Pro vygenerování plnohodnotného zdrojového kódu metodou dopředného vývoje je však nezbytné, aby vstupní model obsahoval všechny potřebné informace. V druhém případě byl zdrojový kód generován pomocí modelovacího nástroje Poseidon CE. Modelovací nástroj Poseidon CE využívá metody obousměrného vývoje, kdy model a zdrojový kód koexistují. Generátor zdrojového kódu převedl model PSM na zdrojový kód. Scházející části ve vygenerovaném zdrojovém kódu, byly doplněny ručně a následně byly zpětně importovány do PSM modelu.

14 4 Experimenty v prostředí operačního systému reálného času 11 4 Experimenty v prostředí operačního systému reálného času Během vypracování disertační práce bylo provedeno několik experimentů. Výchozím bodem pro všechny experimenty byl funkční operační systém reálného času, který byl provozován na procesorových modulech PC/104. Experimenty byly prováděny jak v laboratorních podmínkách, tak i prakticky během letových zkoušek s bezpilotními letouny. 4.1 Experiment letiště Přerov Praktický experiment s bezpilotním prostředkem se uskutečnil 15. července 2004 na letišti v Přerově. Do draku UAV (Unmanned Aerial Vehicle) byla zabudována minimalizovaná verze diagnostické ústředny (DÚ) [2, 14]. Cílem experimentu bylo ověřit základní funkce DÚ v reálných podmínkách. Během letu byly na paměťové médium zaznamenávány údaje z GPS, elektronického kompasu a gyroskopu. Rozmístění jednotlivých funkčních bloků je vyobrazeno na obr. 7. Přijímač GPS a elektronický kompas byly umístěny vně draku UAV. Mechanické uchycení jednotlivých částí bylo provedeno šrouby do draku UAV přes tlumící gumovou podložku nahrazující silentbloky. GPS 16A gyroskop elektronický kompas PC/104 Obr. 7: Umístění elektronického vybavení na bezpilotním prostředku Záznam dat během experimentu Centrální řídicí jednotka prováděla záznam dat ze senzorů připojených na sériových rozhraních ttys1 ttys3 (UART1 UART3) viz obr. 8. Jednotlivé senzory byly přednastaveny v laboratorních podmínkách, aby se vyloučila možná chyba konfigurace. Jeden cyklus měření odpovídal době od připojení systému na zdroj napájení až po regulérní vypnutí systému. Funkce DÚ byla v reálném čase monitorována pomocí rádiového spoje z pozemního stanoviště. Díky této funkci se podařilo odhalit počáteční problémy s mechanickým uchycením konektorů, které v důsledku vibrací uvnitř UAV vedly k jejich svévolnému rozpojení.

15 4 Experimenty v prostředí operačního systému reálného času 12 Aerocomm AC MHz radio link 5V / 1A 9600,N,8,1 RTS/CTS UART0 Procesorový modul PC/104 - MSM586SEV AMD ÉlanSC520 SDRAM 128 MB 133 MHz UART ,N,8,1 elektronický kompas HMR V / 24mA GPS 16A 8V / 100mA 38400,N,8,1 UART1 CFC 256 MB 5V/1A UART ,N,8,1 gyroskop 8V / 200mA aktivní chlazení NiMH baterie 8 článků SANYO mah Zdroj napájení napětí z baterie 9,2V stabilizátor 5V / 5A stabilizátor 3,3V / 1A Obr. 8: Bloková struktura výpočetního systému použitého během experimentu Vyhodnocení dat z GPS přijímače Získaný záznam datových vět ve formátu NMEA z GPS přijímače byl předzpracován a byly vyloučeny neplatné záznamy (fáze kdy GPS přijímač nebyl zasynchronizovaný). Následně byla data zobrazena programem GnuPlot. Na obr. 9 je znázorněna dosažená výška během letu UAV, vztažená k nadmořské výšce letiště. 180 UAV - Flight Level (Přerov ) Flight Level Flight Level [m] :02:30 12:03:00 12:03:30 12:04:00 12:04:30 12:05:00 12:05:30 Universal Time (UTC) [h] Obr. 9: Průběh dosažené výšky zaznamenaný z GPS přijímače Závěr k experimentu na letišti v Přerově Během experimentu se podařilo ověřit funkčnost DÚ navržené v rámci projektů VGA [2, 4]. V DÚ byla použita zjednodušená verze výpočetního systému (obr. 8), založená na procesorovém modulu MSM586SEV a inteligentních senzorech určených pro sběr letových charakteristik UAV. Získané údaje ze senzorů byly použity k dalšímu vyhodnocení, které ukázalo, že je nutné věnovat pozornost hlavně snímačům inerciální navigační soustavy a jejich okolí. Nainstalovaný operační systém nevykazoval žádné výpadky. Systém fungoval spolehlivě a v logovacích záznamech se neobjevily žádné poruchy.

16 4 Experimenty v prostředí operačního systému reálného času Testování real-time vlastností OS Linux Cílem experimentu bylo ověřit real-time vlastnosti OS Linux bez a se zapnutou podporou pro real-time aplikace. Testy byly prováděny na procesorovém modulu PCM-3350 s linuxovém jádrem a real-time rozšířením RTAI (Real-Time Linux Application Interface) verze 3.1. Byly provedeny následující testy: test latence, test preemptivity, test přepínačů, test vstupně/výstupních operací. Test vstupně/výstupních operací Test slouží k ověřování real-time chování při vstupně/výstupních operacích. Na datových vývodech paralelního portu je generován obdélníkový průběh (0-5 V) s frekvencí přibližně 10 khz. Pokud dojde k velkému zatížení procesoru a frekvence na paralelním portu se nezmění, je to známka správného real-time chování. V opačném případě systém nesplňuje real-time podmínky a nelze ho použít k real-time řízení. procesorový modul PCM-3350 číslicový osciloskop paralelní port kanál A D0 (vývod 2) GND (vývod 25) Obr. 10: Zapojení měřicího pracoviště během experimentu Na obr. 11 je zobrazen výsledek testu OS Linux s RTAI rozšířením se zátěží. Zobrazený obdélníkový signál má frekvenci 10 khz a nevykazuje žádné výpadky. Obr. 11: Test paralelního portu se zátěží - Linux s RTAI rozšířením

17 4 Experimenty v prostředí operačního systému reálného času 14 Závěr k testování real-time vlastností OS Linux Provedené experimenty demonstrovaly základní real-time vlastnosti OS Linux. Bylo ukázáno, že standardní linuxové jádro nedisponuje příliš dobrými real-time vlastnostmi. Lze jej použít v případě, že jsou pro řídicí úlohu akceptovatelné latence v řádech ms. Výkon operačního systému lze dále zlepšit zapnutím preemptivní podpory v jádře. Pro úlohy vyžadující splnění hard real-time podmínek je nutné použít RTAI rozšíření, které garantuje latence v řádech desítek µs. 4.3 Experiment s diagnostickou sběrnicí pro real-time systémy Cílem experimentu bylo ověřit vlastnosti vybraných sběrnic použitelných pro diagnostickou sběrnici v real-time systémech. V prvním případě byla diagnostická sběrnice realizovaná pomocí ethernetové sítě s přenosovou rychlostí 10/100 Mb/s. V druhém případě se jednalo o sběrnici CAN s přenosovou rychlostí 1 Mb/s. Test diagnostické sběrnice založené na RTnet Jednoúčelová diagnostická sběrnice byla zapojena pomocí ethernetových rozhraní modulů PC/104. Pro vzájemnou komunikaci mezi moduly, byl použit protokol RTnet, umožňující komunikaci v reálném čase na ethernetové síti. Pro předcházení nepředvídatelných kolizí na Ethernetu, dané přístupovou metodou CSMA/CD, slouží zvláštní protokolová vrstva řízení RTmac. Sdílení přenosového média je řešeno pomocí metody TDMA (Time Division Multiple Access). MASTER PC IP: /24 RTnet eth0 monitorovací PC v promiskuitním režimu IP: /24 RTnet eth0 rozbočovač (HUB) SLAVE procesorový modul PCM-3350 IP: /24 RTnet eth0 Obr. 12: Zapojení pracoviště během testu diagnostické sběrnice s RTnet Síť RTnet je tvořena jedním nadřízeným uzlem (master) a jedním nebo několika podřízenými uzly (slaves). Pro testování diagnostické sběrnice a sítě RTnet, bylo zapojeno měřicí pracoviště podle obr. 12. Závěr k testování diagnostické sběrnice pro real-time systémy Během experimentu byly odzkoušeny dva typy rozhraní (Ethernet a CAN) zvažované pro jednoúčelovou diagnostickou sběrnici. Byly otestovány základní vlastnosti obou rozhraní a možnosti jak je programově ovládat. Z pohledu využití pro další vývoj diagnostického podsystému testy ověřily přenosové vlastnosti obou rozhraní. Nejednalo se však o testy, kde by bylo prováděno vysílání diagnostických zpráv a jejich vyhodnocování. Tato oblast zůstává otevřená a je předmětem dalšího vývoje.

18 4 Experimenty v prostředí operačního systému reálného času Experiment s inteligentním diagnostickým časovačem Cílem experimentu bylo ověřit koncept inteligentního diagnostického časovače popsaného v kapitole 3.2. Demonstrační příklad s inteligentním diagnostickým časovačem realizuje úlohu producent - konzument. Producent je vlákno data produkující a konzument je druhé vlákno, které data přijímá a dále zpracovává. Producent a konzument využívají ke vzájemné komunikaci vyrovnávací paměť omezené velikosti. vyrovnávací paměť producent konzument zapiš čti Obr. 13: Princip úlohy producent - konzument Úloha je tvořena třemi vlákny (SW-WDT, producent a konzument), která sdílí společný datový prostor. Obr. 14 zachycuje stavový diagram úlohy producent - konzument, doplněné o inteligentní diagnostický časovač. producent - konzument start update WDT start produkuj start konzumuj porucha SW-WDT porucha producent porucha konzument Obr. 14: Stavový diagram úlohy producent - konzument Úloha je spuštěna v nekonečné smyčce a na kooperativní bázi dochází v kruhu k přepínání mezi jednotlivými vlákny. Každé vlákno disponuje vlastním čítačem aktivity, který se v definovaném bodě inkrementuje pokaždé, když vlákno dostane přidělený procesor. Vlákno SW-WDT provádí porovnání hodnoty svého čítače s hodnotami vláken producenta a konzumenta. V případě, že se hodnota některého z čítačů neshoduje s hodnotou čítače SW-WDT, je detekována porucha. Dojde-li k selhání obou vláken producenta a konzumenta, přestane SW-WDT nulovat HW-WDT a systém bude znovu zaveden. Závěr k testování inteligentního diagnostického časovače Provedený experiment ověřil koncept inteligentního diagnostického časovače. Demonstrační úloha producent - konzument, představuje jednu ze základních úloh, se kterými se lze setkat ve víceúlohových systémech pracujících v reálném čase.

19 5 Výsledky disertační práce 16 5 Výsledky disertační práce 5.1 Diagnostický podsystém pro operační systémy reálného času Navržený diagnostický podsystém pro operační systémy reálného času využívá metody průběžné diagnostiky. Metoda poskytuje v reálném čase informace o chování systému. K získávání diagnostických informací slouží diagnostické rozhraní operačního systému a řídicích procesů. Takto získané informace jsou dále předávány ke zpracování pomocí diagnostické sběrnice a diagnostických zpráv do správce diagnostických úloh. Prováděná průběžná diagnostika je založena na diagnostickém rozhraní označeném SW-JTAG. Jednotlivé řídicí procesy spolupracují s diagnostickým podsystémem na kooperativní bázi. Operační systém reálného času a diagnostický podsystém sdílí společný procesor, paměť a ostatní periferie. Jedná se tedy o intrusivní monitorování. Diagnostický podsystém je navržen tak, aby neměl vliv na chod sledovaného systému a nedocházelo k ovlivňování real-time vlastností systému. Diagnostický podsystém má hierarchickou strukturu. Jednotlivé úrovně mohou představovat samostatná, navzájem propojená zařízení nebo procesy spuštěné v rámci operačního systému reálného času nad společným technickým vybavením. Správce diagnostických úloh je zodpovědný za řízení a dohled nad sledovaným systémem. Rozhodování správce diagnostických úloh je řešeno pomocí pevně stanovených pravidel, která jsou definována na základě znalostí chování sledovaného systému. Pravidla jsou zapsána ve formě rozhodovacího stromu, aby rozhodovací proces byl optimální a nedocházelo k nedodržování real-time vlastností systému. 5.2 Model diagnostického podsystému Vytvořený model části diagnostického podsystému provádí pomocí diagnostického časovače průběžnou diagnostiku programového vybavení. Zvolená úloha producent - konzument představuje klasický příklad řešení problému synchronizace mezi dvěma procesy a demonstruje typickou úlohu v řídicích systémech pracujících v reálném čase. Popis modelu diagnostické úlohy byl proveden v jazyce UML. Použitá metoda MDA umožňuje transformovat vstupní platformově nezávislý model na platformově specifický model. Cílová platforma operačního systému reálného času byla popsána modelem platformy. Transformace modelu byla provedena v jazyce MTL. Výstupem transformace byl platformově specifický model, který byl použit jako vstup pro generátor zdrojového kódu. Generování zdrojového kódu bylo provedeno metodou přímé transformace modelu (forward engineering) a metodou obousměrného vývoje (roundtrip engineering). Použití metody MDA umožnilo vytvořit popis programového vybavení pomocí UML modelů. Výsledkem postupné transformace jednotlivých modelů byl zdrojový kód aplikace. Škálovatelnost metody MDA v kombinaci s MTL jazykem zatím neumožňuje řešení problémů pro větší programové celky, jako je např. jádro operačního systému. Metoda MDA je založena na jazyce UML, který využívá objektového přístupu k popisu struktury systému. Výsledný zdrojový kód, který vznikne transformací

20 5 Výsledky disertační práce 17 modelů, je objektově orientovaný (Ada, Java, C++, C#). Ne vždy jsou však tyto jazyky vhodné k sestavení aplikací pracujících v reálném čase s omezenými paměťovými a výpočetními zdroji (např. jazyk Java a správa paměti pomocí garbage collectoru). 5.3 Vývojová platforma pro diagnostický podsystém Navržená vývojová platforma se stala součástí technického a programového vybavení bezpilotního prostředku vyvíjeného v rámci projektu obranného výzkumu Záznam II. Jednalo se o systém se zvýšenou spolehlivostí, neboť selhání řídicího systému by s velkou pravděpodobností vedlo k destrukci celého bezpilotního prostředku a případně dalším škodám. Řízení UAV bylo založeno na distribuovaném řízení v reálném čase. Zálohovaná centrální řídicí jednotka se skládala z procesorových modulů PC/104 vzájemně propojených pomocí sběrnice CAN a sítě Ethernet. Jednotlivé zprávy vysílané po řídicí sběrnici CAN měly definovanou prioritu a zaručenou dobu odezvy. Vzniklá modulární struktura s pevně definovaným rozhraním (CAN, Ethernet) umožnila připojení ostatních inteligentních senzorů a podpůrných obvodů. Vlastnosti a funkčnost navrženého systému byly prakticky ověřeny během experimentu na letišti v Přerově. Experiment byl zaměřen na ověření chování výpočetního systému v polních podmínkách a sběr letových charakteristik UAV z inteligentních senzorů (elektronický kompas, přijímač GPS, gyroskop). Výsledek experimentu ukázal na slabá místa v návrhu. Jednalo se zejména o malou mechanickou odolnost propojovacích konektorů. Výpočetní systém jako celek nevykazoval poruchy a sběr letových charakteristik UAV byl úspěšně proveden. 5.4 Experimenty v prostředí operačního systému reálného času Kapitola 4 shrnuje provedené experimenty během řešení disertační práce. Cílem experimentů bylo praktické ověření teoreticky navržených postupů s operačním systémem Linux, doplněném o podporu reálného času. Experimenty byly prováděny jak v laboratorních podmínkách, tak i prakticky během letových zkoušek s UAV. První experiment byl proveden na letišti v Přerově, kde byl výpočetní systém zabudován do draku UAV a bylo provedeno několik pilotovaných letů. Získaná data z měření byla postoupena k dalšímu zpracování, aby bylo možné určit základní letové charakteristiky UAV. Navazující plánované experimenty s UAV nebylo možno uskutečnit z důvodu komplikované situace kolem podpory projektu obranného výzkumu Záznam II. Z tohoto důvodu byly další experimenty provedeny pouze v laboratorních podmínkách. Druhý experiment byl zaměřen na ověření real-time vlastností OS Linux bez a se zapnutou podporou pro real-time aplikace. Byly demonstrovány základní vlastnosti jádra OS Linux. Standardní jádro nedisponuje příliš dobrými real-time vlastnostmi a odezva systému se pohybuje v řádech ms. Dobu odezvy linuxového jádra lze snížit speciální úpravou plánovače úloh. Pro úlohy, které však vyžadují splnění hard realtime podmínek, je nezbytné použít RTAI rozšíření, které garantuje odezvy v řádech desítek µs.

21 5 Výsledky disertační práce 18 Třetí experiment byl zaměřen na ověření koncepce diagnostické sběrnice pro systémy pracující v reálném čase. Diagnostická sběrnice byla realizovaná pomocí sítě Ethernet s přenosovou rychlostí 10/100 Mb/s a sběrnicí CAN s přenosovou rychlostí 1 Mb/s. Každá z těchto sběrnic se vyznačuje jinými vlastnostmi. Síť Ethernet byla navržena pro počítačové sítě a nedisponuje metodami pro inteligentní řízení přístupu ke sdílenému komunikačnímu médiu. Pokud na síti Ethernet chceme dosáhnout definované doby odezvy, je toto nutné provést programově. Jednou z metod jak toho docílit je použití metody TDMA, kterou využívá i protokol RTnet, který byl použit pro vytvoření diagnostické sběrnice v síti Ethernet. Na druhou stranu sběrnice CAN byla od počátku navržena pro průmyslové použití. Řešení přístupu na společnou sběrnici, priority zpráv atd. je nedílnou součástí mechanizmů, kterými sběrnice CAN disponuje. Provedené experimenty ukázaly, že v závislosti na použitém technickém vybavení lze pro diagnostickou sběrnici použít jak sítě Ethernet, tak i sběrnice CAN. Je však nutné patřičně zohlednit faktory jako je topologie diagnostické sběrnice, vzdálenost jednotlivých uzlů, zdroje rušení atd. Čtvrtý experiment byl zaměřen na ověření inteligentního diagnostického časovače pro sledování chování programového vybavení. Úloha producent - konzument byla doplněna o inteligentní diagnostický časovač. Úlohu tvořily tři vlákna (SW-WDT, producent a konzument). Stav jednotlivých vláken byl sledován pomocí čítačů aktivity. V případě výskytu byla porucha detekována a zobrazena na terminálu. Při úplném selhání úlohy, byl systém znovu zaveden pomocí HW-WDT. Vytvořená úloha neprováděla maskování poruch nebo obnovu po poruše. Použitá diagnostická metoda nikterak nenarušila real-time chování celého systému. Tento čtvrtý experiment zároveň sloužil k porovnání metody MDA s ručně vytvořeným zdrojovým kódem. Úvodní fáze (zadání, analýza a návrh) jsou v obou případech shodné. Rozdíly se však projevují ve fázi implementace. Metoda MDA se snaží o postupný převod jednotlivých modelů (jejich upřesňování). Naproti tomu je ručně vytvořený zdrojový kód od prvopočátku pevně spjat s cílovou platformou. V případě vestavných systémů pracujících v reálném čase existuje celá řada faktorů, které je třeba zohlednit u modelů nezbytných pro MDA metodu. V případě, že má proces transformace proběhnout plně automatizovaně, je třeba vytvořit detailní popisy jednotlivých modelů a transformací. Mnohdy jsou však tyto popisy natolik složité, že je u nich vysoká pravděpodobnost vzniku skrytých chyb. Zatím neexistují nástroje, které by byly schopné odhalit tento druh chyb.

22 6 Přínos disertační práce 19 6 Přínos disertační práce Za teoretický přínos disertační práce považuji návrh diagnostického podsystému vhodného pro vestavné systémy s omezenými výpočetními prostředky. Diagnostický podsystém umožňuje provádět průběžnou diagnostiku programového vybavení. Přes veškerou snahu a použití nejmodernějších metod pro tvorbu programového vybavení vestavných systémů mohou stále nastat nepředpokládané stavy v řídicích úlohách. Z tohoto důvodu je nezbytné provádět průběžnou diagnostiku programového vybavení. Získané diagnostické informace mohou sloužit k lokalizaci slabých míst v systému, optimalizaci výkonu systému a zvýšení jeho spolehlivosti. Diagnostický podsystém provádí detekci a lokalizaci poruch v reálném čase a není nutné provádět odstávku systému. Přístup k diagnostickým datům je zcela transparentní a data jsou k dispozici i pro pozdější zpracování. Za další teoretický přínos disertační práce považuji popis programového vybavení metodou MDA. Metoda MDA umožňuje popsat systém z dlouhodobého hlediska. Model programového vybavení vystihuje co má systém dělat, neřeší však, jak toho dosáhnout konkrétními technologiemi. Postupná transformace jednotlivých modelů vede až na automatické vygenerování zdrojového kódu. Metoda MDA umožňuje zvýšení inherentní spolehlivosti programového vybavení při změně použitých technologií během dlouhé životnosti vestavných systémů. V neposlední řadě se jedná o posun od tradičního způsobu návrhu vestavných systémů směrem k návrhu založeném na modelech a zvýšení stupně abstrakce náhledu na systém. Za praktický přínos disertační práce považuji použití jazyka MTL k transformaci UML modelů. V současnosti byl jazyk MTL nahrazen svým nástupcem jazykem Kermeta [16], který představuje další evoluční krok v oblasti transformace modelů. Za hlavní praktický přínos disertační práce považuji použití open-source programového vybavení u vestavných systémů. Praktické experimenty ukázaly plně vyhovující vlastnosti operačního systému Linux a dalšího open-source programového vybavení v řídicích úlohách. Vytvořená platforma pro diagnostický podsystém umožňuje provozování plnohodnotného operačního systému reálného času. Použitá součástková základna založená na modulech PC/104 nabízí další volitelná rozšíření tohoto systému. Díky kompatibilní architektuře s PC je k dispozici široké spektrum programového vybavení. Aplikace vytvořené na PC lze bez dalších úprav provozovat na modulech PC/104. Otevřená koncepce celého systému ho předurčuje k použití v dalších výzkumných projektech a výuce.

23 7 Závěr 20 7 Závěr Disertační práce uvádí ucelený pohled na oblast diagnostiky programového a technického vybavení u současných výpočetních systémů. Práce je výsledkem několikaletého autorova snažení v oblasti návrhu vestavných systémů s volně šiřitelným programovým vybavením. K řešení cílů disertační práce byl zvolen operační systém Linux s rozšířením pro práci v reálném čase. Jsou popsány a ověřeny možnosti doplnění real-time chování do operačního systému Linux pro použití v řídicích aplikacích. Navržený diagnostický podsystém umožňuje provádět průběžnou diagnostiku řídicích úloh. Funkčnost navrženého systému byla experimentálně ověřena na úloze inteligentního diagnostického časovače. K vytvoření diagnostického podsystému byla použita metoda MDA. Pomocí metod dopředného a obousměrného vývoje byla provedena postupná transformace vstupních modelů v jazyce MTL. Výsledný automaticky generovaný zdrojový kód byl porovnán se zdrojovým kódem vytvořeným programátorem. Praktické experimenty uskutečněné při řešení disertační práce byly provedeny na vývojové platformě sestavené z modulů PC/104. Experimenty byly provedeny jak v laboratorních podmínkách, tak i během pilotovaných letů s bezpilotním prostředkem. Stanovené cíle disertační práce se podařilo naplnit. Stále však zůstává řada otevřených problémů k řešení a zlepšení. Jedná se např. o problém škálovatelnosti metody MDA a jejího plnohodnotného použití při návrhu programového vybavení a standardizaci diagnostických metod pro sledování chování programového vybavení v operačních systémech reálného času a řídicích úlohách.

24 8 Seznam v tezích použité literatury 21 8 Seznam v tezích použité literatury [1] Brown, A. An introduction to Model Driven Architecture. [online], last revision [cit ]. URL: < developerworks/rational/library/>. [2] Bureš, Z.; Čeleda, P.; Hrdlička, I.; Křivánek, V.; Mořkovský, T. Diagnostická ústředna automatizovaný systém sběru dat u bezpilotního prostředku. Závěrečná zpráva o řešení projektu VGA, Univerzita obrany, [3] Čeleda, P. Bezpečné programování - prevence vzniku bezpečnostních chyb v programech. Sborník konference SVŘ5. VA Brno, [4] Čeleda, P. Zvýšení spolehlivosti operačních systémů pracujících v reálném čase. Závěrečná zpráva o řešení projektu VGA, Univerzita obrany, [5] Cernosek, G.; Naiburg, E. The Value of Modeling. [online], last revision [cit ]. URL: < rational/library/>. [6] Ganssle, J. Disaster! [online], poslední revize [cit ]. URL: < [7] Ganssle, J. Disaster redux! [online], poslední revize [cit ]. URL: < >. [8] Harel,D.; Politi, M. Modeling Reactive Systems With Statecharts : The Statemate Approach. McGraw-Hill Companies, ISBN [9] Hlavička, J.; Kotek, E.; Zelený, J. Diagnostika elektronických číslicových obvodů. SNTL, ISBN [10] Hlavička, J.; Racek, S.; Golan, P.; Blažek, T. Číslicové systémy odolné proti poruchám. ČVUT, ISBN [11] Kačmář, D. Operační systémy reálného času. Softwarové noviny, [12] Nikora, A.; Some, R.; Tamir, Y. Increasing Software Testability with Standard Access and Control Interfaces. ISSRE 2003 Fast Abstracts, [13] Object Management Group. OMG Model Driven Architecture. [online], poslední revize [cit ]. URL: < [14] Přenosil, V.; Bureš, Z.; Čeleda, P.; Křivánek, V.; Rozehnal, D. Konfigurace mobilního retranslátoru. Závěrečná zpráva projektu obranného výzkumu ZÁ- ZNAM II, Univerzita obrany, Masarykova univerzita v Brně, [15] Samek, M. Practical Statecharts in C/C++ : Quantum Programming for Embedded Systems. CMP Books, ISBN [16] Triskell Team. Kermeta language. [online], poslední revize [cit ]. URL: <

Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase

Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase Pavel Čeleda Univerzita obrany Katedra komunikačních a informačních systémů Obsah 1 Formulace problému 2 Cíle disertační

Více

Systémy pro sběr a přenos dat

Systémy pro sběr a přenos dat Systémy pro sběr a přenos dat Centralizované SPD VME, VXI Compact PCI, PXI, PXI Express Sběrnice VME 16/32/64 bitová paralelní sběrnice pro průmyslové aplikace Počátky v roce 1981 neustále se vyvíjí původní

Více

SMART GRID SYSTEM TECHNOLOGIE PRO ANALYTIKU A SPRÁVU ENERGETICKÝCH SÍTÍ. Představení společnosti Analyzátor sítě

SMART GRID SYSTEM TECHNOLOGIE PRO ANALYTIKU A SPRÁVU ENERGETICKÝCH SÍTÍ. Představení společnosti Analyzátor sítě ENERTIG SMART GRID SYSTEM TECHNOLOGIE PRO ANALYTIKU A SPRÁVU ENERGETICKÝCH SÍTÍ Představení společnosti Analyzátor sítě www.enertig.cz Kdo jsme Jsme česká společnost dodávající na trhy v České, Polské

Více

Firmware řídící jednotky stejnosměrného generátoru

Firmware řídící jednotky stejnosměrného generátoru Firmware řídící jednotky stejnosměrného generátoru Zdeněk KOLKA Projekt FR-TI1/184 - Výzkum a vývoj systému řízení a regulace pozemního letištního zdroje Popis Řídicí jednotka GCU 400SG je elektronické

Více

Pokročilé architektury počítačů

Pokročilé architektury počítačů Pokročilé architektury počítačů Architektura IO podsystému České vysoké učení technické, Fakulta elektrotechnická A4M36PAP Pokročílé architektury počítačů Ver.1.00 2010 1 Co je úkolem? Propojit jednotlivé

Více

EXTRAKT z české technické normy

EXTRAKT z české technické normy EXTRAKT z české technické normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním 35.240.60 materiálem o normě. Komunikační infrastruktura pro pozemní mobilní zařízení (CALM) Architektura

Více

Systémy pro měření, diagnostiku a testování prototypů II. Odůvodnění vymezení technických podmínek podle 156 odst. 1 písm. c) ZVZ

Systémy pro měření, diagnostiku a testování prototypů II. Odůvodnění vymezení technických podmínek podle 156 odst. 1 písm. c) ZVZ Název veřejné zakázky: Systémy pro měření, diagnostiku a testování prototypů II. Odůvodnění vymezení technických podmínek podle 156 odst. 1 písm. c) ZVZ Technická podmínka: Odůvodnění Zaškolení obsluhy:

Více

Profilová část maturitní zkoušky 2014/2015

Profilová část maturitní zkoušky 2014/2015 Střední průmyslová škola, Přerov, Havlíčkova 2 751 52 Přerov Profilová část maturitní zkoušky 2014/2015 TEMATICKÉ OKRUHY A HODNOTÍCÍ KRITÉRIA Studijní obor: 26-41-M/01 Elektrotechnika Zaměření: technika

Více

Real Time programování v LabView. Ing. Martin Bušek, Ph.D.

Real Time programování v LabView. Ing. Martin Bušek, Ph.D. Real Time programování v LabView Ing. Martin Bušek, Ph.D. Úvod - související komponenty LabVIEW development Konkrétní RT hardware - cíl Použití LabVIEW RT module - Pharlap ETS, RTX, VxWorks Možnost užití

Více

SYSTÉMY NAČIPU MI-SOC

SYSTÉMY NAČIPU MI-SOC Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti SYSTÉMY NAČIPU MI-SOC doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii ČVUT v Praze Hana Kubátová

Více

Stanovit nezbytná pravidla pro tvorbu dokumentace vytvářenou ve SITRONICS centru využitelnou firmou SITRONICS TS.

Stanovit nezbytná pravidla pro tvorbu dokumentace vytvářenou ve SITRONICS centru využitelnou firmou SITRONICS TS. Tvorba dokumentace SITRONICS centrum 1. Cíl Usnadnit tvorbu jednotné dokumentace SITRONICS centra. 2. Účel Stanovit nezbytná pravidla pro tvorbu dokumentace vytvářenou ve SITRONICS centru využitelnou firmou

Více

EXTRAKT z mezinárodní normy

EXTRAKT z mezinárodní normy EXTRAKT z mezinárodní normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním materiálem o normě ICS: 03.220.01; 35.240.60 Komunikační infrastruktura pro pozemní mobilní zařízení (CALM)

Více

Obsah. Zpracoval:

Obsah. Zpracoval: Zpracoval: houzvjir@fel.cvut.cz 03. Modelem řízený vývoj. Doménový (business), konceptuální (analytický) a logický (návrhový) model. Vize projektu. (A7B36SIN) Obsah Modelem řízený vývoj... 2 Cíl MDD, proč

Více

Programovatelné automaty SIMATIC S7 a S5

Programovatelné automaty SIMATIC S7 a S5 Programovatelné automaty SIMATIC S7 a S5 ST-7UEBER přehledové školení zaměřené na PLC SIMATIC S7 délka kurzu 1 den - Přehled a výkonové charakteristiky automatizačních a programovacích zařízení - Struktura,

Více

WIDE AREA MONITORING SYSTEM (WAMS) METEL

WIDE AREA MONITORING SYSTEM (WAMS) METEL Synchronní měření Podpora pro Smart Grids AIS spol. s r.o. Brno WIDE AREA MONITORING SYSTEM (WAMS) METEL Profil společnosti AIS spol. s r.o.: Společnost AIS byla založena v roce 1990. Zaměstnanci společnosti

Více

ZÁKLADY PROGRAMOVÁNÍ. Mgr. Vladislav BEDNÁŘ 2013 1.3 2/14

ZÁKLADY PROGRAMOVÁNÍ. Mgr. Vladislav BEDNÁŘ 2013 1.3 2/14 ZÁKLADY PROGRAMOVÁNÍ Mgr. Vladislav BEDNÁŘ 2013 1.3 2/14 Co je vhodné vědět, než si vybereme programovací jazyk a začneme programovat roboty. 1 / 14 0:40 1.3. Vliv hardware počítače na programování Vliv

Více

FVZ K13138-TACR-V004-G-TRIGGER_BOX

FVZ K13138-TACR-V004-G-TRIGGER_BOX TriggerBox Souhrn hlavních funkcí Synchronizace přes Ethernetový protokol IEEE 1588 v2 PTP Automatické určení možnosti, zda SyncCore zastává roli PTP master nebo PTP slave dle mechanizmů standardu PTP

Více

Local Interconnect Network - LIN

Local Interconnect Network - LIN J. Novák Czech Technical University in Prague Faculty of Electrical Engineering Dept. Of Measurement Distributed Systems in Vehicles CAN LIN MOST K-line Ethernet FlexRay Základní charakteristiky nízká

Více

VÝUKOVÝ MATERIÁL. 3. ročník učebního oboru Elektrikář Přílohy. bez příloh. Identifikační údaje školy

VÝUKOVÝ MATERIÁL. 3. ročník učebního oboru Elektrikář Přílohy. bez příloh. Identifikační údaje školy VÝUKOVÝ MATERIÁL Identifikační údaje školy Číslo projektu Název projektu Číslo a název šablony Autor Tematická oblast Číslo a název materiálu Anotace Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková

Více

Vrstvy periferních rozhraní

Vrstvy periferních rozhraní Vrstvy periferních rozhraní Cíl přednášky Prezentovat, jak postupovat při analýze konkrétního rozhraní. Vysvětlit pojem vrstvy periferních rozhraní. Ukázat způsob využití tohoto pojmu na rozhraní RS 232.

Více

ADMINISTRACE POČÍTAČOVÝCH SÍTÍ. OPC Server

ADMINISTRACE POČÍTAČOVÝCH SÍTÍ. OPC Server ADMINISTRACE POČÍTAČOVÝCH SÍTÍ OPC Server Funkce a využití v průmyslové automatizaci Jiří NOSEK 2011 Co je OPC Server? OPC = Open Process Control (původně OLE for Process Control) sada specifikací průmyslového

Více

FPGA + mikroprocesorové jádro:

FPGA + mikroprocesorové jádro: Úvod: V tomto dokumentu je stručný popis programovatelných obvodů od firmy ALTERA www.altera.com, které umožňují realizovat číslicové systémy s procesorem v jenom programovatelném integrovaném obvodu (SOPC

Více

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 8 SÍTĚ NAČIPU (NOC) doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii ČVUT v Praze Hana

Více

POČÍTAČOVÉ ŘÍZENÍ TECHNOLOGICKÝCH PROCESŮ

POČÍTAČOVÉ ŘÍZENÍ TECHNOLOGICKÝCH PROCESŮ POČÍTAČOVÉ ŘÍENÍ TECHNOLOGICKÝCH PROCESŮ účel a funkce základní struktury technické a programové vybavení komunikace s operátorem zavádění a provoz počítačového řízení Počítačový řídicí systém Hierarchická

Více

Univerzita Jana Evangelisty Purkyně Automatizace Téma: Datová komunikace. Osnova přednášky

Univerzita Jana Evangelisty Purkyně Automatizace Téma: Datová komunikace. Osnova přednášky Osnova přednášky 1) Základní pojmy; algoritmizace úlohy 2) Teorie logického řízení 3) Fuzzy logika 4) Algebra blokových schémat 5) Vlastnosti členů regulačních obvodů 6) Vlastnosti regulátorů 7) Stabilita

Více

Vypracoval: Ing. Antonín POPELKA. Datum: 30. června 2005. Revize 01

Vypracoval: Ing. Antonín POPELKA. Datum: 30. června 2005. Revize 01 Popis systému Revize 01 Založeno 1990 Vypracoval: Ing. Antonín POPELKA Datum: 30. června 2005 SYSTÉM FÁZOROVÝCH MĚŘENÍ FOTEL Systém FOTEL byl vyvinut pro zjišťování fázových poměrů mezi libovolnými body

Více

PK Design. Uživatelský manuál. Modul USB-FT245BM v2.2. Přídavný modul modulárního vývojového systému MVS. Verze dokumentu 1.0 (7. 11.

PK Design. Uživatelský manuál. Modul USB-FT245BM v2.2. Přídavný modul modulárního vývojového systému MVS. Verze dokumentu 1.0 (7. 11. Modul USB-FT245BM v2.2 Přídavný modul modulárního vývojového systému MVS Uživatelský manuál Verze dokumentu 1.0 (7. 11. 04) Obsah 1 Upozornění... 3 2 Úvod... 4 2.1 Vlastnosti modulu...4 2.2 Použití modulu...4

Více

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 2 METODY VERIFIKACE SYSTÉMŮ NA ČIPU II doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii

Více

Software pro vzdálenou laboratoř

Software pro vzdálenou laboratoř Software pro vzdálenou laboratoř Autor: Vladimír Hamada, Petr Sadovský Typ: Software Rok: 2012 Samostatnou část vzdálených laboratoří tvoří programové vybavené, které je oživuje HW část vzdáleného experimentu

Více

Měření teploty, tlaku a vlhkosti vzduchu s přenosem dat přes internet a zobrazování na WEB stránce

Měření teploty, tlaku a vlhkosti vzduchu s přenosem dat přes internet a zobrazování na WEB stránce ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta elektrotechnická Katedra mikroelektroniky Měření teploty, tlaku a vlhkosti vzduchu s přenosem dat přes internet a zobrazování na WEB stránce Zadání Stávající

Více

Rozvojový projekt na rok 2008. Rozvoj přístrojového a experimentálního vybavení laboratoří pracovišť VŠB-TUO

Rozvojový projekt na rok 2008. Rozvoj přístrojového a experimentálního vybavení laboratoří pracovišť VŠB-TUO Rozvojový projekt na rok 2008 3. Program na rozvoj přístrojového vybavení a moderních technologií a) rozvoj přístrojového vybavení Rozvoj přístrojového a experimentálního vybavení laboratoří pracovišť

Více

Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto

Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Registrační číslo projektu Šablona Autor Název materiálu CZ.1.07/1.5.00/34.0951 III/2 INOVACE A ZKVALITNĚNÍ VÝUKY PROSTŘEDNICTVÍM ICT Mgr. Petr

Více

TOPOLOGIE DATOVÝCH SÍTÍ

TOPOLOGIE DATOVÝCH SÍTÍ TOPOLOGIE DATOVÝCH SÍTÍ Topologie sítě charakterizuje strukturu datové sítě. Popisuje způsob, jakým jsou mezi sebou propojeny jednotlivá koncová zařízení (stanice) a toky dat mezi nimi. Topologii datových

Více

Znalostní systém nad ontologií ve formátu Topic Maps

Znalostní systém nad ontologií ve formátu Topic Maps Znalostní systém nad ontologií ve formátu Topic Maps Ladislav Buřita, Petr Do ladislav.burita@unob.cz; petr.do@unob.cz Univerzita obrany, Fakulta vojenských technologií Kounicova 65, 662 10 Brno Abstrakt:

Více

Wi-Fi aplikace v důlním prostředí. Robert Sztabla

Wi-Fi aplikace v důlním prostředí. Robert Sztabla Robert Sztabla Robert Sztabla Program Páteřní síť Lokalizace objektů Hlasové přenosy Datové přenosy v reálném čase Bezpečnost Shrnutí Páteřní síť Wi-Fi aplikace v důlním prostředí Spolehlivé zasíťování

Více

Profilová část maturitní zkoušky 2015/2016

Profilová část maturitní zkoušky 2015/2016 Střední průmyslová škola, Přerov, Havlíčkova 2 751 52 Přerov Profilová část maturitní zkoušky 2015/2016 TEMATICKÉ OKRUHY A HODNOTÍCÍ KRITÉRIA Studijní obor: 26-41-M/01 Elektrotechnika Zaměření: technika

Více

Číslo projektu: CZ.1.07/1.5.00/34.0290. III/2 Inovace a zkvalitnění výuky prostřednictvím ICT. Zdeněk Dostál Ročník: 1. Hardware.

Číslo projektu: CZ.1.07/1.5.00/34.0290. III/2 Inovace a zkvalitnění výuky prostřednictvím ICT. Zdeněk Dostál Ročník: 1. Hardware. Zlepšení podmínek pro vzdělávání na středních školách Operačního programu Vzdělávání pro konkurenceschopnost Název a adresa školy: Integrovaná střední škola Cheb, Obrněné brigády 6, 350 11 Cheb Číslo projektu:

Více

TÉMATICKÝ OKRUH Softwarové inženýrství

TÉMATICKÝ OKRUH Softwarové inženýrství TÉMATICKÝ OKRUH Softwarové inženýrství Číslo otázky : 24. Otázka : Implementační fáze. Postupy při specifikaci organizace softwarových komponent pomocí UML. Mapování modelů na struktury programovacího

Více

Platforma Juniper QFabric

Platforma Juniper QFabric Platforma Juniper QFabric Matěj Čenčík (CEN027) Abstrakt: Tématem článku je princip a architektura JuniperQFabric platformy. Klíčová slova: Juniper, QFabric, Platforma, Converged services, non-blocking

Více

Software pro formování dielektrika kondenzátorů

Software pro formování dielektrika kondenzátorů VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ FAKULTA ELEKTROTECHNIKY A KOMUNIKAČNÍCH TECHNOLOGIÍ ÚSTAV FYZIKY Software pro formování dielektrika kondenzátorů Číslo projektu: TA02020998 Číslo výsledku: 27267 Spolupracující

Více

Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase

Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase Univerzita obrany Fakulta vojenských technologií Zvýšení spolehlivosti a diagnostika operačních systémů pracujících v reálném čase Disertační práce Školitel: prof. Ing. Václav Přenosil, CSc. Ing. Pavel

Více

Snížení skrytých nákladů spojených se zvýšením kapacity napájení datových středisek

Snížení skrytých nákladů spojených se zvýšením kapacity napájení datových středisek Snížení skrytých nákladů spojených se zvýšením kapacity napájení datových středisek Richard Sawyer White Paper #73 Resumé Zvýšení kapacity napájení tradičních systémů UPS vede ke skrytým nákladům, které

Více

POČÍTAČOVÉ ŘÍZENÍ TECHNOLOGICKÝCH PROCESŮ

POČÍTAČOVÉ ŘÍZENÍ TECHNOLOGICKÝCH PROCESŮ POČÍTAČOVÉ ŘÍENÍ TECHNOLOGICÝCH PROCESŮ účel a funkce základní struktury technické a programové vybavení komunikace s operátorem zavádění a provoz počítačového řízení Hierarchická struktura řídicího systému

Více

VÝVOJ ŘÍDICÍCH ALGORITMŮ HYDRAULICKÝCH POHONŮ S VYUŽITÍM SIGNÁLOVÉHO PROCESORU DSPACE

VÝVOJ ŘÍDICÍCH ALGORITMŮ HYDRAULICKÝCH POHONŮ S VYUŽITÍM SIGNÁLOVÉHO PROCESORU DSPACE VÝVOJ ŘÍDICÍCH ALGORITMŮ HYDRAULICKÝCH POHONŮ S VYUŽITÍM SIGNÁLOVÉHO PROCESORU DSPACE Přednáška na semináři CAHP v Praze 4.9.2013 Prof. Ing. Petr Noskievič, CSc. Ing. Miroslav Mahdal, Ph.D. Katedra automatizační

Více

Modelování procesů s využitím MS Visio.

Modelování procesů s využitím MS Visio. Modelování procesů s využitím MS Visio jan.matula@autocont.cz Co je to modelování procesů? Kreslení unifikovaných či standardizovaných symbolů, tvarů a grafů, které graficky znázorňují hlavní, řídící nebo

Více

Mikrokontroléry. Doplňující text pro POS K. D. 2001

Mikrokontroléry. Doplňující text pro POS K. D. 2001 Mikrokontroléry Doplňující text pro POS K. D. 2001 Úvod Mikrokontroléry, jinak též označované jako jednočipové mikropočítače, obsahují v jediném pouzdře všechny podstatné části mikropočítače: Řadič a aritmetickou

Více

Služby pro zařízení vysokého napětí. Spolehlivé sledování stavu zařízení

Služby pro zařízení vysokého napětí. Spolehlivé sledování stavu zařízení Služby pro zařízení vysokého napětí Spolehlivé sledování stavu zařízení Strategie údržby Jaký přístup je nejlepší? Údržba dle skutečného stavu zařízení Údržba založená na průběžném monitorování funkce

Více

RDF DSPS ROZVOJ PORTÁLU

RDF DSPS ROZVOJ PORTÁLU RDF DSPS ROZVOJ PORTÁLU ČEZ Distribuce, a.s. HSI, spol. s r.o. Zbyněk Businský Miroslav Kaňka ZÁKAZNÍK A DODAVATEL ČEZ DISTRIBUCE, A.S. ČEZ distribuční síť Od r. 2012 implementován GEOPORTÁL (1. ETAPA),

Více

Aktivní prvky: brány a směrovače. směrovače

Aktivní prvky: brány a směrovače. směrovače Aktivní prvky: brány a směrovače směrovače 1 Předmět: Téma hodiny: Třída: Počítačové sítě a systémy Aktivní prvky brány a směrovače 3. a 4. ročník SŠ technické Autor: Ing. Fales Alexandr Software: SMART

Více

AGP - Accelerated Graphics Port

AGP - Accelerated Graphics Port AGP - Accelerated Graphics Port Grafiku 3D a video bylo možné v jisté vývojové etapě techniky pracovních stanic provozovat pouze na kvalitních pracovních stanicích (cena 20 000 USD a více) - AGP představuje

Více

Aplikace systémů pro sběr a přenos dat

Aplikace systémů pro sběr a přenos dat Průmyslová automatizace lokální řízení výrobních strojů a robotů svářecí automaty balicí stroje automatizace budov řídicí systémy pro energetiku a teplárenství automatizace čerpacích stanic automatizace

Více

Profilová část maturitní zkoušky 2013/2014

Profilová část maturitní zkoušky 2013/2014 Střední průmyslová škola, Přerov, Havlíčkova 2 751 52 Přerov Profilová část maturitní zkoušky 2013/2014 TEMATICKÉ OKRUHY A HODNOTÍCÍ KRITÉRIA Studijní obor: 78-42-M/01 Technické lyceum Předmět: TECHNIKA

Více

Kritéria hodnocení praktické maturitní zkoušky z databázových systémů

Kritéria hodnocení praktické maturitní zkoušky z databázových systémů Kritéria hodnocení praktické maturitní zkoušky z databázových systémů Otázka č. 1 Datový model 1. Správně navržený ERD model dle zadání max. 40 bodů teoretické znalosti konceptuálního modelování správné

Více

Práce s PID regulátorem regulace výšky hladiny v nádrži

Práce s PID regulátorem regulace výšky hladiny v nádrži Práce s PID regulátorem regulace výšky hladiny v nádrži Cíl úlohy Zopakování základní teorie regulačního obvodu a PID regulátoru Ukázka praktické aplikace regulačního obvodu na regulaci výšky hladiny v

Více

Architektura a koncepce OS OS a HW (archos_hw) Architektura a koncepce OS Jádro OS (archos_kernel) Architektura a koncepce OS Typy OS (archos_typy)

Architektura a koncepce OS OS a HW (archos_hw) Architektura a koncepce OS Jádro OS (archos_kernel) Architektura a koncepce OS Typy OS (archos_typy) Architektura a koncepce OS OS a HW (archos_hw) Aby fungoval OS s preemptivním multitaskingem, musí HW obsahovat: 1. (+2) přerušovací systém (interrupt system) 2. (+2) časovač Při používání DMA: 1. (+1)

Více

Automatická regulace spojité řízení (P, PI, PD, PID), nespojité řízení, fuzzy řízení,

Automatická regulace spojité řízení (P, PI, PD, PID), nespojité řízení, fuzzy řízení, ŘÍDICÍ SYSTÉMY Řídicí systém je fyzikální realizací předem známého předpisu řízení. mohou fungovat v roli řídicího systému. Nemusí jít o přímé řízení, ale tyto systémy poskytují informace, které řídicím

Více

Adaptabilní systém pro zvýšení rychlosti a spolehlivosti přenosu dat v přenosové síti

Adaptabilní systém pro zvýšení rychlosti a spolehlivosti přenosu dat v přenosové síti 1 Adaptabilní systém pro zvýšení rychlosti a spolehlivosti přenosu dat v přenosové síti Oblast techniky V oblasti datových sítí existuje různorodost v použitých přenosových technologiích. Přenosové systémy

Více

architektura mostů severní / jižní most (angl. north / south bridge) 1. Čipové sady s architekturou severního / jižního mostu

architektura mostů severní / jižní most (angl. north / south bridge) 1. Čipové sady s architekturou severního / jižního mostu Čipová sada Čipová sada (chipset) je hlavní logický integrovaný obvod základní desky. Jeho úkolem je řídit komunikaci mezi procesorem a ostatními zařízeními a obvody. V obvodech čipové sady jsou integrovány

Více

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/ Vzdělávání v informačních a komunikačních technologií

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/ Vzdělávání v informačních a komunikačních technologií VY_32_INOVACE_31_20 Škola Název projektu, reg. č. Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Tematická oblast Název Autor Vytvořeno, pro obor, ročník Anotace Přínos/cílové kompetence Střední

Více

CentraLine AX. Václav Matz

CentraLine AX. Václav Matz Nová generace řídicích ch systémů CentraLine AX Václav Matz Řídicí systém - CentraLine AX Úvod Integrace Komunikace Regulace HAWK COACH AX ARENA AX Představení systému CentraLine AX = řídicí systém obsahující

Více

Profilová část maturitní zkoušky 2017/2018

Profilová část maturitní zkoušky 2017/2018 Střední průmyslová škola, Přerov, Havlíčkova 2 751 52 Přerov Profilová část maturitní zkoušky 2017/2018 TEMATICKÉ OKRUHY A HODNOTÍCÍ KRITÉRIA Studijní obor: 78-42-M/01 Technické lyceum Předmět: TECHNIKA

Více

Přenos signálů, výstupy snímačů

Přenos signálů, výstupy snímačů Přenos signálů, výstupy snímačů Topologie zařízení, typy průmyslových sběrnic, výstupní signály snímačů Přenosy signálů informací Topologie Dle rozmístění ŘS Distribuované řízení Většinou velká zařízení

Více

MST - sběr dat pomocí mobilních terminálů on-line/off-line

MST - sběr dat pomocí mobilních terminálů on-line/off-line MST - sběr dat pomocí mobilních terminálů on-line/off-line Stručný přehled název: MST, software pro sběr dat mobilními terminály ve skladu (příjem, výdej, inventura) autor aplikace: FASK, spol. s r.o.,

Více

CAL (CAN Application Layer) a CANopen

CAL (CAN Application Layer) a CANopen CAL (CAN Application Layer) a CANopen J. Novák České vysoké učení technické v Praze Fakulta elektrotechnická Katedra měření Průmyslový distribuovaný systém na bázi sběrnice CAN Pressure sensor Stepper

Více

Přechod na virtuální infrastrukturu

Přechod na virtuální infrastrukturu Přechod na virtuální infrastrukturu Tomáš Halman, ANECT a.s. Virtualizace 4. 3. 2009, Praha Obsah prezentace Virtualizace s VMware Infrastructure (obecné přínosy) Případová studie implementace pro dceřinou

Více

SEMESTRÁLNÍ PROJEKT Y38PRO

SEMESTRÁLNÍ PROJEKT Y38PRO SEMESTRÁLNÍ PROJEKT Y38PRO Závěrečná zpráva Jiří Pomije Cíl projektu Propojení regulátoru s PC a vytvoření knihovny funkcí pro práci s regulátorem TLK43. Regulátor TLK43 je mikroprocesorový regulátor s

Více

Systémy pro sběr a přenos dat

Systémy pro sběr a přenos dat Systémy pro sběr a přenos dat propojování distribuovaných systémů modely Klient/Server, Producent/Konzument koncept VFD (Virtual Field Device) Propojování distribuovaných systémů Používá se pojem internetworking

Více

Využití SysML pro tvorbu modelů v systémovém inženýrství

Využití SysML pro tvorbu modelů v systémovém inženýrství Využití SysML pro tvorbu modelů v systémovém inženýrství Antonín Srna, Ústav informatiky, Provozně ekonomická fakulta, Mendelova univerzita v Brně, xsrna2@mendelu.cz Abstrakt Článek se zaobírá univerzálním

Více

1. Webové služby. K čemu slouží? 2. RPC Web Service. 3. SOA Web Service. 4. RESTful Web services

1. Webové služby. K čemu slouží? 2. RPC Web Service. 3. SOA Web Service. 4. RESTful Web services 13. Webové služby. K čemu slouží? Popis a vyhledávání služeb. Co je a k čemu slouží orchestrace a choreografie služeb. Technologie pro implementaci služeb 1. Webové služby. K čemu slouží? Definice WS -

Více

Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto

Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Registrační číslo projektu Šablona Autor CZ.1.07/1.5.00/34.0951 III/2 INOVACE A ZKVALITNĚNÍ VÝUKY PROSTŘEDNICTVÍM ICT Mgr. Jana Kubcová Název

Více

Operační systémy. Přednáška 1: Úvod

Operační systémy. Přednáška 1: Úvod Operační systémy Přednáška 1: Úvod 1 Organizace předmětu Přednášky každé úterý 18:00-19:30 v K1 Přednášející Jan Trdlička email: trdlicka@fel.cvut.z kancelář: K324 Cvičení pondělí, úterý, středa Informace

Více

GRYF Výrobce měřicích přístrojů. Elektronické měřicí přístroje. pro měření elektrochemických a fyzikálních veličin

GRYF Výrobce měřicích přístrojů. Elektronické měřicí přístroje. pro měření elektrochemických a fyzikálních veličin Elektronické měřicí přístroje pro měření elektrochemických a fyzikálních veličin pro monitorování životního prostředí pro řízení technologických procesů HB, spol. s r. o., Čechova 314, 580 01 Havlíčkův

Více

Model vlakového uzlu Model of a Railway Junction

Model vlakového uzlu Model of a Railway Junction Model vlakového uzlu Model of a Railway Junction Michal Bílek 1 Abstrakt Vysoká škola polytechnická v Jihlavě využívá pro výuku odborných předmětů mnoho modelů. Jedním z modelů používaných ve výuce je

Více

Základní deska (motherboard, mainboard)

Základní deska (motherboard, mainboard) Základní deska (motherboard, mainboard) Jedná se o desku velkou cca 30 x 25 cm s plošnými spoji s množstvím konektorů a slotů připravených pro vložení konkrétních komponent (operační paměť, procesor, grafická

Více

E35C. AD-FE/CE, verze 4.0. Technická data. Komunikační modul pro domácnosti

E35C. AD-FE/CE, verze 4.0. Technická data. Komunikační modul pro domácnosti Komunikační modul pro domácnosti AD-FE/CE, verze 4.0 E35C Technická data Komunikační moduly E35C AD-FE verze 4.0 zajišťují komunikaci TCP/IP přes Ethernet mezi měřidly E350 a centrálním systémem. Pomocí

Více

Disková pole (RAID) 1

Disková pole (RAID) 1 Disková pole (RAID) 1 Architektury RAID Důvod zavedení RAID: reakce na zvyšující se rychlost procesoru. Pozice diskové paměti v klasickém personálním počítači vyhovuje pro aplikace s jedním uživatelem.

Více

Procesní automatizační systém PC 8000. Stručné informace

Procesní automatizační systém PC 8000. Stručné informace Procesní automatizační systém Stručné Strana 2 PC systém se skládá z několika modulů Ovládací jednotka průmyslového počítače Více kontrolních jednotek (momentálně vždy 1x PAS a FEED) Síťová část a nepřetržité

Více

TGZ. 2-osé digitální servozesilovače

TGZ. 2-osé digitální servozesilovače TGZ 2-osé digitální servozesilovače Digitální servozesilovače TGZ TGZ představuje nový koncept měničů pro více-osé aplikace. TGZ v sobě zahrnuje moderní prvky digitálního řízení, jednoduché přednastavené

Více

Windows a real-time. Windows Embedded

Windows a real-time. Windows Embedded Windows a real-time Windows Embedded Windows pro Embedded zařízení Současnost (2008): Windows Embedded WINDOWS EMBEDDED Windows Embedded CE Windows XP Embedded Windows Embedded for Point of Service Minulé

Více

digitální proudová smyčka - hodnoty log. 0 je vyjádří proudem 4mA a log. 1 proudem 20mA

digitální proudová smyčka - hodnoty log. 0 je vyjádří proudem 4mA a log. 1 proudem 20mA Měření a regulace připojení čidel Ing. Tomáš Mlčák, Ph.D. Fakulta elektrotechniky a informatiky VŠB TUO Katedra elektrotechniky www.fei.vsb.cz/kat420 Elektrická zařízení a rozvody v budovách Proudová smyčka

Více

Pokyny pro projektování zařízení ElZaS 21

Pokyny pro projektování zařízení ElZaS 21 Počet stran: Počet příloh: Pokyny pro projektování zařízení ElZaS Verze programového vybavení: Procesory P a P., procesor přenosového řadiče -.0 Verze dokumentace:.0 Datum:.. 00 Zpracoval: Ing. Karel Beneš,

Více

PŘÍLOHA C Požadavky na Dokumentaci

PŘÍLOHA C Požadavky na Dokumentaci PŘÍLOHA C Požadavky na Dokumentaci Příloha C Požadavky na Dokumentaci Stránka 1 z 5 1. Obecné požadavky Dodavatel dokumentaci zpracuje a bude dokumentaci v celém rozsahu průběžně aktualizovat při každé

Více

Pohled do nitra mikroprocesoru Josef Horálek

Pohled do nitra mikroprocesoru Josef Horálek Pohled do nitra mikroprocesoru Josef Horálek Z čeho vycházíme = Vycházíme z Von Neumannovy architektury = Celý počítač se tak skládá z pěti koncepčních bloků: = Operační paměť = Programový řadič = Aritmeticko-logická

Více

Flow-X PRŮTOKOMĚR. On-line datový list

Flow-X PRŮTOKOMĚR. On-line datový list On-line datový list Objednací informace A PRO MĚŘENÍ PLYNU TRAZVUKOVÝCH PLYNOMĚRŮ OD SPOB SICK C D Popis produktu E F Typ Výrobek č. Na vyžádání Přesné specifikace přístrojů a údaje o výkonu výrobku se

Více

Počítač jako prostředek řízení. Struktura a organizace počítače

Počítač jako prostředek řízení. Struktura a organizace počítače Řídicí počítače - pro řízení technologických procesů. Specielní přídavná zařízení - I/O, přerušovací systém, reálný čas, Č/A a A/Č převodníky a j. s obsluhou - operátorské periferie bez obsluhy - operátorský

Více

CHARAKTERISTIKA VEŘEJNÉ ZAKÁZKY

CHARAKTERISTIKA VEŘEJNÉ ZAKÁZKY Příloha č. 1 CHARAKTERISTIKA VEŘEJNÉ ZAKÁZKY Veřejná zakázka Poskytování služeb outsourcingu Zadavatel: Nemocnice Český Krumlov a.s., sídlem: Český Krumlov, Horní Brána 429, PSČ 381 27 IČ: 260 95 149 DIČ:

Více

POČÍTAČOVÉ ŘÍZENÍ TECHNOLOGICKÝCH PROCESŮ

POČÍTAČOVÉ ŘÍZENÍ TECHNOLOGICKÝCH PROCESŮ POČÍTAČOVÉ ŘÍENÍ TECHNOLOGICKÝCH PROCESŮ účel a funkce základní struktury technické a programové vybavení komunikace s operátorem zavádění a provoz počítačového řízení Počítačový řídicí systém H iera rc

Více

Komplexní správa technických dat. PDM základní pojmy. Ing. Martin Nermut, 2012

Komplexní správa technických dat. PDM základní pojmy. Ing. Martin Nermut, 2012 Komplexní správa technických dat PDM základní pojmy Ing. Martin Nermut, 2012 Projektování - konstrukční a technologické procesy součást životního cyklu výrobku (PLM - Product Lifecycle Management) Nárůst

Více

Aplikační protokoly CAN pro dieselelektrické lokomotivy

Aplikační protokoly CAN pro dieselelektrické lokomotivy Aplikační protokoly CAN pro dieselelektrické lokomotivy Aleš Hajný Industrial and Transport Control Systems Protokol CAN SAE J1939 protokol je určen pro komunikaci s řídícími jednotkami dieslových motorů

Více

INFORMAČNÍ A KOMUNIKAČNÍ TECHNOLOGIE

INFORMAČNÍ A KOMUNIKAČNÍ TECHNOLOGIE Název školy: Střední odborná škola stavební Karlovy Vary Sabinovo náměstí 16, 360 09 Karlovy Vary Autor: Ing. Hana Šmídová Název materiálu: VY_32_INOVACE_12_HARDWARE_S1 Číslo projektu: CZ 1.07/1.5.00/34.1077

Více

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/ Vzdělávání v informačních a komunikačních technologií

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/ Vzdělávání v informačních a komunikačních technologií VY_32_INOVACE_31_15 Škola Název projektu, reg. č. Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Tematická oblast Název Autor Vytvořeno, pro obor, ročník Anotace Přínos/cílové kompetence Střední

Více

12. Virtuální sítě (VLAN) VLAN. Počítačové sítě I. 1 (7) KST/IPS1. Studijní cíl. Základní seznámení se sítěmi VLAN. Doba nutná k nastudování

12. Virtuální sítě (VLAN) VLAN. Počítačové sítě I. 1 (7) KST/IPS1. Studijní cíl. Základní seznámení se sítěmi VLAN. Doba nutná k nastudování 12. Virtuální sítě (VLAN) Studijní cíl Základní seznámení se sítěmi VLAN. Doba nutná k nastudování 1 hodina VLAN Virtuální síť bývá definována jako logický segment LAN, který spojuje koncové uzly, které

Více

Topologická struktura měřicích systémů

Topologická struktura měřicích systémů Počítačové systémy Číslicové měricí a řídicí systémy Sestava přístrojů a zařízení umožňující komplexní řešení měřicí úlohy a její automatické provedení. laboratorní průmyslové lokální rozsáhlé Topologická

Více

Přednášky o výpočetní technice. Hardware teoreticky. Adam Dominec 2010

Přednášky o výpočetní technice. Hardware teoreticky. Adam Dominec 2010 Přednášky o výpočetní technice Hardware teoreticky Adam Dominec 2010 Rozvržení Historie Procesor Paměť Základní deska přednášky o výpočetní technice Počítací stroje Mechanické počítačky se rozvíjely už

Více

VÝVOJ NOVÉ GENERACE ZAŘÍZENÍ S POKROČILOU DIAGNOSTIKOU PRO STANOVENÍ KONTAKTNÍ DEGRADACE

VÝVOJ NOVÉ GENERACE ZAŘÍZENÍ S POKROČILOU DIAGNOSTIKOU PRO STANOVENÍ KONTAKTNÍ DEGRADACE VÝVOJ NOVÉ GENERACE ZAŘÍZENÍ S POKROČILOU DIAGNOSTIKOU PRO STANOVENÍ KONTAKTNÍ DEGRADACE Jiří Dvořáček Prezentace k obhajobě doktorské dizertační práce Institute of Machine and Industrial Design Faculty

Více

Z čeho se sběrnice skládá?

Z čeho se sběrnice skládá? Sběrnice Co je to sběrnice? Definovat sběrnici je jednoduché i složité zároveň. Jedná se o předávací místo mezi (typicky) více součástkami počítače. Sběrnicí však může být i předávací místo jen mezi dvěma

Více

TECHNICKÁ SPECIFIKACE VEŘEJNÉ ZAKÁZKY

TECHNICKÁ SPECIFIKACE VEŘEJNÉ ZAKÁZKY Příloha č. 3 k č.j. MV-159754-3/VZ-2013 Počet listů: 7 TECHNICKÁ SPECIFIKACE VEŘEJNÉ ZAKÁZKY Nové funkcionality Czech POINT 2012 Popis rozhraní egon Service Bus Centrální Místo Služeb 2.0 (dále jen CMS

Více