Detail projektu

Virtuální laboratoř aplikace mikroprocesorové techniky

Období řešení: 01.07.2006 — 30.06.2011

Zdroje financování

Ministerstvo školství, mládeže a tělovýchovy ČR - Informační technologie pro znalostní společnost

- plně financující (2006-07-01 - 2011-06-30)

O projektu

Vestavné systémy (Embedded Systems = ES) s mikroprocesory nebo programovatelnými hradlovými poli hrají klíčovou úlohu v prioritách konkurenceschopnosti evropského vývoje, výzkumu a aplikací. ES jsou využívány v řadě multidisciplinárních odvětví, např. v mobilních komunikačních systémech, automobilech, lékařských přístrojích, které vyžadují tzv. ambientní inteligenci. Softwarové nástroje a technologie jsou esenciální součástí vývoje bezpečných aplikací ES a svou efektivitou vytvářejí předpoklad vzniku specifické odborné znalostní společnosti. Navrhovaný projekt, který navazuje na celosvětově uznávané a využívané české technologie (Processor Expert - IST Prize 2001) a evropské metodologie návrhu ES se zaměřuje na novou generaci metodologií softwarových nástrojů pro návrh ES, které lze integrovat v rámci veřejně přístupné, otevřené, rozšiřitelné virtuální laboratoře a které poskytnou možnost sdílení tvorby IP pro embedded systémy s využitím internetovských technologií. Klíčovým problémem výzkumu a vývoje ES je metodologie nástrojů pro automatizovanou a generickou tvorbu software, poskytujícího pro aplikace ES abstrakci vlastnosti různého hardware ES. Management konfigurace, generování specifických API, driverů včetně verifikací jsou klíčovými prvky akcelerace tvorby aplikací ES. Flexibilita transformace konfigurace hardware ES, verifikace transformace, změnové řízení konfigurace SW na základě změn vlastností hardware jsou  klíčovými prvky pro ES aplikace.  
Pro zvládnutí výpočetně náročných specifických činností, nebo pro úkoly, kdy se buďto přímo za běhu, nebo velmi často mění charakter zpracování úloh se již řadu let osvědčují programovatelná hradlová pole (FPGA). Pro rychlé nasazení mikroprocesorové techniky v aplikacích se stejně dobře uchytil komponentní návrh aplikací a užití abstraktních hardwarových vrstev, jelikož oba principy vedou k zefektivnění návrhu a vývoje celé aplikace. Kombinace komponentního programování s abstrakcí hardware spolu s hradlovými poli přináší úskalí návrhu a efektivní tvorby abstrakce hardware pro algoritmy a řídicí prvky obsažené v hradlovém poli. Projekt si klade za cíl zautomatizovat tvorbu abstrakcí pro kód obsažený v hradlovém poli tak, aby bylo možné jej kombinovat s různými kategoriemi (řídicích) mikroprocesorů. Demonstrace této nové metodiky vyústí ve veřejně použitou virtuální laboratoř, která zpřístupní moduly pro vývoj aplikací v mikroprocesorové technice s uplatněním programovatelných hradlových polí, kde budou zastoupeny různé kategorie (řídicích) mikroprocesorů. Tyto systémy bude možné virtuálně programovat, přičemž kód uplatněný v takových programech bude získán právě novou metodikou, která je hlavním předmětem výzkumu tohoto projektu.

Popis anglicky
Embedded systems with CPUs and/or FPGAs play significant role in european research and development. They are used in many areas (mobile communications, automobiles, etc.). SW tools are esential part of such embedded systems development. The project aims at new generation of SW tool methodologies for design and development of embedded systems. The results will be accessible in public and open virtual laboratory. The core result is to be automation of code abstraction for FPGAs component to be accessible from CPUs used in the application.

Klíčová slova
mikroprocesor, software, hardware, komponenta, programovatelné hradlové pole - FPGA, automatizovaná tvorba software, ovladače, abstraktní rozhraní hardware, hardwarové periferie

Klíčová slova anglicky
microprocessor, software, hardware, component, field programable gate array - FPGA, automated software creation, hardware abstraction layer, hardware periphery

Označení

2C06008

Originální jazyk

čeština

Řešitelé

Dulík Tomáš, Ing. - hlavní řešitel
Kadlec Jiří, Ing., CSc. - spoluřešitel
Kolář Dušan, doc. Dr. Ing. - spoluřešitel

Výsledky

KŘIVKA, Z.; MEDUNA, A.; SMRČEK, J. n-Right-Linear #-Rewriting Systems. In Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007. p. 105-112. ISBN: 978-80-7355-077-6.
Detail

JIRÁK, O. Grammar-Based Malicious Code Detection Concept. Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011. p. 485-489. ISBN: 978-80-214-4273-3.
Detail

KŘIVKA, Z.; LORENC, L.; SCHÖNECKER, R. Vývoj vestavěných systémů s FPGA na konceptuální úrovni. In Sborník příspěvků konference ZVŮLE 2007. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007. s. 176-179. ISBN: 978-80-214-3468-4.
Detail

KŘIVKA, Z.; KOLÁŘ, D.; SCHÖNECKER, R. Component-based Design of Embedded Systems with FPGA Support. In Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: 2007. p. 167-172. ISBN: 978-80-86840-34-5.
Detail

KOLÁŘ, D. Exploitation of Scattered Context Grammars to Model Constraints between Components. Proceedings of 31st Autumn International Colloqium ASIS 2009, Advanced Simulation of Systems. Ostrava: 2009. p. 13-18. ISBN: 978-80-86840-47-5.
Detail

JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). OpenAccess Series in Informatics (OASIcs). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009. p. 1-10. ISBN: 978-3-939897-15-6. ISSN: 2190-6807.
Detail

KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z. Debugging of Small FPGA-Based Embedded System. Proceedings of ASIS 2008. Ostrava: 2008. p. 1-6. ISBN: 978-80-86840-42-0.
Detail

KOLÁŘ, D.; ČERNÝ, S. Component Technologies in Virtual Laboratory Framework. 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008. p. 179-188. ISBN: 978-83-7493-421-3.
Detail

KŘIVKA, Z.; JIRÁK, O. Design and Implementation of Back-end for PicoBlaze C Compiler. Proceedings of the IADIS International Conference Applied Computing 2009. Rome: International Association for Development of the Information Society, 2009. p. 135-138. ISBN: 978-972-8924-97-3.
Detail

JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009. p. 118-125. ISBN: 978-80-87342-04-6.
Detail

JIRÁK, O.; KŘIVKA, Z. Hardware Design Tool based on Eclipse Modeling Framework. Proceedings of the 44th Spring International Conference Modeling and Simulation Systems. Ostrava: 2010. p. 138-144. ISBN: 978-80-86840-51-2.
Detail

KŘIVKA, Z.; OLŠAROVÁ, N.; VAŠÍČEK, Z.; JIRÁK, O. Odvozování propojení komponent pro podporu návrhu pro malé FPGA čipy. DATAKON 2010 Proceedings (Ed. Petr Šaloun). Mikulov: Ostravská univerzita, 2010. s. 81-90. ISBN: 978-80-7368-424-2.
Detail

BLIŽŇÁK, M.; DULÍK, T. Virtual Laboratory of Microprocessor Technology Application. Proceedings of 21st DAAAM Symposium. Zadar: DAAAM International, 2010. p. 1-2. ISBN: 978-3-901509-73-5.
Detail

KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z. Component Interconnection Inference Tool Supporting the Design of Small FPGA-based Embedded Systems. Proceedings of the IADIS International Conference Applied Computing 2010. Timisoara: International Association for Development of the Information Society, 2010. p. 230-234. ISBN: 978-972-8939-30-4.
Detail

KŘIVKA, Z. Rewriting Systems with Restricted Configurations. Brno: Faculty of Information Technology BUT, 2008. 131 p. ISBN: 978-80-214-3722-7.
Detail

LORENC, L.; KŘIVKA, Z.; SCHÖNECKER, R. A Note on the Parsing of Complete VHDL-2002. In Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007. p. 245-248. ISBN: 978-807248-006-7.
Detail

MATES, V. Modification of Workflow Management System Architecture Taking into Account Properties of WFM Participant. Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010. p. 186-190. ISBN: 978-80-214-4080-7.
Detail

KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z. Integrated Development Environment for Virtual Laboratory. International Technology, Education and Development Conference. Valencia: International Association for Technology, Education and Development, 2011. p. 6109-6118. ISBN: 978-84-614-7423-3.
Detail

KŘIVKA, Z.; VAŠÍČEK, Z. The Virtualization of Development Boards in the Virtual Laboratory of Microprocessor Technology. In 12th International Carpathian Control Conference (ICCC). Velké Karlovice: VŠB-Technical University of Ostrava, 2011. p. 424-428. ISBN: 978-1-61284-359-9.
Detail

KŘIVKA, Z.; MASOPUST, T. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, 2011, vol. 20, no. 2, p. 269-283. ISSN: 0324-721X.
Detail

DULÍK, T.; KŘIVKA, Z.; KADLEC, J.; BLIŽŇÁK, M.; BUDÍKOVÁ, V.; JIRÁK, O.; OLŠAROVÁ, N.; TRBUŠEK, J.; VAŠÍČEK, Z. Virtuální laboratoř pro vývoj aplikací s mikroprocesory a FPGA. Brno: Akademické nakladatelství CERM sro., 2011. 82 s. ISBN: 978-80-7204-754-3.
Detail

KŘIVKA, Z.; MASOPUST, T. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. 11th Italian Conference on Theoretical Computer Science. Cremona: 2009. p. 129-135.
Detail

JIRÁK, O. Table-Driven Parsing of Scattered Context Grammar. Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010. p. 171-175. ISBN: 978-80-214-4080-7.
Detail

KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z.; OLŠAROVÁ, N.: VLAM IDE; Integrated Development Environment VLAM.    - Stránky projektu včetně zveřejněných dokumentací (http://www.vlam.cz/ide.html)    - Oficiální stránky projektu VLAM včetně odkazů na stažení (http://www.vlam.cz). (software)
Detail

KŘIVKA, Z.: PBCC; PicoBlaze C Compiler.    - Oficiální stránky projektu (http://www.vlam.cz/index.html.cz)    - Stránka softwarového produktu (volně ke stažení, anglicky) (http://www.fit.vutbr.cz/~meduna/work/doku.php?id=projects:vlam:pbcc:pbcc). URL: https://www.fit.vut.cz/research/product/126/. (software)
Detail

Odkaz