| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - A goal of this project is to obtain a better understanding of scheduling problems in order to facilitate the development of algorithms for the automated synthesis of provably correct systems. We suggest hierarchically structured adaptive architecture (aware of energy, resources and response-time) to handle the growing complexity of such systems. This yields an optimization problem, which is to be divided into two layers (different in terms of granularity and time-scale): global planning layer (e.g. choice of parameters/variants of applications) and local scheduling layer. We will concentrate on the development of (1) scheduling algorithms for time-triggered networks on local layer while focusing on adaptivity and energy awareness, (2) combinatorial optimization algorithms for global layer while considering heterogeneous resources and allowing for an energy-aware execution of tasks, but still guaranteeing system-wide timing requirements, and (3) reservation framework integrating our algorithms with the ones developed by other authors and evaluating the algorithms on-line. (en)
- Cílem projektu je lépe porozumět rozvrhovacím problémům, abychom usnadnili vývoj algoritmů pro automatickou syntézu prokazatelně správných systémů. Jelikož se chceme vypořádat s rostoucí složitostí takových systémů, předkládáme hierarchicky strukturovanou adaptivní architekturu (uvažující energii, zdroje a dobu odpovědi). To vede na optimalizační problém, který dělíme na dvě vrstvy (s rozdílnou granularitou a časovým měřítkem): globální plánovací vrstvu (např. volba parametrů/variant aplikace) a lokální rozvrhovací vrstvu. Budeme se soustředit na vývoj (1) rozvrhovacích algoritmů pro časem řízené sítě na lokální vrstvě se zaměřením na adaptivitu a energii, (2) kombinatorických optimalizačních algoritmů pro globální vrstvu se zaměřením na heterogenní zdroje a energeticky efektivní vykonávání úloh, při dodržení časových požadavků procházejících celým systémem, (3) rezervační prostředí integrující naše algoritmy s algoritmy ostatních autorů a jejich vyhodnocení za běhu systému.
|
| Title
| - Adaptive scheduling and Optimization algorithms for distributed Real-time Embeddes Systems (en)
- Adaptivní algoritmy pro rozvrhování a optimalizaci distribuovaných vestavěných real-time systémů
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - Scheduling combinatorial optimization real-time embedded systems (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)